Pages that link to "Item:Q1127818"
From MaRDI portal
The following pages link to Denotational semantics of object specification (Q1127818):
Displaying 5 items.
- Categorical foundations for randomly timed automata (Q1884891) (← links)
- A specification formalism for interacting objects (Q2718776) (← links)
- Difunctorial semantics of object calculus (Q2848697) (← links)
- Programming Denotational Semantics II (Q3687684) (← links)
- Object Specification Logic (Q4849647) (← links)