Proving finiteness of CCS processes by non-standard semantics
From MaRDI portal
Publication:1323345
DOI10.1007/BF01178922zbMath0790.68066MaRDI QIDQ1323345
Paola Inverardi, Nicoletta De Francesco
Publication date: 10 May 1994
Published in: Acta Informatica (Search for Journal in Brave)
68Q10: Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.)
68Q55: Semantics in the theory of computing
68Q60: Specification and verification (program logics, model checking, etc.)
Related Items
Uses Software
Cites Work