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.

Abstract

Abstract is missing.