Pages that link to "Item:Q1323346"
From MaRDI portal
The following pages link to The connection between an event structure semantics and an operational semantics for TCSP (Q1323346):
Displaying 10 items.
- Transition systems from event structures revisited (Q293333) (← links)
- Towards the hierarchical verification of reactive systems (Q596025) (← links)
- Denotational semantics in the cpo and metric approach (Q1346621) (← links)
- CSP-CASL -- a new integration of process algebra and algebraic specification (Q2368940) (← links)
- Event structure semantics for multiparty sessions (Q2683035) (← links)
- (Q2844828) (← links)
- Metric semantics for true concurrent real time (Q5940931) (← links)
- Underspecification for a simple process algebra of recursive processes. (Q5958781) (← links)
- Comparative Transition System Semantics for Cause-Respecting Reversible Prime Event Structures (Q6204129) (← links)
- Global types and event structure semantics for asynchronous multiparty sessions (Q6614546) (← links)
