The Algebra of Timed Processes, ATP: Theory and Application

• 1 October 1994
• journal article
• Published by Elsevier in Information and Computation
• Vol. 114  (1) , 131-178
• https://doi.org/10.1006/inco.1994.1083

Abstract

Keywords

• ATP
• THEORY AND APPLICATION
• ALGEBRA OF TIMED PROCESSES