scientific article
From MaRDI portal
Publication:2852097
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
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items
SOS formats and meta-theory: 20 years after, Divide and congruence: from decomposition of modal formulas to preservation of branching and \(\eta \)-bisimilarity, On cool congruence formats for weak bisimulations, A precongruence format for should testing preorder, Notes on Generative Probabilistic Bisimulation