The following pages link to Giacoma Valentina Monreale (Q624387):
Displayed 12 items.
- A decentralised graphical implementation of mobile ambients (Q624388) (← links)
- Barbed Semantics for Open Reactive Systems (Q2848882) (← links)
- A Modular LTS for Open Reactive Systems (Q2915166) (← links)
- A General Theory of Barbs, Contexts, and Labels (Q2946747) (← links)
- Asynchronous Traces and Open Petri Nets (Q3460864) (← links)
- A Decentralized Implementation of Mobile Ambients (Q3540392) (← links)
- Reactive Systems, Barbed Semantics, and the Mobile Ambients (Q3617735) (← links)
- Saturated LTSs for Adhesive Rewriting Systems (Q4931308) (← links)
- (Q5150130) (← links)
- Labelled Transitions for Mobile Ambients (As Synthesized via a Graphical Encoding) (Q5170667) (← links)
- RPO semantics for mobile ambients (Q5740373) (← links)
- Concurrency cannot be observed, asynchronously (Q5740646) (← links)