Pages that link to "Item:Q1109561"
From MaRDI portal
The following pages link to A timed model for communicating sequential processes (Q1109561):
Displaying 35 items.
- Timed process calculi with deterministic or stochastic delays: commuting between durational and durationless actions (Q288785) (← links)
- Specifying termination in CSP (Q407510) (← links)
- SAT-based verification for timed component connectors (Q433331) (← links)
- A translation of \(\text{TPAL}_{p}\) into a class of timed-probabilistic Petri nets (Q557805) (← links)
- Duplication of constants in process algebra (Q864505) (← links)
- CPO semantics of timed interactive actor networks (Q959824) (← links)
- A process algebraic framework for specification and validation of real-time systems (Q968306) (← links)
- Testing from a stochastic timed system with a fault model (Q1001893) (← links)
- A tutorial on EMPA: A theory of concurrent processes with nondeterminism, priorities, probabilities and time (Q1128976) (← links)
- The timed failures -- Stability model for CSP (Q1274446) (← links)
- On performance congruences for process algebras (Q1275822) (← links)
- Denotational models for programming languages: Applications of Banach's fixed point theorem (Q1295293) (← links)
- Real space process algebra (Q1329194) (← links)
- Bisimulation indexes and their applications (Q1606119) (← links)
- The cones and foci proof technique for timed transition systems (Q1607115) (← links)
- A brief history of process algebra (Q1781995) (← links)
- Action transducers and timed automata (Q1816917) (← links)
- Absolute versus relative time in process algebras. (Q1854325) (← 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)
- Checking noninterference in timed CSP (Q1941887) (← links)
- A process calculus BigrTiMo of mobile systems and its formal semantics (Q2026376) (← links)
- Sound reasoning in \textit{tock}-CSP (Q2120813) (← links)
- Translating between models of concurrency (Q2182666) (← links)
- Laws of mission-based programming (Q2355382) (← links)
- Specification, testing and implementation relations for symbolic-probabilistic systems (Q2368993) (← links)
- Safety-critical Java programs from \textsf{Circus} models (Q2443940) (← links)
- Real time process algebra (Q2640341) (← links)
- Reactive bisimulation semantics for a process algebra with timeouts (Q2687033) (← links)
- Simulink Timed Models for Program Verification (Q2842628) (← links)
- Process Algebra and Model Checking (Q3176390) (← links)
- Parallel Processes with Real-Time and Data: The ATLANTIF Intermediate Format (Q3605462) (← links)
- (Q5089269) (← links)
- A hierarchy of domains for real-time distributed computing (Q5887512) (← links)
- Factorizing proofs in timed CSP (Q5887513) (← links)
