On the completeness of the equations for the Kleene star in bisimulation

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1101, Issue , 1996, Pages 180-194

  Fokkink, Wan ^a  

^a UTRECHT UNIVERSITY   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRA; SOFTWARE ENGINEERING;

AXIOMATIZATION; BISIMULATIONS; KLEENE STAR; OPEN TERMS; STRONG BISIMULATION; TERM REWRITING; TRACE EQUIVALENCE;

STARS;

EID: 0009008991     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/bfb0014315     Document Type: Conference Paper

References (24)

1. L. Aceto. Personal communication, December 1995.
2. L. Aceto and W.J. Fokkink. A complete axiomatization for multi-exit iteration. In preparation.
3. L. Aceto, W.J. Fokkink, R.J. van Glabbeek, and A. Ingólfsdóttir. Axiomatizing prefix iteration with silent steps. Report RS-95-56, BRICS, University of Aalborg, 1995. To appear in Information and Computation
4. J.C.M. Baeten, J.A. Bergstra, and J.W. Klop. Decidability of bisimulation equivalence for processes generating context-free languages. Journal of the ACM, 40(3):653-682, 1993.
5. J.C.M. Baeten and C. Verhoef. A congruence theorem for structured operational semantics with predicates. In E. Best, ed., Proceedings CONCUR'93, Hildesheim, LNCS 715, pp. 477-492. Springer, 1993.
6. J.C.M. Baeten and C. Verhoef. Concrete process algebra. In S. Abramsky, D.M. Gabbay, and T.S.E. Maibaum, eds., Handbook of Logic in Computer Science, Volume IV, pp. 149-268. Oxford University Press, 1995.
7. J. A. Bergstra, I. Bethke, and A. Ponse. Process algebra with iteration and nesting. The Computer Journal, 37(4):243-258, 1994.
8. J.A. Bergstra and J.W. Klop. Verification of an alternating bit protocol by means of process algebra. In W. Bibel and K.P. Jantke, eds.,Proceedings Mathematical Methods of Specification and Synthesis of Software Systems, Wendisch-Rietz, LNCS 215, pp. 9-23. Springer, 1985.
9. D. Caucal. Graphes canoniques et graphes algébriques. Theoretical Informatics and Applications, 24(4):339-352, 1990.
10. J.H. Conway. Regular algebra and finite machines. Chapman and Hall, 1971.
11. W.J. Fokkink. A complete equational axiomatization for prefix iteration. Information Processing Letters, 52(6):333-337, 1994.
12. W.J. Fokkink and R.J. van Glabbeek. Ntyft/ntyxt rules reduce to ntree rules. Technical Note CS-95-17, Stanford University, 1995. To appear inInformation and Computation
13. W.J. Fokkink and H. Zantema. Basic process algebra with iteration: completeness of its equational axioms. The Computer Journal, 37(4):259-267, 1994.
14. R.J. van Glabbeek. A complete axiomatization for branching bisimulation congruence of finite-state behaviours. In A.M. Borzyszkowski and S. Sokołowski, eds., Proceedings MFCS'93, Gdansk, LNCS 711, pp. 473-484. Springer, 1993.
15. S.C. Kleene. Representation of events in nerve nets and finite automata. In Automata Studies, pages 3-41. Princeton University Press, 1956.
16. R. Milner. A complete inference system for a class of regular behaviours. Journal of Computer and System Sciences, 28:439-466, 1984.
17. R. Milner. A complete axiomatisation for observational congruence of finite-state behaviors. Information and Computation, 81(2):227-247, 1989.
18. D.M.R. Park. Concurrency and automata on infinite sequences. In P. Deussen, editor, Proceedings 5th GI Conference, Karlsruhe, LNCS 104, pp. 167-183. Springer, 1981.
19. G.D. Plotkin. A structural approach to operational semantics. Report DAIMI FN-19, Aarhus University, 1981.
20. V.N. Redko. On defining relations for the algebra of regular events. Ukrainskii Matematicheskii Zhurnal, 16:120-126, 1964. In Russian.
21. A. Salomaa. Two complete axiom systems for the algebra of regular events. Journal of the ACM, 13(1):158-169, 1966.
22. P. Sewell. Bisimulation is not finitely (first order) equationally axiomatisable. In Proceedings LICS'94, Paris, pp. 62-70. IEEE Computer Society Press, 1994.
23. D.R. Troeger. Step bisimulation is pomset equivalence on a parallel language without explicit internal choice. Mathematical Structures in Computer Science, 3:25-62, 1993.
24. H. Zantema. Termination of term rewriting by semantic labelling. Fundamenta Informaticae, 24(1,2):89-105, 1995.