Nadia Busi's publications
From MaRDI portal
Publication:3655765
DOI10.1017/S096012950999020XzbMATH Open1178.01067MaRDI QIDQ3655765FDOQ3655765
Authors: Gianluigi Zavattaro 
Publication date: 12 January 2010
Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)
Cites Work
- Domain and event structure semantics for Petri nets with read and inhibitor arcs
- Stochastic biological modelling in the presence of multiple compartments
- Using well-structured transition systems to decide divergence for catalytic P systems
- Analysis issues in Petri nets with inhibitor arcs
- On the expressiveness of Linda coordination primitives.
- A process algebraic view of Linda coordination primitives
- Computational expressiveness of genetic systems
- On the expressive power of movement and restriction in pure mobile ambients
- Distributed semantics for the \(\pi \)-calculus based on Petri nets with inhibitor ARCS
- Comparing three semantics for Linda-like languages
- Expired data collection in shared dataspaces.
- A process algebraic view of shared dataspace coordination
- Integrating TwoTowers and GreatSPN through a compact net semantics
This page was built for publication: Nadia Busi's publications
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3655765)
