A Process Algebra for Timed Systems

• 1 March 1995
• journal article
• Published by Elsevier in Information and Computation
• Vol. 117  (2) , 221-239
• https://doi.org/10.1006/inco.1995.1041

Abstract

Keywords

• PROCESS ALGEBRA