A Delaratine Semantics of Flat Guarded Horn Clauses for Programs with Perpetual Processes

Research output: Contribution to journalArticle

Original languageEnglish
JournalTheoretical Computer Science
Volume75
Publication statusPublished - 1990

Cite this