MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named Nadia Busi – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

25 documents found, showing 1 through 10. Next 10 →

ATOM

Towards a causal semantics for Brane Calculi
by Nadia Busi — 2007 — What is it About Government that Americans Dislike
…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
by Nadia Busi, Gianluigi Zavattaro — 2001 — In Proceedings of the Workshop on Software Engineering and Mobility, co-located with the 23 rd International Conference on Software Engineering
…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
by Nadia Busi, Roberto Gorrieri — 2005 — Third Workshop on Computational Methods in Systems Biology
…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
by Nadia Busi, Roberto Gorrieri — 1995 — In Proc. CONCUR'95, volume 962 of LNCS
…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
by Nadia Busi, Gianluigi Zavattaro — 2000
… 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
by Nadia Busi, Luca Padovani — 2005 — In: Proceedings of the 7th IFIP International Conference on Formal Methods for Open ObjectBased Distributed Systems (FMOODS 2005). Volume 3535 of LNCS
…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
by Nadia Busi, Roberto Gorrieri, Gianluigi Zavattaro — 2000 — In Proc. of AMAST, LNCS 1816
…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
by Marco Bernardo, Nadia Busi, Roberto Gorrieri — 1995 — Special Issue: Proc. of 3rd Process Algebra and Performance Modelling Workshop
… 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
by Nadia Busi, Roberto Gorrieri, Piazza Porta, S. Donato — 1994 — In ECOOP Workshop. Lecture Notes in Computer Science
…Distributed Conflicts in Communicating Systems Nadia Busi Roberto Gorrieri Technical Report UBLCS…
Cited by 4 (2 self) – Add To MetaCart

Axiomatising ST-Bisimulation Equivalence
by Nadia Busi, Rob Glabbeek, Roberto Gorrieri — 1994 — in Proc. of the IFIP Working Conf. on Programming Concepts, Methods and Calculi (PROCOMET '94
…Axiomatising ST-Bisimulation Equivalence Nadia Busi Rob van Glabbeek Roberto Gorrieri Technical…
Cited by 13 (7 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB