CiteULike robertjohnsimmons's CiteULike Search Register Log in
CiteULike is a free online bibliography manager. Register and you can start organising your references online.

On Bisimulation in the π-calculus Export

by: David Walker
CONCUR '94: Concurrency Theory (1994), pp. 315-330.

Citation Format

[Posts]

View FullText article


robertjohnsimmons's tags for this article

bisimulation equivalence process-calculi

X Reviews [Write a review of this article]

X Find related articles from these CiteULike users

X Find related articles with these CiteULike tags

X Posting History

X Abstract

Results concerning bisimulation equivalences in the (polyadic) π-calculus are presented. It is shown that on the restriction-free fragment of the calculus, open bisimilarity coincides with dynamic barbed bisimilarity in all (restriction-free) π-contexts, and also with barbed bisimilarity in the class of contexts obtained by adding a new operator. It is further shown that the first characterization does not extend to the full π-calculus, but that by introducing a distinction-indexed family of new operators, an analogue of the second result can be obtained for indexed open bisimilarity.


X BibTeX record

X RIS record


Privacy Statement | Terms & Conditions
CiteULike organises scholarly (or academic) papers or literature and provides bibliographic (which means it makes bibliographies) for universities and higher education establishments. It helps undergraduates and postgraduates. People studying for PhDs or in postdoctoral (postdoc) positions. The service is similar in scope to EndNote or RefWorks or any other reference manager like BibTeX, but it is a social bookmarking service for scientists and humanities researchers.