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

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

• 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
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item