The following pages link to (Q3700806):
Displaying 16 items.
- The expressive power of implicit specifications (Q685409) (← links)
- A weakest precondition semantics for communicating processes (Q789174) (← links)
- On the suitability of trace semantics for modular proofs of communicating processes (Q1060004) (← links)
- Specification-oriented semantics for communicating processes (Q1060838) (← links)
- Infinite streams and finite observations in the semantics of uniform concurrency (Q1091800) (← links)
- A timed model for communicating sequential processes (Q1109561) (← links)
- A state-based approach to communicating processes (Q1112600) (← links)
- Synthesis of communicating process skeletons from temporal-spatial logic specifications (Q1116944) (← links)
- An application of temporal projection to interleaving concurrency (Q2403529) (← links)
- A compositional proof system on a category of labelled transition systems (Q2640340) (← links)
- Observed Communication Semantics for Classical Processes (Q2988633) (← links)
- Ernst-Rüdiger Olderog: A Life for Meaning (Q3449620) (← links)
- (Q4436957) (← links)
- (Q4494254) (← links)
- Separation Logic Semantics for Communicating Processes (Q5415605) (← links)
- (Q5457648) (← links)