Publication:2852097
From MaRDI portal
zbMath1273.68257MaRDI QIDQ2852097
Paulien de Wind, W. J. Fokkink, Robert J. van Glabbeek
Publication date: 7 October 2013
Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066106002192
68Q55: Semantics in the theory of computing
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
Related Items
Divide and congruence: from decomposition of modal formulas to preservation of branching and \(\eta \)-bisimilarity, On cool congruence formats for weak bisimulations, SOS formats and meta-theory: 20 years after, A precongruence format for should testing preorder, Notes on Generative Probabilistic Bisimulation