BUSI, NADIA

BUSI, NADIA  

DIP. DI SCIENZE DELL'INFORMAZIONE  

Mostra records
Risultati 1 - 20 di 34 (tempo di esecuzione: 0.04 secondi).
Titolo Autore(i) Anno Periodico Editore Tipo File
A Process Algebraic View of Coordination N. Busi; G. Zavattaro 2006-01-01 ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE - 4.01 Contributo in Atti di convegno -
A Process Algebraic View of Shared Dataspace Coordination N. Busi; G. Zavattaro 2008-01-01 JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING - 1.01 Articolo in rivista -
An expressiveness study of priority in process calculi C. Versari; N. Busi; R. Gorrieri 2009-01-01 MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE - 1.01 Articolo in rivista -
A Case Study in (Mem)Brane Computation: Generating Squares of Natural Numbers N. Busi; M.A. Gutierrez-Naranjo 2006-01-01 - Springer 4.01 Contributo in Atti di convegno -
Characterizing Workflow Nets Using Regions N. Busi; G.M. Pinna 2006-01-01 - IEEE Computer Society 4.01 Contributo in Atti di convegno -
Choreography and Orchestration Conformance for System Design N. Busi; R. Gorrieri; C. Guidi; R. Lucchi; G. Zavattaro 2006-01-01 - Springer-Verlag 4.01 Contributo in Atti di convegno -
Choreography and Orchestration: A Synergic Approach for System Design N. Busi; R. Gorrieri; C. Guidi; R. Lucchi; G. Zavattaro 2005-01-01 - Springer 4.01 Contributo in Atti di convegno -
Comparing Recursion, Replication, and Iteration in Process Calculi N. BUSI; GABBRIELLI M.; G. ZAVATTARO 2004-01-01 - Springer-Verlag 4.01 Contributo in Atti di convegno -
Computing with Genetic Gates, Proteins, and Membranes N. Busi; C. Zandron 2006-01-01 - - 4.01 Contributo in Atti di convegno -
Data-Driven Coordination in Peer-to-Peer Information System BUSI N.; MONTRESOR A. ; ZAVATTARO G. 2004-01-01 INTERNATIONAL JOURNAL OF COOPERATIVE INFORMATION SYSTEMS - 1.01 Articolo in rivista -
Deciding Behavioural Properties in Brane Calculi. N. Busi 2006-01-01 - - 4.01 Contributo in Atti di convegno -
Deciding Reachability in Mobile Ambients BUSI N.; G. ZAVATTARO 2005-01-01 - - 4.01 Contributo in Atti di convegno -
Deciding reachability problems in Turing-complete fragments of Mobile Ambients N. Busi; G. Zavattaro 2009-01-01 MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE - 1.01 Articolo in rivista -
A Distributed Implementation of Mobile Nets as Mobile Agents N. Busi; L. Padovani 2005-01-01 - Springer 4.01 Contributo in Atti di convegno -
Distributed semantics for the π-calculus based on Petri nets with inhibitor arcs N. Busi; R. Gorrieri 2009-01-01 JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING - 1.01 Articolo in rivista -
Domain and Event Structure Semantics for Petri Nets with Read and Inhibitor Arcs PAOLO BALDAN; BUSI N.; ANDREA CORRADINI; G.MICHELE PINNA 2004-01-01 THEORETICAL COMPUTER SCIENCE - 1.01 Articolo in rivista -
Linguaggi di Programmazione e Sistemi Software N. Busi; M. Gabbrielli; C. Laneve; G. Zavattaro 2007-01-01 - Zanichelli 2.01 Capitolo / saggio in libro -
Modeling and analysis of biological processes by mem(brane) calculi and systems N. Busi; C. Zandron 2006-01-01 - ACMProceedings of the Winter Simulation Conference 4.01 Contributo in Atti di convegno -
On the Computational Power of Brane Calculi N. Busi; R. Gorrieri 2006-01-01 - Springer 2.01 Capitolo / saggio in libro -
On the Computational Power of the Mate/Bud/Drip Brane Calculus: Interleaving vs. Maximal Parallelism N. Busi 2005-01-01 - - 4.01 Contributo in Atti di convegno -