Abstract
The basic polarized process algebra is completed yielding as a projective limit a cpo which also comprises infinite processes. It is shown that this model serves in a natural way as a semantics for several program algebras. In particular, the fully abstract model of the program algebra axioms of [2] is considered which results by working modulo behavioral congruence. This algebra is extended with a new basic instruction, named ‘entry instruction’ and denoted with ‘@’. Addition of @ allows many more equations and conditional equations to be stated. It becomes possible to find an axiomatization of program inequality. Technically this axiomatization is an infinite final algebra specification using conditional equations and auxiliary objects.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
J.A. Bergstra and J.-W. Klop. Process algebra for synchronous communication. Information and Control, 60(1/3):109–137, 1984.
J.A. Bergstra and M.E. Loots. Program algebra for component code. Formal Aspects of Computing, 12(1):1–17, 2000.
J.A. Bergstra and M.E. Loots. Program algebra for sequential code. Journal of Logic and Algebraic Programming, 51(2):125–156, 2002.
J.A. Bergstra and J.V. Tucker. Equational specifications, complete rewriting systems and computable and semi-computable algebras. Journal of the ACM, 42(6):1194–1230, 1995.
I. Bethke. Completion of equational specifications. In Terese, editors, Term Rewriting Systems, Cambridge Tracts in Theoretical Computer Science 55, pages 260–300, Cambridge University Press, 2003.
S.D. Brookes, C.A.R. Hoare, and A.W. Roscoe. A theory of communicating sequential processes. Journal of the ACM, 31(8):560–599, 1984.
J.W. de Bakker and J.I. Zucker. Processes and the denotational semantics of concurreny. Information and Control, 54(1/2):70–120, 1982.
W.J. Fokkink. Axiomatizations for the perpetual loop in process algebra. In P. Degano, R. Gorrieri, and A. Machetti-Spaccamela, editors, Proceedings of the 24-th ICALP, ICALP’97, Lecture Notes in Comp. Sci. 1256, pages 571–581. Springer Berlin, 1997.
J.-W. Klop. Term rewriting systems. In Handbook of Logic in Computer Science, volume II, pages 1–116. Oxford University Press, 1992.
A. Ponse. Program algebra with unit instruction operators. Journal of Logic and Algebraic Programming, 51(2):157–174, 2002.
V. Stoltenberg-Hansen, I. Lindström, and E.R. Griffor. Mathematical Theory of Domains, Cambridge Tracts in Theoretical Computer Science 22, Cambridge University Press, 1994.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2003 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Bergstra, J.A., Bethke, I. (2003). Polarized Process Algebra and Program Equivalence. In: Baeten, J.C.M., Lenstra, J.K., Parrow, J., Woeginger, G.J. (eds) Automata, Languages and Programming. ICALP 2003. Lecture Notes in Computer Science, vol 2719. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45061-0_1
Download citation
DOI: https://doi.org/10.1007/3-540-45061-0_1
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-40493-4
Online ISBN: 978-3-540-45061-0
eBook Packages: Springer Book Archive