Searching for authors named Nadia Busi – sorted by Relevance.
-
Towards a causal semantics for Brane Calculi
- Towards a Causal Semantics for Brane Calculi Nadia Busi Dipartimento di Scienze dell
- Cited by 2 (1 self) – Add To MetaCart
-
Some Thoughts on Transiently Shared Dataspaces
- Some Thoughts on Transiently Shared Dataspaces Nadia Busi Department of Computer Science
- Cited by 5 (1 self) – Add To MetaCart
-
On the computational power of brane calculi
- On the computational power of Brane Calculi ⋆ Nadia Busi and Roberto Gorrieri Dipartimento di
- Cited by 3 (0 self) – Add To MetaCart
-
A Petri Net Semantics for pi-Calculus
- A Petri Net Semantics for ��-Calculus ? Nadia Busi 1 and Roberto Gorrieri 2 1 Dipartimento di
- Cited by 6 (0 self) – Add To MetaCart
-
Event Notification in Data-driven Coordination Languages: Comparing the Ordered and Unordered Interpretations
- Interpretations Nadia Busi and Gianluigi Zavattaro Dipartimento di Scienze dell'Informazione, Universita di
- Cited by 6 (2 self) – Add To MetaCart
-
L.: A distributed implementation of mobile nets as mobile agents
- A Distributed Implementation of Mobile Nets as Mobile Agents Nadia Busi and Luca Padovani
- Cited by 1 (0 self) – Add To MetaCart
-
Process Calculi for Coordination: from Linda to JavaSpaces
- Process Calculi for Coordination: from Linda to JavaSpaces ? Nadia Busi, Roberto Gorrieri
- Cited by 11 (1 self) – Add To MetaCart
-
A distributed semantics for EMPA based on stochastic contextual nets
- Bernardo 1 , Nadia Busi 2 , Roberto Gorrieri 1 1 Università di Bologna, Dipartimento di Scienze dell
- Cited by 7 (2 self) – Add To MetaCart
-
Distributed Conflicts in Communicating Systems
- Distributed Conflicts in Communicating Systems Nadia Busi Roberto Gorrieri Technical Report UBLCS
- Cited by 4 (2 self) – Add To MetaCart
-
Axiomatising ST-Bisimulation Equivalence
- Axiomatising ST-Bisimulation Equivalence Nadia Busi Rob van Glabbeek Roberto Gorrieri Technical
- Cited by 13 (7 self) – Add To MetaCart

