The following pages link to Discrete time process algebra (Q1914041):
Displaying 24 items.
- SOS rule formats for zero and unit elements (Q549170) (← links)
- A timed calculus for wireless systems (Q650891) (← links)
- Duplication of constants in process algebra (Q864505) (← links)
- A timed semantics of Orc (Q935476) (← links)
- A conservative look at operational semantics with variable binding (Q1273877) (← links)
- Formalizing process algebraic verifications in the calculus of constructions (Q1355748) (← links)
- A complete axiomatization of finite-state ACSR processes (Q1376418) (← 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)
- The cones and foci proof technique for timed transition systems (Q1607115) (← links)
- Process languages with discrete relative time based on the ordered SOS format and rooted eager bisimulation (Q1878718) (← links)
- Sound reasoning in \textit{tock}-CSP (Q2120813) (← links)
- CCS: it's not fair! Fair schedulers cannot be implemented in CCS-like languages even under progress and certain fairness assumptions (Q2340255) (← links)
- An effective axiomatization for real time ACP (Q2508332) (← links)
- Algebra of timed frames (Q2710790) (← links)
- Process algebra with timing: Real time and discrete time (Q2760247) (← links)
- Discrete time process algebra and the semantics of SDL (Q2760255) (← links)
- A Timed Process Algebra for Wireless Networks with an Application in Routing (Q2802472) (← links)
- (Q4861733) (← links)
- Embedding Untimed into Timed Process Algebra; the Case for Explicit Termination (Q4917024) (← links)
- Discrete time process algebra with abstraction (Q5055876) (← links)
- Bounded concurrency (Q5055935) (← links)
- Real time process algebra with time-dependent conditions (Q5946026) (← links)
