Pages that link to "Item:Q1190494"
From MaRDI portal
The following pages link to Observational structures and their logic (Q1190494):
Displayed 4 items.
- \(\pi\)-calculus, internal mobility, and agent-passing calculi (Q671684) (← links)
- Proof systems for structured specifications with observability operators (Q1391730) (← links)
- Specification of abstract dynamic-data types: A temporal logic approach (Q1391733) (← links)
- Swinging types=functions+relations+transition systems (Q1575635) (← links)