Pages that link to "Item:Q676846"
From MaRDI portal
The following pages link to Timewise refinement for communicating processes (Q676846):
Displaying 13 items.
- Specification of communicating processes: temporal logic versus refusals-based refinement (Q931435) (← links)
- Fully abstract models and refinements as tools to compare agents in timed coordination languages (Q1004066) (← links)
- A theory of implementation and refinement in timed Petri nets (Q1128980) (← links)
- Translating between models of concurrency (Q2182666) (← links)
- Modelling temporal behaviour in complex systems with Timebands (Q2248089) (← links)
- A refinement-based process algebra for timed automata (Q2576580) (← links)
- On verification of refinements of timed distributed algorithms (Q2753701) (← links)
- Efficient Timing of Communication in Multiperiod Agencies (Q3114676) (← links)
- (Q3123380) (← links)
- A technique for specifying and refining TCSP processes by using guards and liveness conditions (Q5044746) (← 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)