The algebra of timed processes, ATP: Theory and application
From MaRDI portal
Publication:1336052
DOI10.1006/inco.1994.1083zbMath0811.68093MaRDI 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
68Q55: Semantics in the theory of computing
Related Items
Variable binding operators in transition system specifications, Real time process algebra with time-dependent conditions, On the semantics of durational actions, Bisimulation on speed: Worst-case efficiency, A complete axiomatization of timed bisimulation for a class of timed regular behaviours, Modular abstractions for verifying real-time distributed systems, Duplication of constants in process algebra, SOS formats and meta-theory: 20 years after, A timed semantics of Orc, Generating priority rewrite systems for OSOS process languages, A tutorial on EMPA: A theory of concurrent processes with nondeterminism, priorities, probabilities and time, A conservative look at operational semantics with variable binding, From ATP to timed graphs and hybrid systems, Real space process algebra, A complete axiomatization of finite-state ACSR processes, A process algebra of communicating shared resources with dense time and priorities, A general conservative extension theorem in process algebras with inequalities, Process algebra with propositional signals, Revisiting timing in process algebra., A brief history of process algebra, Process algebra for hybrid systems, Action transducers and timed automata, Ordered SOS process languages for branching and eager bisimulations, Expired data collection in shared dataspaces., Process languages with discrete relative time based on the ordered SOS format and rooted eager bisimulation, Discrete time process algebra, Timing and causality in process algebra, Predictable real-time software synthesis, Algebra of timed frames, Parallel Processes with Real-Time and Data: The ATLANTIF Intermediate Format, Unnamed Item