Revisiting timing in process algebra.

DOI10.1016/S1567-8326(02)00029-2zbMath1051.68110OpenAlexW2133679082WikidataQ114850071 ScholiaQ114850071MaRDI QIDQ1394990

C. A. Middelburg

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

zbMATH Keywords

Process algebraIntegrationDiscretizationAbsolute timingContinuous time scaleDiscrete time scaleInitial abstractionParametric timingRelative timing

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (3)

Continuity controlled hybrid automata ⋮ Process algebra for hybrid systems ⋮ Models and languages for description of parallel processes

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• TIC: a tImed calculus
• Real space process algebra
• The algebra of timed processes, ATP: Theory and application
• Process algebra with timing
• A process algebra for timed systems
• Discrete time process algebra
• Real time process algebra
• Process Algebra

This page was built for publication: Revisiting timing in process algebra.