Dynamic Consistency in Process Algebra: From Paradigm to ACP
From MaRDI portal
Publication:5179202
DOI10.1016/j.entcs.2009.06.026zbMath1347.68216OpenAlexW4244043739MaRDI QIDQ5179202
E. P. de Vink, L. P. J. Groenewegen, Suzana Andova
Publication date: 19 March 2015
Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.entcs.2009.06.026
Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Uses Software
Cites Work
This page was built for publication: Dynamic Consistency in Process Algebra: From Paradigm to ACP