Pages that link to "Item:Q1924998"
From MaRDI portal
The following pages link to Timing and causality in process algebra (Q1924998):
Displaying 32 items.
- Timed process calculi with deterministic or stochastic delays: commuting between durational and durationless actions (Q288785) (← links)
- On the tradeoff between compositionality and exactness in weak bisimilarity for integrated-time Markovian process calculi (Q481103) (← links)
- Bisimulation on speed: Worst-case efficiency (Q598200) (← links)
- Timed mobility in process algebra and Petri nets (Q638567) (← links)
- Semantic domains of timed event structures (Q840017) (← links)
- On the coarsest congruence within global-clock-bounded equivalence (Q1129264) (← links)
- On performance congruences for process algebras (Q1275822) (← links)
- Revisiting timing in process algebra. (Q1394990) (← links)
- Unifying behavioral equivalences of timed transition systems (Q1758671) (← links)
- Absolute versus relative time in process algebras. (Q1854325) (← links)
- A timed concurrent constraint language. (Q1854359) (← links)
- A process algebra for timed systems (Q1892877) (← links)
- Timing and causality in process algebra (Q1924998) (← links)
- Refinement of actions for real-time concurrent systems with causal ambiguity (Q2491208) (← links)
- Decidability of performance equivalence for basic parallel processes (Q2503324) (← links)
- Bisimulation on speed: a unified approach (Q2503326) (← links)
- An interleaving model for real-time systems (Q2757804) (← links)
- Taking decisions late: end-based choice combined with action refinement (Q2844828) (← links)
- Refinement of actions in a real-time process algebra with a true concurrency model (Q2844829) (← links)
- (Q4222914) (← links)
- (Q4222915) (← links)
- (Q4796539) (← links)
- The Expressive Power of Urgent, Lazy and Busy-Waiting Actions in Timed Processes (Q4917026) (← links)
- Bisimulation on speed: Lower time bounds (Q5313721) (← links)
- Formal Modeling and Analysis of Timed Systems (Q5717498) (← links)
- Metric semantics for true concurrent real time (Q5940931) (← links)
- On testing urgency through laziness over processes with durational actions (Q5941201) (← links)
- On the semantics of durational actions (Q5958612) (← links)
- An algebraic theory of multiple clocks (Q6044116) (← links)
- revTPL: The Reversible Temporal Process Language (Q6151560) (← links)
- Temporal causality in reactive systems (Q6160913) (← links)
- Causal reversibility for timed process calculi with lazy/eager durationless actions and time additivity (Q6536425) (← links)
