Deadlock Free Specification Based on Local Process Properties
From MaRDI portal
Publication:3566793
DOI10.1007/3-540-44863-2_35zbMath1188.68204OpenAlexW1579253303MaRDI QIDQ3566793
J. S. Reeve, Daniel P. Simpson
Publication date: 10 June 2010
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/3-540-44863-2_35
Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
This page was built for publication: Deadlock Free Specification Based on Local Process Properties
