Pages that link to "Item:Q1190494"
From MaRDI portal
The following pages link to Observational structures and their logic (Q1190494):
Displaying 9 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)
- Observational Effort and Formally Open Mappings (Q3638284) (← links)
- Fundamental Approaches to Software Engineering (Q5316436) (← links)
- Logics and Their Galaxies (Q5350335) (← links)
- Observational interpretation of Casl specifications (Q5458070) (← links)
- Topological models for higher order control flow (Q5890044) (← links)