Timed Process Algebras with Urgent Interactions and a Unique Powerful Binary Operator

Tommaso Bolognesi, Ferdinando Lucidi. Timed Process Algebras with Urgent Interactions and a Unique Powerful Binary Operator. In J. W. de Bakker, Cornelis Huizing, Willem P. de Roever, Grzegorz Rozenberg, editors, Real-Time: Theory in Practice, REX Workshop, Mook, The Netherlands, June 3-7, 1991, Proceedings. Volume 600 of Lecture Notes in Computer Science, pages 124-148, Springer, 1991.

Abstract

Abstract is missing.