Abstract
This paper is concerned with semantic theories of higher order communicating systems (HOCS). In these higher order systems, processes exchange processes themselves. In this paper, we present two semantic theories, a behavioral theory and a denotational semantics for a slight variant of Thomsen's Higher Order Calculus. The proposed behavioral theory is based upon the theory of testing due to de Nicola and Hennessy. The semantic model is a higher order extension of Hennessy's acceptance tree model and is shown to be fully abstract with respect to the testing pre-order.
Preview
Unable to display preview. Download preview PDF.
References
Astesiano,E., Giovini, A. and Reggio.G., Generalized Bisimulation in Relational Specifications, Proc. of STACS 88, LNCS 294, Springer Verlag, 1988.
Boudol, G., Towards a Lambda-Calculus for Concurrent and Communicating Systems, Proc. of TAP-SOFT '89, LNCS 351, Springer Verlag, 1989.
Hennessy, M., Algebraic Theory of Processes, M.I.T. Press, 1988.
Hennessy, M. and Ingolfsdottir, A Theory of Communicating Processes with Value-passing, Report 3/89, Dept. of Computer Science, University of Sussex, U.K., 1989.
Hoare, C.A.R., Communicating Sequential Processes, Prentice-Hall Int., London, 1985.
Milner,R., Calculus of Communication and Concurrency, Prentice-Hall, London, 1989.
Milner,R., Parrow,J. and Walker,D., A calculus of mobile processes, Rep. ECS-LFCS-89-86, Edinburgh University, 1989.
de Nicola and Hennessy, M., Testing Equivalences for Processes, TCS, Vol.34, No. 1,2, 1984.
Nielson, F., The typed A-Calculus with First class Processes, Proc. of PARLE, LNCS 366, 1989.
Jagadeesan, R. and Panangaden, P., A Domain-theoretic model for a higher-order Process calculus, Proc. of ICALP 90, Springer Verlag, 1990.
Ramesh, S., Testing Equivalences and Fully Abstract Trace Semantics for Higher Order Communicating Systems, Tech. Report, IIT Bombay, Jan. 1992.
Ramesh, S., Testing Equivalences for Higher Order Communicating Systems, Tech. Report, IIT Bombay, Jan. 1992.
Smyth,M. and Plotkin, G.D., The Category-Theoretic Solution of Recursive Domain Equations, SIAM Journal of Computing, Vol. 11, No. 4, 1982.
Thomsen, B., A Calculus of Higher Order Communicating Systems, Proc. of POPL, Austin, 1989.
Thomsen, B., Calculi for Higher Order Communicating Systems, Ph.D. thesis, Dept. of Computing, Imperial College of Science, Technology and Medicine, Sept. 1990.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1992 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Ramesh, S. (1992). Fully abstract semantics for higher order communicating systems. In: Havel, I.M., Koubek, V. (eds) Mathematical Foundations of Computer Science 1992. MFCS 1992. Lecture Notes in Computer Science, vol 629. Springer, Berlin, Heidelberg . https://doi.org/10.1007/3-540-55808-X_45
Download citation
DOI: https://doi.org/10.1007/3-540-55808-X_45
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-55808-8
Online ISBN: 978-3-540-47291-9
eBook Packages: Springer Book Archive