The Library
On bisimulation in the pi-calculus
Tools
UNSPECIFIED (1994) On bisimulation in the pi-calculus. In: 5th International Conference on Theory of Concurrency (CONCUR 94), UPPSALA, SWEDEN, AUG 22-25, 1994. Published in: CONCUR '94: CONCURRENCY THEORY, 836 pp. 315-330. ISBN 3-540-58329-7. ISSN 0302-9743.
Research output not available from this repository.
Request-a-Copy directly from author or use local Library Get it For Me service.
Abstract
Results concerning bisimulation equivalences in the (polyadic) pi-calculus are presented. It is shown that on the restriction-free fragment of the calculus, open bisimilarity coincides with dynamic barbed bisimilarity in ail (restriction-free) pi-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 pi-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.
Item Type: | Conference Item (UNSPECIFIED) | ||||
---|---|---|---|---|---|
Subjects: | Q Science > QA Mathematics > QA76 Electronic computers. Computer science. Computer software | ||||
Series Name: | LECTURE NOTES IN COMPUTER SCIENCE | ||||
Journal or Publication Title: | CONCUR '94: CONCURRENCY THEORY | ||||
Publisher: | SPRINGER-VERLAG BERLIN | ||||
ISBN: | 3-540-58329-7 | ||||
ISSN: | 0302-9743 | ||||
Editor: | Jonsson, B and Parrow, J | ||||
Official Date: | 1994 | ||||
Dates: |
|
||||
Volume: | 836 | ||||
Number of Pages: | 16 | ||||
Page Range: | pp. 315-330 | ||||
Publication Status: | Published | ||||
Title of Event: | 5th International Conference on Theory of Concurrency (CONCUR 94) | ||||
Location of Event: | UPPSALA, SWEDEN | ||||
Date(s) of Event: | AUG 22-25, 1994 |
Data sourced from Thomson Reuters' Web of Knowledge
Request changes or add full text files to a record
Repository staff actions (login required)
View Item |