Real time process algebra with time-dependent conditions

DOI10.1016/S1567-8326(01)00004-2MaRDI QIDQ5946026zbMATH OpenOpenAlexWikidataFDO

Authors Jos C. M. Baeten, C. A. Middelburg

Publication date 11 September 2002

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(01)00004-2

zbMATH Keywords

discrete time settingprocess algebras

Mathematics Subject Classification ID

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

Recommendations

• Process algebra with timing: Real time and discrete time
• scientific article; zbMATH DE number 1876862
• Revisiting timing in process algebra.
• scientific article; zbMATH DE number 1696898
• A process algebra for timed systems

Cites work

• A calculus of communicating systems
• A conservative look at operational semantics with variable binding
• A Theory of Communicating Sequential Processes
• Analysis of three hybrid systems in timed CRL
• Discrete time process algebra
• scientific article; zbMATH DE number 1678357 (Why is no real title available?)
• scientific article; zbMATH DE number 4039251 (Why is no real title available?)
• scientific article; zbMATH DE number 42752 (Why is no real title available?)
• scientific article; zbMATH DE number 821282 (Why is no real title available?)
• Process Algebra
• Process algebra for synchronous communication
• Process algebra with propositional signals
• Process algebra with timing: Real time and discrete time
• Real space process algebra
• Real time process algebra
• The algebra of timed processes, ATP: Theory and application
• Variable binding operators in transition system specifications

Cited in

(6)

• A formal framework for distributed cyber-physical systems
• Real time process algebra
• A real-time process algebra with open intervals and maximal progress
• The transition rules model for real-time process control
• Stochastic and Real Time in Process Algebra: A Conceptual Overview
• Runtime composition of systems of interacting cyber-physical components

This page was built for publication: Real time process algebra with time-dependent conditions

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