Termination, deadlock, and divergence
From MaRDI portal
Publication:4302821
DOI10.1145/147508.147527zbMath0799.68131MaRDI QIDQ4302821
Luca Aceto, Matthew C. B. Hennessy
Publication date: 21 August 1994
Published in: Journal of the ACM (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/147508.147527
Related Items
A fully abstract denotational model for observational precongruence, Refinement of actions in event structures and causal trees, Duplication of constants in process algebra, A semantic theory for value-passing processes based on the late approach, Bisimilarity of open terms., Axiomatizing GSOS with termination, Concurrent testing of processes, Axiomatising divergence