The following pages link to (Q3395944):
Displaying 8 items.
- Encoding bigraphical reactive systems into graph transformation systems (Q511000) (← links)
- Executing bigraphical reactive systems (Q1634767) (← links)
- A tale of two graph models: a case study in wireless sensor networks (Q2065559) (← links)
- Category localization semantics for specification refinements (Q2385430) (← links)
- Pure bigraphs: structure and dynamics (Q2490119) (← links)
- Bigraphs and their algebra (Q2870188) (← links)
- (Q4665723) (← links)
- Conditional Bigraphs (Q5100722) (← links)