Pages that link to "Item:Q2760247"
From MaRDI portal
The following pages link to Process algebra with timing: Real time and discrete time (Q2760247):
Displaying 29 items.
- A translation of \(\text{TPAL}_{p}\) into a class of timed-probabilistic Petri nets (Q557805) (← links)
- Bisimulation on speed: Worst-case efficiency (Q598200) (← links)
- Process-algebraic approaches for multi-agent systems: an overview (Q814895) (← links)
- Generating priority rewrite systems for OSOS process languages (Q1012121) (← links)
- Bialgebraic methods and modal logic in structural operational semantics (Q1012126) (← links)
- Revisiting timing in process algebra. (Q1394990) (← links)
- An alternative formulation of operational conservativity with binding terms. (Q1400151) (← links)
- Process algebra for hybrid systems (Q1781998) (← links)
- Process algebra with timing (Q1847280) (← links)
- Expired data collection in shared dataspaces. (Q1874282) (← 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)
- Decidability and complexity of action-based temporal planning over dense time (Q2124463) (← links)
- Continuity controlled hybrid automata (Q2368692) (← links)
- Decidability of performance equivalence for basic parallel processes (Q2503324) (← links)
- Real time process algebra (Q2640341) (← links)
- Discrete time process algebra and the semantics of SDL (Q2760255) (← links)
- A real-time process algebra with open intervals and maximal progress (Q2765925) (← links)
- Parallel Processes with Real-Time and Data: The ATLANTIF Intermediate Format (Q3605462) (← links)
- (Q4215810) (← links)
- (Q4796539) (← links)
- Embedding Untimed into Timed Process Algebra; the Case for Explicit Termination (Q4917024) (← links)
- Discrete time process algebra with abstraction (Q5055876) (← links)
- Stochastic and Real Time in Process Algebra: A Conceptual Overview (Q5262956) (← links)
- Bisimulation on speed: Lower time bounds (Q5313721) (← links)
- Extending Timed Process Algebra with Discrete Stochastic Time (Q5505429) (← links)
- Variable binding operators in transition system specifications (Q5931555) (← links)
- Real time process algebra with time-dependent conditions (Q5946026) (← links)
- Discussion on: ``Formal specification method for systems automation'' (Q5971345) (← links)
