Pages that link to "Item:Q1336052"
From MaRDI portal
The following pages link to The algebra of timed processes, ATP: Theory and application (Q1336052):
Displaying 42 items.
- Timed process calculi with deterministic or stochastic delays: commuting between durational and durationless actions (Q288785) (← links)
- Rule formats for determinism and idempotence (Q433348) (← links)
- Bisimulation on speed: Worst-case efficiency (Q598200) (← links)
- A timed calculus for wireless systems (Q650891) (← links)
- A complete axiomatization of timed bisimulation for a class of timed regular behaviours (Q672231) (← links)
- Modular abstractions for verifying real-time distributed systems (Q685095) (← links)
- Duplication of constants in process algebra (Q864505) (← links)
- SOS formats and meta-theory: 20 years after (Q877025) (← links)
- A timed semantics of Orc (Q935476) (← links)
- Lifting non-finite axiomatizability results to extensions of process algebras (Q969643) (← links)
- Generating priority rewrite systems for OSOS process languages (Q1012121) (← links)
- A tutorial on EMPA: A theory of concurrent processes with nondeterminism, priorities, probabilities and time (Q1128976) (← links)
- A conservative look at operational semantics with variable binding (Q1273877) (← links)
- From ATP to timed graphs and hybrid systems (Q1323313) (← links)
- Real space process algebra (Q1329194) (← links)
- A complete axiomatization of finite-state ACSR processes (Q1376418) (← links)
- A process algebra of communicating shared resources with dense time and priorities (Q1389685) (← links)
- A general conservative extension theorem in process algebras with inequalities (Q1391791) (← links)
- Process algebra with propositional signals (Q1391792) (← links)
- Revisiting timing in process algebra. (Q1394990) (← links)
- Virtually timed ambients: a calculus of nested virtualization (Q1683706) (← links)
- Rule formats for distributivity (Q1758150) (← links)
- A brief history of process algebra (Q1781995) (← links)
- Process algebra for hybrid systems (Q1781998) (← links)
- Action transducers and timed automata (Q1816917) (← links)
- Ordered SOS process languages for branching and eager bisimulations (Q1854563) (← links)
- Expired data collection in shared dataspaces. (Q1874282) (← links)
- Process languages with discrete relative time based on the ordered SOS format and rooted eager bisimulation (Q1878718) (← links)
- Discrete time process algebra (Q1914041) (← links)
- Timing and causality in process algebra (Q1924998) (← links)
- Sound reasoning in \textit{tock}-CSP (Q2120813) (← links)
- Executable rewriting logic semantics of Orc and formal analysis of Orc programs (Q2348797) (← links)
- Predictable real-time software synthesis (Q2642542) (← links)
- Algebra of timed frames (Q2710790) (← links)
- A Timed Process Algebra for Wireless Networks with an Application in Routing (Q2802472) (← links)
- TPAP (Q2842574) (← links)
- (Q2842864) (← links)
- (Q2842868) (← links)
- Relating Hybrid Chi to Other Formalisms (Q2864397) (← links)
- Model-based Engineering of Embedded Systems Using the Hybrid Process Algebra Chi (Q2870190) (← links)
- On Convergence-sensitive Bisimulation and the Embedding of CCS in Timed CCS (Q5170663) (← links)
- revTPL: The Reversible Temporal Process Language (Q6151560) (← links)
