Publication | Closed Access

A Process Algebra for Timed Systems

EngineeringTimed SystemsFormal MethodsProcess ControlTemporal LogicTimed SystemFormal VerificationProcess Calculus