Revisiting timing in process algebra.

DOI10.1016/S1567-8326(02)00029-2MaRDI QIDQ1394990zbMATH OpenOpenAlexWikidataFDO

Authors 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

IntegrationProcess algebraDiscretizationAbsolute 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)

Recommendations

• scientific article; zbMATH DE number 1876862
• Process algebra with timing: Real time and discrete time
• Formal Methods for the Design of Real-Time Systems
• Discrete time process algebra
• Timing and causality in process algebra

Cites work

• scientific article; zbMATH DE number 1678357 (Why is no real title available?)
• scientific article; zbMATH DE number 821282 (Why is no real title available?)
• scientific article; zbMATH DE number 3894457 (Why is no real title available?)
• A process algebra for timed systems
• Discrete time process algebra
• Discrete time process algebra and the semantics of SDL
• Process Algebra
• Process algebra with timing
• Process algebra with timing: Real time and discrete time
• Real space process algebra
• Real time process algebra
• TIC: a tImed calculus
• The algebra of timed processes, ATP: Theory and application

Cited in

(12)

• scientific article; zbMATH DE number 1876862 (Why is no real title available?)
• Real time process algebra with time-dependent conditions
• Extending Timed Process Algebra with Discrete Stochastic Time
• Process algebra for hybrid systems
• Modelling mutual exclusion in a process algebra with time-outs
• scientific article; zbMATH DE number 2113973 (Why is no real title available?)
• Continuity controlled hybrid automata
• An algorithm for exact bounds on the time separation of events in concurrent systems
• Process algebra with timing: Real time and discrete time
• Reactive bisimulation semantics for a process algebra with timeouts
• Models and languages for description of parallel processes
• scientific article; zbMATH DE number 1216183 (Why is no real title available?)

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1394990)