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 5 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)
- Comprehension categories and the semantics of type dependency (Q1208414) (← links)
- Compositional minimisation of finite state systems using interface specifications (Q1816922) (← links)
