Pages that link to "Item:Q5170748"
From MaRDI portal
The following pages link to Assembly Theories for Communication-Safe Component Systems (Q5170748):
Displaying 4 items.
- Compositionality of safe communication in systems of team automata (Q2037944) (← links)
- Moving from interface theories to assembly theories (Q2340257) (← links)
- Modal Interface Theories for Communication-Safe Component Assemblies (Q3105749) (← links)
- Compositional Specification in Rewriting Logic (Q5108529) (← links)