Pages that link to "Item:Q685358"
From MaRDI portal
The following pages link to Graphical versus logical specifications (Q685358):
Displayed 4 items.
- Conjunction on processes: Full abstraction via ready-tree semantics (Q875513) (← links)
- Specification of communicating processes: temporal logic versus refusals-based refinement (Q931435) (← links)
- Compositional verification of sequential programs with procedures (Q937300) (← links)
- Reasoning about nondeterministic and concurrent actions: A process algebra approach (Q1277769) (← links)