Abstract
In recent years several equivalences between nondeterministic and concurrent processes have been proposed in order to capture different notions of the extensional behaviour of a process. Usually the equivalences are congruences wrt the process constructing operations in order to support hierarchic development of systems. With the purpose of achieving more flexible hierarchic development methods we suggest parameterizing the equivalences with information about contexts. We carry out the suggestion in full for the bisimulation equivalence, which we parameterize with a special type of context information called environments. As a Main Theorem we offer a useful characterization of the information ordering on environments. Also a Modal Characterization of the parameterized bisimulation equivalence is presented.
Preview
Unable to display preview. Download preview PDF.
References
Brookes, S. D. and Rounds, W. C. “Behavioural Equivalence relations induced by programming logics.“ LNCS 154 (1983).
Dijkstra. Series in Automatic Computation. Volume: A discipline of programming. Prèntice-Hall, 1976.
Graf, S. and Sifakis, J. A Modal Characterization of observational congruence on finite terms of CCS. Tech. Rept. Technical Report no. 402, IMAG, 1983. To appear in ICALP'84
Hennessy, M. and Plotkin, G. D. “A term Model for CCS.“ LNCS 88 (1980). Proceedings of 9th MFCS Conference
Hennessy, M. A Term model for Synchronous Processes. Tech. Rept. CSR-77-81, University of Edinburgh, Department of Computer Science, 1981.
Hennessy, M. and Milner, R. “On Observing Nondeterminism and Concurrency.“ LNCS 85 (1980). Proceedings of 7th ICALP
Hennessy, M. and Milner, R. Algebraic Laws for Nondeterminism and Concurrency. Tech. Rept. CSR-133-83, University of Edinburgh, Department of Computer Science, 1983. To appear in JACM
Hoare, C.A.R., Brookes, S.D. and Roscoe, A.W. A Theory of Communicating Sequential Processes. Tech. Rept. PRG-16, Oxford University Computing Laboratory, Programming Research group, 1981.
Keller, R. “A fundamental theorem of asynchronous parallel computation.“ Parallel Processing, (1975). Ed. T. Feng, Springer Verlag
Milner, R. “An Algebraic Definition of Simulation between Programs.“ in: Proc. 2nd International Conference on Artificial Intelligence (1971).
Milner, R. “A Calculus of Communicating Systems.“ LNCS 92 (1980).
Milner, R. “A modal characterisation of observable machine-behavior.“ LNCS 112 (1981).
Milner, R. “A Complete Inference System for a Class of Regular Behaviours.“ CSR-111-82 (1982). University of Edinburgh, Department of Computer Science
Milner, R. “Calculi for Synchrony and Asynchrony.“ Theoretical Computer Science 25 (1983), 267–310.
Nicola, R. de and Hennessy, M. Testing Equivalences for Processes. Tech. Rept. SCR-123-82, University of Edinburgh, Department of Computer Science, 1982.
Park, D.J. “Concurrency and Automata on Infinite Sequences.“ LNCS 104 (1981).
Plotkin, Gordon D. A Structural Approach to Operational Semantics. Tech. Rept. DAIMI FN-19, Computer Science Department, Aarhus University, Denmark, September, 1981.
Stirling, C. A Proof Theoretic Characterization of Observational Equivalence. Tech. Rept. CSR-132-83, University of Edinburgh, Department of Computer Science, 1983. In Proceedings FCT-TCS Bangalore (1983), To appear in TCS
Stirling, C. A Complete Modal Proof System for a Subset of SCCS. To appear in CAAP'85
Stirling, C. A Complete Modal Proof System for a Subset of CCS. To appear
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1985 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Larsen, K.G. (1985). A context dependent equivalence between processes. In: Brauer, W. (eds) Automata, Languages and Programming. ICALP 1985. Lecture Notes in Computer Science, vol 194. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0015763
Download citation
DOI: https://doi.org/10.1007/BFb0015763
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-15650-5
Online ISBN: 978-3-540-39557-7
eBook Packages: Springer Book Archive