Process algebra with propositional signals

J.C.M. Baeten, J.A. Bergstra

Research output: Contribution to journalArticleAcademicpeer-review

34 Citations (Scopus)
78 Downloads (Pure)
Original languageEnglish
Pages (from-to)381-405
JournalTheoretical Computer Science
Volume177
Issue number2
DOIs
Publication statusPublished - 1997

Cite this