A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2011; you can also visit the original URL.
The file type is application/pdf
.
Bisimulations in calculi modelling membranes
2008
Formal Aspects of Computing
Bisimulations are well-established behavioural equivalences that are widely used to study properties of computer science systems. Bisimulations assume the behaviour of systems to be described as labelled transition systems, and properties of a system can be verified by assessing its bisimilarity with a system one knows to enjoy those properties. In this paper we show how semantics based on labelled transition systems and bisimulations can be defined for two formalisms for the description of
doi:10.1007/s00165-008-0071-x
fatcat:5yrobr5vhjb3vdd2ayofly2roi