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