The algebra of timed processes, ATP: Theory and application

DOI10.1006/inco.1994.1083zbMath0811.68093OpenAlexW2089546907MaRDI QIDQ1336052

Joseph Sifakis, Xavier Nicollin

Publication date: 12 October 1994

Published in: Information and Computation (Search for Journal in Brave)

Full work available at URL: https://semanticscholar.org/paper/e5277b300fc5f18b41c0cfa6f1852f597fc8e2f1

zbMATH Keywords

existing timed process algebrastimeoutswatchdogs

Mathematics Subject Classification ID

Related Items (50)

Sound reasoning in \textit{tock}-CSP ⋮ Expired data collection in shared dataspaces. ⋮ Real space process algebra ⋮ Process languages with discrete relative time based on the ordered SOS format and rooted eager bisimulation ⋮ Timed process calculi with deterministic or stochastic delays: commuting between durational and durationless actions ⋮ Discrete time process algebra with abstraction ⋮ Unifying Operational Semantics with Algebraic Semantics for Instantaneous Reactions ⋮ Predictable real-time software synthesis ⋮ Duplication of constants in process algebra ⋮ Discrete time process algebra ⋮ Bisimulation on speed: Worst-case efficiency ⋮ A complete axiomatization of finite-state ACSR processes ⋮ SOS formats and meta-theory: 20 years after ⋮ Timing and causality in process algebra ⋮ A tutorial on EMPA: A theory of concurrent processes with nondeterminism, priorities, probabilities and time ⋮ A process algebra of communicating shared resources with dense time and priorities ⋮ Virtually timed ambients: a calculus of nested virtualization ⋮ A general conservative extension theorem in process algebras with inequalities ⋮ Process algebra with propositional signals ⋮ An algebraic theory of multiple clocks ⋮ Revisiting timing in process algebra. ⋮ revTPL: The Reversible Temporal Process Language ⋮ Rule formats for determinism and idempotence ⋮ A timed calculus for wireless systems ⋮ Algebra of timed frames ⋮ Unnamed Item ⋮ A timed semantics of Orc ⋮ A complete axiomatization of timed bisimulation for a class of timed regular behaviours ⋮ Modular abstractions for verifying real-time distributed systems ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Rule formats for distributivity ⋮ On Convergence-sensitive Bisimulation and the Embedding of CCS in Timed CCS ⋮ Variable binding operators in transition system specifications ⋮ Lifting non-finite axiomatizability results to extensions of process algebras ⋮ Real time process algebra with time-dependent conditions ⋮ A brief history of process algebra ⋮ Process algebra for hybrid systems ⋮ Parallel Processes with Real-Time and Data: The ATLANTIF Intermediate Format ⋮ On the semantics of durational actions ⋮ A Timed Process Algebra for Wireless Networks with an Application in Routing ⋮ Generating priority rewrite systems for OSOS process languages ⋮ Action transducers and timed automata ⋮ A conservative look at operational semantics with variable binding ⋮ TPAP ⋮ Ordered SOS process languages for branching and eager bisimulations ⋮ Relating Hybrid Chi to Other Formalisms ⋮ Model-based Engineering of Embedded Systems Using the Hybrid Process Algebra Chi ⋮ Executable rewriting logic semantics of Orc and formal analysis of Orc programs ⋮ From ATP to timed graphs and hybrid systems

This page was built for publication: The algebra of timed processes, ATP: Theory and application