Real time process algebra with time-dependent conditions

DOI10.1016/S1567-8326(01)00004-2zbMath0992.68152OpenAlexW2162275990WikidataQ114850076 ScholiaQ114850076MaRDI QIDQ5946026

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

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

process algebrasdiscrete time setting

Mathematics Subject Classification ID

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

Related Items (1)

A formal framework for distributed cyber-physical systems

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A calculus of communicating systems
• A conservative look at operational semantics with variable binding
• Real space process algebra
• The algebra of timed processes, ATP: Theory and application
• Process algebra with propositional signals
• Discrete time process algebra
• Real time process algebra
• Process algebra for synchronous communication
• A Theory of Communicating Sequential Processes
• Process Algebra
• Analysis of three hybrid systems in timed \(\mu CRL\)
• Variable binding operators in transition system specifications

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