Formal Specification, Verification and Simulation of Time-Dependent Systems: a Timed Process Algebra Approach

Murilo S. de Camargo, Roberto Milton Scheffel. Formal Specification, Verification and Simulation of Time-Dependent Systems: a Timed Process Algebra Approach. Electronic Notes in Theoretical Computer Science, 14:62-85, 1998. [doi]

Abstract

Abstract is missing.