Revisiting timing in process algebra.
From MaRDI portal
Publication:1394990
DOI10.1016/S1567-8326(02)00029-2zbMath1051.68110OpenAlexW2133679082WikidataQ114850071 ScholiaQ114850071MaRDI QIDQ1394990
Publication date: 25 June 2003
Published in: The Journal of Logic and Algebraic Programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/s1567-8326(02)00029-2
Process algebraIntegrationDiscretizationAbsolute timingContinuous time scaleDiscrete time scaleInitial abstractionParametric timingRelative timing
Related Items (3)
Continuity controlled hybrid automata ⋮ Process algebra for hybrid systems ⋮ Models and languages for description of parallel processes
Cites Work
This page was built for publication: Revisiting timing in process algebra.