The following pages link to Process algebra with timing (Q1847280):
Displaying 36 items.
- A process calculus with finitary comprehended terms (Q385508) (← links)
- SAT-based verification for timed component connectors (Q433331) (← links)
- Rule formats for determinism and idempotence (Q433348) (← links)
- Repairing time-determinism in the process algebra for hybrid systems (Q442292) (← links)
- SOS rule formats for zero and unit elements (Q549170) (← links)
- Fixing Zeno gaps (Q549197) (← links)
- A translation of \(\text{TPAL}_{p}\) into a class of timed-probabilistic Petri nets (Q557805) (← links)
- A timed calculus for wireless systems (Q650891) (← links)
- Service oriented computing from a process algebraic perspective (Q861292) (← links)
- Duplication of constants in process algebra (Q864505) (← links)
- SOS formats and meta-theory: 20 years after (Q877025) (← links)
- Is observational congruence on \(\mu \)-expressions axiomatisable in equational Horn logic? (Q979076) (← links)
- An algebra of hybrid systems (Q1001892) (← links)
- A barred operational semantics for a subset of WS-CDL with time restrictions (Q1035678) (← links)
- Worst-case response time analysis of real-time tasks under fixed-priority scheduling with deferred preemption (Q1039302) (← links)
- Process algebraic modelling of attentional capture and human electrophysiology in interactive systems (Q1047214) (← links)
- Revisiting timing in process algebra. (Q1394990) (← links)
- An alternative formulation of operational conservativity with binding terms. (Q1400151) (← links)
- Virtually timed ambients: a calculus of nested virtualization (Q1683706) (← links)
- Hybrid process algebra (Q1763160) (← links)
- A brief history of process algebra (Q1781995) (← links)
- Process algebra for hybrid systems (Q1781998) (← links)
- Process languages with discrete relative time based on the ordered SOS format and rooted eager bisimulation (Q1878718) (← links)
- Process algebra with strategic interleaving (Q2000000) (← links)
- Executable rewriting logic semantics of Orc and formal analysis of Orc programs (Q2348797) (← links)
- Continuity controlled hybrid automata (Q2368692) (← links)
- Syntax and consistent equation semantics of hybrid Chi (Q2368698) (← links)
- Specification, testing and implementation relations for symbolic-probabilistic systems (Q2368993) (← links)
- Notions of bisimulation and congruence formats for SOS with data (Q2486401) (← links)
- Bisimulation on speed: a unified approach (Q2503326) (← links)
- Model-based Engineering of Embedded Systems Using the Hybrid Process Algebra Chi (Q2870190) (← links)
- Suitability of mCRL2 for Concurrent-System Design: A 2 × 2 Switch Case Study (Q3066124) (← links)
- On Rule Formats for Zero and Unit Elements (Q3178250) (← links)
- Lost in Translation: Hybrid-Time Flows vs. Real-Time Transitions (Q3523102) (← links)
- Extending Timed Process Algebra with Discrete Stochastic Time (Q5505429) (← links)
- (Q5856402) (← links)
