Discrete time process algebra

DOI10.1007/BF01214556zbMath0849.68033OpenAlexW1994216518MaRDI QIDQ1914041

Jan A. Bergstra, Jos C. M. Baeten

Publication date: 2 June 1996

Published in: Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf01214556

zbMATH Keywords

discrete time theoryparametric timingtime free ACP theory

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10)

Related Items (19)

Sound reasoning in \textit{tock}-CSP ⋮ Process languages with discrete relative time based on the ordered SOS format and rooted eager bisimulation ⋮ Bounded concurrency ⋮ Formalizing process algebraic verifications in the calculus of constructions ⋮ Duplication of constants in process algebra ⋮ A complete axiomatization of finite-state ACSR processes ⋮ A general conservative extension theorem in process algebras with inequalities ⋮ Process algebra with language matching ⋮ Revisiting timing in process algebra. ⋮ A timed calculus for wireless systems ⋮ Algebra of timed frames ⋮ A timed semantics of Orc ⋮ Embedding Untimed into Timed Process Algebra; the Case for Explicit Termination ⋮ SOS rule formats for zero and unit elements ⋮ Real time process algebra with time-dependent conditions ⋮ A Timed Process Algebra for Wireless Networks with an Application in Routing ⋮ A conservative look at operational semantics with variable binding ⋮ CCS: it's not fair! Fair schedulers cannot be implemented in CCS-like languages even under progress and certain fairness assumptions ⋮ The cones and foci proof technique for timed transition systems

Uses Software

• ToolBus

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A timed model for communicating sequential processes
• Real space process algebra
• On sequential composition, action prefixes and process prefix
• The algebra of timed processes, ATP: Theory and application
• A complete equational axiomatization for prefix iteration
• The discrete time TOOLBUS. -- A software coordination architecture
• A process algebra for timed systems
• Real time process algebra
• CIRCAL and the representation of communication, concurrency, and time
• Process algebra for synchronous communication
• A Theory of Communicating Sequential Processes
• Laws of programming
• Process Algebra

This page was built for publication: Discrete time process algebra