Pages that link to "Item:Q4282003"
From MaRDI portal
The following pages link to Specification and Proof in Real Time CSP (Q4282003):
Displaying 24 items.
- Specifying termination in CSP (Q407510) (← links)
- Parameter synthesis for hierarchical concurrent real-time systems (Q488231) (← links)
- A brief history of Timed CSP (Q674191) (← links)
- Timewise refinement for communicating processes (Q676846) (← links)
- Modeling and verification of real-time systems based on equations (Q882458) (← links)
- A process algebraic framework for specification and validation of real-time systems (Q968306) (← links)
- A CSP model with flexible parallel termination semantics (Q1037248) (← links)
- A timed model for communicating sequential processes (Q1109561) (← links)
- Recursion induction for real-time processes (Q1329195) (← links)
- Extending Hoare logic to real-time (Q1346769) (← links)
- A complete axiomatization of finite-state ACSR processes (Q1376418) (← links)
- Design and verification of distributed recovery blocks with CSP (Q1870210) (← links)
- A theory of Orwellian specifications with NewThink (Q1906042) (← links)
- Sound reasoning in \textit{tock}-CSP (Q2120813) (← links)
- A refinement-based process algebra for timed automata (Q2576580) (← links)
- Timing in the cospan-span model (Q2847779) (← links)
- A Proof-Based Method for Modelling Timed Systems (Q3455067) (← links)
- A technique for specifying and refining TCSP processes by using guards and liveness conditions (Q5044746) (← links)
- Communicating Sequential Processes. The First 25 Years (Q5709377) (← links)
- Testing using CSP Models: Time, Inputs, and Outputs (Q5886524) (← links)
- A hierarchy of domains for real-time distributed computing (Q5887512) (← links)
- Factorizing proofs in timed CSP (Q5887513) (← links)
- Timewise refinement for communicating processes (Q5890047) (← links)
- Philosophers May Dine - Definitively! (Q6487937) (← links)
