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