scientific article; zbMATH DE number 2086654

zbMATH Open1057.68069MaRDI QIDQ4737191FDOQ4737191

Authors: Markus Lohrey, Holger Hermanns, P. R. D'Argenio 

Publication date: 11 August 2004

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2380/23800585.htm

Title of this publication is not available (Why is that?)

Recommendations

• Axiomatising divergence
• Complete axiomatization for divergent-sensitive bisimulations in basic process algebra with prefix iteration
• Bisimulation and divergence
• On the probabilistic bisimulation spectrum with silent moves
• Logics for bisimulation and divergence

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cited In (5)

• Complete axiomatization for divergent-sensitive bisimulations in basic process algebra with prefix iteration
• On convergence-sensitive bisimulation and the embedding of CCS in timed CCS
• Axiomatising infinitary probabilistic weak bisimilarity of finite-state behaviours
• Axiomatising divergence
• Theory of interaction

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4737191)