The Algebra of Recursively Defined Processes and the Algebra of Regular Processes

Jan A. Bergstra, Jan Willem Klop. The Algebra of Recursively Defined Processes and the Algebra of Regular Processes. In Jan Paredaens, editor, Automata, Languages and Programming, 11th Colloquium, Antwerp, Belgium, July 16-20, 1984, Proceedings. Volume 172 of Lecture Notes in Computer Science, pages 82-94, Springer, 1984.

Authors

Jan A. Bergstra

Identified as Jan A. Bergstra

Jan Willem Klop

Identified as Jan Willem Klop
(VU University Amsterdam
)