The following pages link to (Q4036565):
Displaying 30 items.
- Timed process calculi with deterministic or stochastic delays: commuting between durational and durationless actions (Q288785) (← links)
- SAT-based verification for timed component connectors (Q433331) (← 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)
- A complete axiomatization of timed bisimulation for a class of timed regular behaviours (Q672231) (← 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)
- Basic observables for processes (Q1286368) (← links)
- From ATP to timed graphs and hybrid systems (Q1323313) (← links)
- Recursion induction for real-time processes (Q1329195) (← links)
- Refinement of events in the development of real-time distributed systems (Q1341711) (← links)
- Time-abstracted bisimulation: Implicit specifications and decidability (Q1363777) (← 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)
- Bisimulation indexes and their applications (Q1606119) (← links)
- Congruent weak bisimulation with dense real-time (Q1802058) (← links)
- Model checking of systems with many identical timed processes (Q1853589) (← links)
- Timing and causality in process algebra (Q1924998) (← links)
- Reconciling real and stochastic time: the need for probabilistic refinement (Q1941867) (← links)
- A wide-spectrum language for object-based development of real-time systems (Q1961818) (← links)
- Processes against tests: on defining contextual equivalences (Q2079681) (← links)
- Sound reasoning in \textit{tock}-CSP (Q2120813) (← links)
- The fixed-point theory of strictly causal functions (Q2257306) (← links)
- Input urgent semantics for asynchronous timed session types (Q2329441) (← links)
- Timed $$\pi $$-Calculus (Q2830030) (← links)
- Process Algebra and Model Checking (Q3176390) (← links)
- Parallel Processes with Real-Time and Data: The ATLANTIF Intermediate Format (Q3605462) (← links)
- Undecidable verification problems for programs with unreliable channels (Q4632436) (← links)
- Stochastic Model Checking of the Stochastic Quality Calculus (Q5256368) (← links)
- Discussion on: ``Formal specification method for systems automation'' (Q5971345) (← links)
