The following pages link to (Q4791852):
Displaying 12 items.
- Extensional Petri net (Q667521) (← links)
- Compositional SOS and beyond: A coalgebraic view of open systems (Q1603820) (← links)
- Distributed synthesis of asynchronously communicating distributed process models (Q2163771) (← links)
- Operational semantics for Petri net components (Q2373704) (← links)
- Barbed Semantics for Open Reactive Systems (Q2848882) (← links)
- A Modular LTS for Open Reactive Systems (Q2915166) (← links)
- (Q4216507) (← links)
- GETGRATS (Q4923529) (← links)
- Towards a Formal Framework for Inter-Enterprise Application Integration (Q4923536) (← links)
- A Programming Language for Spatial Distribution of Net Systems (Q5166761) (← links)
- (Q5422275) (← links)
- A categorical semantics for hierarchical Petri nets (Q6649536) (← links)