Process algebra with four-valued logic

J.A. Bergstra, A. Ponse

Research output: Contribution to journalArticleAcademicpeer-review

Original languageUndefined/Unknown
Pages (from-to)27-53
Number of pages26
JournalJournal of Applied Non-Classical Logic
Volume10
Issue number1
Publication statusPublished - 2000

Cite this