Pages that link to "Item:Q1892877"
From MaRDI portal
The following pages link to A process algebra for timed systems (Q1892877):
Displaying 36 items.
- A real-time process algebra with open intervals and maximal progress (Q2765925) (← links)
- A Timed Process Algebra for Wireless Networks with an Application in Routing (Q2802472) (← links)
- The Expressive Power of Monotonic Parallel Composition (Q2802500) (← links)
- TPAP: an algebra of preemptive processes for verifying real-time systems with shared resources (Q2842574) (← links)
- Revisiting interactive Markov chains (Q2842864) (← links)
- Process algebras as specification language (work in progress) (Q2842868) (← links)
- Extensions of standard weak bisimulation machinery: finite-state general processes, refinable actions, maximal-progress and time (Q2870192) (← links)
- Semantic Analysis of Gossip Protocols for Wireless Sensor Networks (Q3090828) (← links)
- Timing-Sensitive Noninterference through Composition (Q3304803) (← links)
- (Q4215810) (← links)
- (Q4222914) (← links)
- (Q4553277) (← links)
- Timed testing of concurrent systems (Q4630289) (← links)
- (Q4796539) (← links)
- The Expressive Power of Urgent, Lazy and Busy-Waiting Actions in Timed Processes (Q4917026) (← links)
- Discrete time process algebra with abstraction (Q5055876) (← links)
- An algebraic framework for developing and maintaining real-time systems (Q5096395) (← links)
- On Convergence-sensitive Bisimulation and the Embedding of CCS in Timed CCS (Q5170663) (← links)
- Behavioural abstraction in TCCS (Q5204347) (← links)
- Stochastic and Real Time in Process Algebra: A Conceptual Overview (Q5262956) (← links)
- Bisimulation on speed: Lower time bounds (Q5313721) (← links)
- A TIMED FAILURE EQUIVALENCE PRESERVING ABSTRACTION FOR PARAMETRIC TIME-INTERVAL AUTOMATA (Q5484905) (← links)
- Formal Methods for the Design of Real-Time Systems (Q5494306) (← links)
- Formal Methods for the Design of Real-Time Systems (Q5494307) (← links)
- Extending Timed Process Algebra with Discrete Stochastic Time (Q5505429) (← links)
- A Calculus of Cyber-Physical Systems (Q5738991) (← links)
- (Q5856402) (← links)
- Fast asynchronous systems in dense time (Q5940928) (← links)
- On the semantics of durational actions (Q5958612) (← links)
- An algebraic theory of multiple clocks (Q6044116) (← links)
- Modelling mutual exclusion in a process algebra with time-outs (Q6053409) (← links)
- Lang-n-Send Extended: Sending Regular Expressions to Monitors (Q6122642) (← links)
- A model of actors and grey failures (Q6137831) (← links)
- revTPL: The Reversible Temporal Process Language (Q6151560) (← links)
- Causal reversibility for timed process calculi with lazy/eager durationless actions and time additivity (Q6536425) (← links)
- Dormancy-aware timed branching bisimilarity with an application to communication protocol analysis (Q6589835) (← links)
