Nadia Busi's publications (Q3655765)

From MaRDI portal

Jump to:navigation, search

scientific article

Language	Label	Description	Also known as
English	Nadia Busi's publications	scientific article

Statements

scholarly article

0 references

Nadia Busi's publications (English)

0 references

Gianluigi Zavattaro

0 references

Mathematical Structures in Computer Science

0 references

publication date

12 January 2010

0 references

MaRDI profile type

MaRDI publication profile

0 references

A process algebraic view of Linda coordination primitives

0 references

On the expressive power of movement and restriction in pure mobile ambients

0 references

On the expressiveness of Linda coordination primitives.

0 references

Comparing three semantics for Linda-like languages

0 references

Domain and event structure semantics for Petri nets with read and inhibitor arcs

0 references

Integrating TwoTowers and GreatSPN through a compact net semantics

0 references

Analysis issues in Petri nets with inhibitor arcs

0 references

Using well-structured transition systems to decide divergence for catalytic P systems

0 references

Expired data collection in shared dataspaces.

0 references

A process algebraic view of shared dataspace coordination

0 references

Stochastic biological modelling in the presence of multiple compartments

0 references

Computational expressiveness of genetic systems

0 references

Distributed semantics for the \(\pi \)-calculus based on Petri nets with inhibitor ARCS

0 references

Identifiers

zbMATH Open document ID

0 references

10.1017/S096012950999020X

0 references

Mathematics Subject Classification ID

0 references

zbMATH DE Number

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:3655765

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q3655765&oldid=35146940"