Nadia Busi's publications

DOI10.1017/S096012950999020XMaRDI QIDQ3655765zbMATH OpenFDO

Authors Gianluigi Zavattaro

Publication date 12 January 2010

Published in Mathematical Structures in Computer Science (Search for Journal in Brave)

Mathematics Subject Classification ID

Biographies, obituaries, personalia, bibliographies (01A70)

Cites work

• A process algebraic view of Linda coordination primitives
• A process algebraic view of shared dataspace coordination
• Analysis issues in Petri nets with inhibitor arcs
• Comparing three semantics for Linda-like languages
• Computational expressiveness of genetic systems
• Distributed semantics for the \(\pi \)-calculus based on Petri nets with inhibitor ARCS
• Domain and event structure semantics for Petri nets with read and inhibitor arcs
• Expired data collection in shared dataspaces.
• Integrating TwoTowers and GreatSPN through a compact net semantics
• On the expressive power of movement and restriction in pure mobile ambients
• On the expressiveness of Linda coordination primitives.
• Stochastic biological modelling in the presence of multiple compartments
• Using well-structured transition systems to decide divergence for catalytic P systems

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)