The following pages link to Real time process algebra (Q2640341):
Displaying 50 items.
- Timed process calculi with deterministic or stochastic delays: commuting between durational and durationless actions (Q288785) (← 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)
- A theory of processes with durational actions (Q674005) (← links)
- A brief history of Timed CSP (Q674191) (← links)
- Duplication of constants in process algebra (Q864505) (← links)
- SOS formats and meta-theory: 20 years after (Q877025) (← links)
- A tutorial on EMPA: A theory of concurrent processes with nondeterminism, priorities, probabilities and time (Q1128976) (← links)
- TIC: a tImed calculus (Q1261314) (← links)
- A conservative look at operational semantics with variable binding (Q1273877) (← links)
- On performance congruences for process algebras (Q1275822) (← links)
- Real space process algebra (Q1329194) (← links)
- Recursion induction for real-time processes (Q1329195) (← links)
- Process algebra with guards: Combining hoare logic with process algebra (Q1329197) (← 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 language matching (Q1391794) (← links)
- Revisiting timing in process algebra. (Q1394990) (← links)
- An alternative formulation of operational conservativity with binding terms. (Q1400151) (← links)
- Refinement of time (Q1589580) (← links)
- Bisimulation indexes and their applications (Q1606119) (← links)
- The cones and foci proof technique for timed transition systems (Q1607115) (← links)
- Virtually timed ambients: a calculus of nested virtualization (Q1683706) (← links)
- A brief history of process algebra (Q1781995) (← links)
- Process algebra for hybrid systems (Q1781998) (← links)
- Models and languages for description of parallel processes (Q1792419) (← links)
- Congruent weak bisimulation with dense real-time (Q1802058) (← links)
- Action transducers and timed automata (Q1816917) (← links)
- Absolute versus relative time in process algebras. (Q1854325) (← links)
- A timed concurrent constraint language. (Q1854359) (← links)
- The real-time process algebra (RTPA) (Q1857952) (← links)
- On the expressiveness of choice quantification (Q1874242) (← 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)
- Compositional verification of real-time systems with explicit clock temporal logic (Q1918934) (← links)
- Timing and causality in process algebra (Q1924998) (← links)
- Executable rewriting logic semantics of Orc and formal analysis of Orc programs (Q2348797) (← links)
- Computable processes and bisimulation equivalence (Q2365394) (← links)
- Continuity controlled hybrid automata (Q2368692) (← links)
- An effective axiomatization for real time ACP (Q2508332) (← links)
- Process algebra with timing: Real time and discrete time (Q2760247) (← links)
- A real-time process algebra with open intervals and maximal progress (Q2765925) (← links)
- TPAP: an algebra of preemptive processes for verifying real-time systems with shared resources (Q2842574) (← links)
- Process Algebra and Model Checking (Q3176390) (← links)
- The transition rules model for real-time process control (Q3767183) (← links)
- (Q4222914) (← links)
- (Q4278673) (← links)
- Generalizing finiteness conditions of labelled transition systems (Q4632441) (← links)
