The algebra of timed processes, ATP: Theory and application
From MaRDI portal
(Redirected from Publication:1336052)
Recommendations
Cited in
(59)- revTPL: The Reversible Temporal Process Language
- A linear time process algebra
- An overview and synthesis on timed process algebras
- \(\pi\)\textsc{HyFlow}: formalism, semantics, and applications
- Causal reversibility for timed process calculi with lazy/eager durationless actions and time additivity
- Rule formats for distributivity
- A brief history of process algebra
- Sound reasoning in \textit{tock}-CSP
- Relating hybrid chi to other formalisms
- Revisiting interactive Markov chains
- Discrete time process algebra
- Algebra of timed frames
- 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
- Discrete time process algebra with abstraction
- Rule formats for determinism and idempotence
- On convergence-sensitive bisimulation and the embedding of CCS in timed CCS
- Timing and causality in process algebra
- Expired data collection in shared dataspaces.
- Real space process algebra
- Timed process calculi with deterministic or stochastic delays: commuting between durational and durationless actions
- Model-based engineering of embedded systems using the hybrid process algebra Chi
- Process algebra with propositional signals
- SOS formats and meta-theory: 20 years after
- 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
- Unifying operational semantics with algebraic semantics for instantaneous reactions
- From ATP to timed graphs and hybrid systems
- scientific article; zbMATH DE number 1231595 (Why is no real title available?)
- Predictable real-time software synthesis
- Towards an algebra for timed behaviours
- Modular abstractions for verifying real-time distributed systems
- A general conservative extension theorem in process algebras with inequalities
- Real time process algebra with time-dependent conditions
- scientific article; zbMATH DE number 140239 (Why is no real title available?)
- Duplication of constants in process algebra
- A complete axiomatization of timed bisimulation for a class of timed regular behaviours
- Virtually timed ambients: a calculus of nested virtualization
- Action transducers and timed automata
- A conservative look at operational semantics with variable binding
- Lifting non-finite axiomatizability results to extensions of process algebras
- Ordered SOS process languages for branching and eager bisimulations
- Discrete time process algebra and the semantics of SDL
- Process languages with discrete relative time based on the ordered SOS format and rooted eager bisimulation
- Formal Methods for the Design of Real-Time Systems
- A complete axiomatization of finite-state ACSR processes
- Generating priority rewrite systems for OSOS process languages
- Revisiting timing in process algebra.
- Executable rewriting logic semantics of Orc and formal analysis of Orc programs
- An algebraic theory of multiple clocks
- A timed calculus for wireless systems
- Process algebras as specification language (work in progress)
- Process algebra for hybrid systems
- A timed process algebra for wireless networks with an application in routing (extended abstract)
- Variable binding operators in transition system specifications
- On the semantics of durational actions
- Bisimulation on speed: Worst-case efficiency
- A timed semantics of Orc
- An algebraic framework for urgency
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)
