The algebra of timed processes, ATP: Theory and application
From MaRDI portal
Publication:1336052
DOI10.1006/INCO.1994.1083zbMATH Open0811.68093OpenAlexW2089546907MaRDI QIDQ1336052FDOQ1336052
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
Recommendations
Cited In (58)
- Title not available (Why is that?)
- An algebraic framework for urgency
- Modular abstractions for verifying real-time distributed systems
- A Timed Process Algebra for Wireless Networks with an Application in Routing
- Revisiting timing in process algebra.
- Lifting non-finite axiomatizability results to extensions of process algebras
- A timed semantics of Orc
- Expired data collection in shared dataspaces.
- Unifying Operational Semantics with Algebraic Semantics for Instantaneous Reactions
- Action transducers and timed automata
- SOS formats and meta-theory: 20 years after
- Towards an algebra for timed behaviours
- Sound reasoning in \textit{tock}-CSP
- Title not available (Why is that?)
- A conservative look at operational semantics with variable binding
- Model-based engineering of embedded systems using the hybrid process algebra Chi
- Timed process calculi with deterministic or stochastic delays: commuting between durational and durationless actions
- Variable binding operators in transition system specifications
- Rule formats for determinism and idempotence
- Real time process algebra with time-dependent conditions
- Duplication of constants in process algebra
- On Convergence-sensitive Bisimulation and the Embedding of CCS in Timed CCS
- A process algebra of communicating shared resources with dense time and priorities
- Process algebra for hybrid systems
- Bisimulation on speed: Worst-case efficiency
- Predictable real-time software synthesis
- A complete axiomatization of timed bisimulation for a class of timed regular behaviours
- Discrete time process algebra and the semantics of SDL
- Generating priority rewrite systems for OSOS process languages
- An algebraic theory of multiple clocks
- Rule formats for distributivity
- A tutorial on EMPA: A theory of concurrent processes with nondeterminism, priorities, probabilities and time
- Ordered SOS process languages for branching and eager bisimulations
- Discrete time process algebra
- Process algebra with propositional signals
- A brief history of process algebra
- Real space process algebra
- TPAP: an algebra of preemptive processes for verifying real-time systems with shared resources
- Parallel Processes with Real-Time and Data: The ATLANTIF Intermediate Format
- From ATP to timed graphs and hybrid systems
- A general conservative extension theorem in process algebras with inequalities
- Process languages with discrete relative time based on the ordered SOS format and rooted eager bisimulation
- Timing and causality in process algebra
- A complete axiomatization of finite-state ACSR processes
- Virtually timed ambients: a calculus of nested virtualization
- Algebra of timed frames
- Executable rewriting logic semantics of Orc and formal analysis of Orc programs
- A timed calculus for wireless systems
- On the semantics of durational actions
- Discrete time process algebra with abstraction
- Revisiting interactive Markov chains
- Relating hybrid chi to other formalisms
- Process algebras as specification language (work in progress)
- revTPL: The Reversible Temporal Process Language
- A linear time process algebra
- An overview and synthesis on timed process algebras
- Causal reversibility for timed process calculi with lazy/eager durationless actions and time additivity
- \(\pi\)\textsc{HyFlow}: formalism, semantics, and applications
This page was built for publication: The algebra of timed processes, ATP: Theory and application
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1336052)
