Pages that link to "Item:Q2640340"
From MaRDI portal
The following pages link to A compositional proof system on a category of labelled transition systems (Q2640340):
Displaying 9 items.
- A formal verification technique for behavioural model-to-model transformations (Q682361) (← links)
- A characterization of set representable labeled partial 2-structures through decompositions (Q1173685) (← links)
- An algebraic semantics for structured transition systems and its application to logic programs (Q1199528) (← links)
- Foundations of a theory of synchronous systems (Q1199824) (← links)
- Comprehension categories and the semantics of type dependency (Q1208414) (← links)
- Compositional minimisation of finite state systems using interface specifications (Q1816922) (← links)
- Components of the fundamental category. II (Q2463396) (← links)
- Sheaf semantics for concurrent interacting objects (Q4017459) (← links)
- A coalgebraic presentation of structured transition systems (Q5941158) (← links)
