Register-machine based processes

Journal of the ACM

Volumn 48, Issue 6, 2001, Pages 1207-1241

  Bergstra, Jan A ^a,b   Ponse, Alban ^a,c  

^a UNIVERSITY OF AMSTERDAM   (Netherlands)

^b UTRECHT UNIVERSITY   (Netherlands)

^c CWI   (Netherlands)

Author keywords

Bisimulation equivalence; Computability; Concurrency; Expressivity; Iteration; Kleene star; Process algebra; Push down operation

Indexed keywords

ABSTRACTING; COMPUTATIONAL METHODS; FORMAL LOGIC; MATHEMATICAL MODELS; PROBLEM SOLVING; SEMANTICS; SYNCHRONIZATION; THEOREM PROVING;

BISIMULATION EQUIVALENCE; CONCURRENCY THEORY; PUSH-DOWN ALGEBRA;

ALGEBRA;

EID: 0242458572     PISSN: 00045411     EISSN: None     Source Type: Journal    
DOI: 10.1145/504794.504799     Document Type: Article

References (40)

1. ACETO, L., AND FOKKINK, W. J. 1997. An equational axiomatization for multi-exit iteration. Inf. Comput. 137, 2, 121-158.
2. ACETO, L., FOKKINK, W. J., AND INGÓLFSDÓTTIR, A. 1998a. On a question of A. Salomaa: the equational theory of regular expressions over a singleton alphabet is not finitely based. Theoret. Comput. Sci. 209, 1/2, 163-178.
3. ACETO, L., FOKKINK, W. J., AND INGÓLFSDÓTTIR, A. 1998b. A menagerie of non-finitely based process semantics over BPA*: from ready simulation to completed traces. Math. Struct. Comput. Sci. 8, 3, 193-230.
4. ACETO, L., FOKKINK, W. J., AND INGÓLFSDÓTTIR, A. 1998c. A Cook's tour of equational axiomatizations for prefix iteration. In Proceedings of the 1st Conference on Foundations of Software Science and Computation Structures (FoSSaCS'98), (Lisbon, Portugal). M. Nivat, Ed. Lecture Notes in Computer Science, vol. 1378. Springer-Verlag, New York, pp. 20-34.
5. ACETO, L., FOKKINK, W. J., VAN GLABBEEK, R. J., AND INGÓLFSDÓTTIR, A. 1996. Axiomatizing prefix iteration with silent steps. Inf. Comput. 127, 1, 26-40.
6. ACETO, L., AND GROOTE, J. F. 1999. A complete equational axiomatization for MPA with string iteration. Theoret. Comput. Sci. 211, 1/2, 339-374.
7. ACETO, L., AND INGÓLFSDÓTTIR, A. 1996. An equational axiomatization of observation congruence for prefix iteration. In Proceedings of the 5th Conference on Algebraic Methodology and Software Technology (AMAST'96) (Munich, Germany). M. Wirsing and M. Nivat, Eds. Lecture Notes in Computer Science, vol. 1101. Springer-Verlag, New York, pp. 195-209.
8. BAETEN, J. C. M., BERGSTRA, J. A., AND KLOP, J. W. 1987. On the consistency of Koomen's fair abstraction rule. Theoret. Comput. Sci. 51, 1/2, 129-176.
9. BAETEN, J. C. M., BERGSTRA, J. A., AND KLOP, J. W. 1993. Decidability of bisimulation equivalence for processes generating context-free languages. J. ACM 40, 3, 653-682.
10. BAETEN, J. C. M., AND VERHOEF, C. 1993. A congruence theorem for structured operational semantics 1 with predicates. In Proceedings CONCUR 93, (Hildesheim, Germany). E. Best, Ed. Lecture Notes in Computer Science, vol. 715. Springer-Verlag, New York, pp. 477-492.
11. BAETEN, J. C. M., AND VERHOEF, C. 1995. Concrete process algebra. In Handbook of Logic in Computer Science, Volume IV, Syntactical Methods. S. Abramsky, D. Gabbay, and T. Maibaum, Eds., Oxford University Press, Oxford, England, pp. 149-268.
12. BAETEN, J. C. M., AND WEDLAND, W. P. 1990. Process Algebra. Cambridge Tracts in Theoretical Computer Science 18. Cambridge University Press.
13. BERGSTRA, J. A., BETHKE, I., AND PONSE, A. 1993. Process algebra with iteration. Report P9314 (June), Programming Research Group, University of Amsterdam. (See http://www.science.uva.nl/research/prog/reports/reports.html).
14. BERGSTRA, J. A., BETHKE, I., AND PONSE, A. 1994. Process algebra with iteration and nesting. Comput. J. 37, 4, 243-258.
15. BERGSTRA, J. A., FOKKINK, W. J., AND PONSE, A. 2001. Process algebra with recursive operations. In Handbook of Process Algebra. J. A. Bergstra, A. Ponse, and S. A. Smolka, Eds., Elsevier, North Holland, Amsterdam, The Netherlands, pp. 333-389.
16. BERGSTRA, J. A., AND KLOP, J. W. 1984. Process algebra for synchronous communication. Inform. Cont. 60, 1/3, 109-137.
17. BERGSTRA, J. A., AND KLOP, J. W. 1985. Algebra of communicating processes with abstraction. Theoret. Comput. Sci. 37, 1, 77-121.
18. BERGSTRA, J. A., AND LOOTS, M. E. 1999. Programs, interfaces and components, report 006 (July). Artificial Intelligence Preprint Series, CKI, Department of Philosophy, Utrecht University. (See http://www.phil.uu.nl/ ckipreprints.html).
19. BERGSTRA, J. A., AND PONSE, A. 2001. Non-reqular iterators in process algebra. Theoret. Comput. Sci. 269, 1-2, 203-229. (This is an extended version of two recursive generalizations of iteration process algebra. Report P9808 (June 1998), Programming Research Group, University of Amsterdam,) (See http://www.science.uva.nl/research/prog/reports/reports.html).
20. BERGSTRA, J. A., AND TUCKER, J. V. 1984. Top down design and the algebra of communicating processes. Sci. Comput. Prog. 5, 2, 171-199.
21. BOSELIE, J. 1995. Expressiveness results for process algebra with iteration. Master's dissertation Computer Science, University of Amsterdam, Amsterdam, The Netherlands.
22. FOKKINK, W. J. 1994. A complete equational axiomatization for prefix iteration. Inf. Proc. Lett. 52, 333-337.
23. FOKKINK, W. J. 1996. A complete axiomatization for prefix iteration in branching bisimulation. Fund. Inf. 26, 2, 103-113.
24. FOKKINK, W. J. 1997. Axiomatizations for the perpetual loop in process algebra. In Proceedings of the 24th Annual ICALP. P. Degano, R. Gorrieri, and A. Marchetti-Spaccamela, Eds. Springer-Verlag, New York, pp. 571-581.
25. FOKKINK, W. J. 2000. Introduction to Process Algebra. Springer-Verlag, New York.
26. FOKKINK, W. J., AND ZANTEMA, H. 1994. Basic process algebra with iteration: Completeness of its equational axioms. Comput. J. 37, 4, 259-267.
27. GROOTE, J. F., AND PONSE, A. 1995. The syntax and semantics of μCRL. In Algebra of Communicating Processes (Utrecht 1994), Workshops in Computing. A. Ponse, C. Verhoef, and S. F. M. van Vlijmen, Eds., Springer-Verlag, New York, pp. 26-62.
28. GROOTE, J. F., AND VAANDRAGER, F. W. 1992. Structured operational semantics and bisimulation as a congruence. Inf. Comput. 100, 2, 202-260.
29. KAMSTEEG, G. 1999. Formalization of Process Algebra with Data in the Calculus of Constructions with Inductive Types. Ph.D. dissertation, Computer Science, Leiden University, Leiden.
30. KLEENE, S. C. 1956. Representation of events in nerve nets and finite automata. In Automata Studies, Princeton University Press, Princeton, N.J., pp. 3-41.
31. MILNER, R. 1980. A Calculus of Communicating Systems. Lecture Notes in Computer Science, vol. 92. Springer-Verlag, New York.
32. MINSKY, M. L. 1967. Computation: Finite and Infinite Machines. Prentice-Hall, Englewood Cliffs, N.J.
33. PARK, D. M. R. 1981. Concurrency and automata on infinite sequences. In Proceedings of the 5th GI Conference. P. Deussen, Ed. Lecture Notes in Computer Science, vol. 104. Springer-Verlag, New York, pp. 167-183.
34. PONSE, A. 1996. Computable processes and bisimulation equivalence. Form. Asp. Comput. 8, 6, 648-678.
35. SEWELL, P. M. 1997. Nonaxiomatisability of equivalences over finite state processes. Ann. Pure Appl. Logic 90, 1/3, 163-191.
36. VAN GLABBEEK, R. J. 1993. A complete axiomatization for branching bisimulation congruence of finite-state behaviours. In Proceedings of the 18th Symposium on Mathematical Foundations of Computer Science (MFCS'93) (Gdansk, Poland). A. Borzyszrowski and S. Sokolowski, Eds. Lecture Notes in Computer Science, vol. 711. Springer-Verlag, New York, pp. 473-484.
37. VAN GLABBEEK, R. J. 1997. Axiomatizing flat iteration. In Proceedings of the 8th Conference on Concurrency Theory (CONCUR'98) (Warsaw, Poland). A. Mazurkiewicz and J. Winkowski, Eds. Lecture Notes in Computer Science, vol. 1243, Springer-Verlag, New York, pp. 228-242.
38. VAN GLABBEEK, R. J., AND WEIJLAND, W. 1989. Branching time and abstraction in bisimulation semantics (extended abstract). In G. RITTER Ed., Information Processing 89, Proceedings of the IFIP 11th World Computer Congress, San Fransisco 1989, pp. 613-618. North-Holland. Full version in J. ACM 43, 3, 1996, 555-600.
39. VAN GLABBEEK, R. J., AND WEIJLAND, W. 1989. Branching time and abstraction in bisimulation semantics (extended abstract). In G. RITTER Ed., Information Processing 89, Proceedings of the IFIP 11th World Computer Congress, San Fransisco 1989, pp. 613-618. North-Holland. Full version in J. ACM 43, 3, 1996, 555-600.
40. VAN GLABBEEK, R. J., AND WEDLAND, W. 1996. Branching time and abstraction in bisimulation semantics. J. ACM 43, 3, 555-600.