Process Algebra Needs Proof Methodology (Columns: Concurrency)

W.J. Fokkink, J.F. Groote, M.A. Reniers

Research output: Contribution to JournalArticleAcademicpeer-review

Original languageEnglish
Pages (from-to)109-125
JournalBulletin of the European Association for Theoretical Computer Science
Volume82
Publication statusPublished - 2004

Bibliographical note

DBLP:journals/eatcs/FokkinkGR04

Cite this