Abstract
An extension to the theory of partial confluence of concurrent systems is presented in the setting of the polyadic π-calculus. The main result, expressed in terms of client-server systems, is that in certain client contexts, a member of a class of concurrent servers which may perform up to one state-changing internal action in determining the answer to a client's question is indistinguishable from a serial server.
Preview
Unable to display preview. Download preview PDF.
References
X. Liu and D. Walker. Confluence of processes and systems of objects. In Proceedings of TAPSOFT'95, pages 217–231. Springer, 1995.
R. Milner. A Calculus of Communicating Systems. Springer, 1980.
R. Milner. Communication and Concurrency. Prentice-Hall, 1989.
R. Milner. The polyadic π-calculus: a tutorial. In Logic and Algebra of Specification. Springer, 1992.
R. Milner, J. Parrow, and D. Walker. A calculus of mobile processes, parts 1 and 2. Information and Computation, 100:1–77, 1992.
A. Philippou. Reasoning about systems with evolving structure. PhD thesis, University of Warwick, 1996.
A. Philippou and D. Walker. On transformations of concurrent object programs. In Proceedings of CONCUR'96, pages 131–146. Springer, 1996.
A. Philippou and D. Walker. A rigorous analysis of concurrent operations on B-trees. In Proceedings of CONCUR'97. Springer, to appear.
D. Sangiorgi. The name discipline of uniform receptiveness. In Proceedings of ICALP'97. Springer, to appear.
C. Tofts. Proof methods and pragmatics for parallel programming. PhD thesis, University of Edinburgh, 1990.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1997 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Philippou, A., Walker, D. (1997). Social confluence in client-server systems. In: van Dalen, D., Bezem, M. (eds) Computer Science Logic. CSL 1996. Lecture Notes in Computer Science, vol 1258. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-63172-0_51
Download citation
DOI: https://doi.org/10.1007/3-540-63172-0_51
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-63172-9
Online ISBN: 978-3-540-69201-0
eBook Packages: Springer Book Archive