Abstract
“Bisimulation up to” is a technique for reducing the size of the relation needed to define a bisimulalion. It works smoothly in the strong case, where it was first introduced ([4]). But this does not directly generalize to the weak case, as erroneously reported in [4]. To overcome this problem, two new “up-to” techniques are proposed: They are respectively based on the use of expansion ([1]) and of almost-weak bisimulation. The second solution is more general than the first one, but expansion enjoys a nicer mathematical treatment. The usefulness and generality of the solutions is motivated with non-trivial examples: two different implementations of a sorting machine.
Preview
Unable to display preview. Download preview PDF.
References
Arun-Kumar, S., and Hennessy, M., An efficiency preorder for Processes, Proceedings of Theoretical Aspects of Computer Science, Tokyo, (1991), LNCS vol. 526, pp 152–175. To appear in Acta Informatica.
Moller, F. The Edinburgh Concurrency Workbench (Version 6.0) Report No. LFCS-TN-34, Dept of Computer Science, University of Edinburgh.
van Glabeek, R., and Weijland, W. P., Branching Time and Abstraction in Bisimulation Semantics, in Information Processing '89 (G.X. Ritter ed.), Elsevier Science (1989), pp 613–618.
Milner, R., A Calculus of Communicating Systems, Prentice Hall, 1989.
Milner, R., Expansions — notes RM12, handwritten notes, Edinburgh, march 1990.
Park, D.M., Concurrency on Automata and infinite sequences, in Conf. on Theoretical Computer Science, (P. Deussen ed.) Springer Verlag (1981) Berlin, LNCS vol. 104.
Sangiorgi, D., Bisimulations up to context (provisory title), in preparation, Edinburgh.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1992 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Sangiorgi, D., Milner, R. (1992). The problem of “weak bisimulation up to”. In: Cleaveland, W. (eds) CONCUR '92. CONCUR 1992. Lecture Notes in Computer Science, vol 630. Springer, Berlin, Heidelberg . https://doi.org/10.1007/BFb0084781
Download citation
DOI: https://doi.org/10.1007/BFb0084781
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-55822-4
Online ISBN: 978-3-540-47293-3
eBook Packages: Springer Book Archive