BUSI, NADIA
BUSI, NADIA
DIP. DI SCIENZE DELL'INFORMAZIONE
A Case Study in (Mem)Brane Computation: Generating Squares of Natural Numbers
2006 N. Busi; M.A. Gutierrez-Naranjo
A Distributed Implementation of Mobile Nets as Mobile Agents
2005 N. Busi; L. Padovani
A Process Algebraic View of Coordination
2006 N. Busi; G. Zavattaro
A Process Algebraic View of Shared Dataspace Coordination
2008 N. Busi; G. Zavattaro
A Survey on Non-Interference with Petri Nets
2004 BUSI N.; R. GORRIERI
An expressiveness study of priority in process calculi
2009 C. Versari; N. Busi; R. Gorrieri
Characterizing Workflow Nets Using Regions
2006 N. Busi; G.M. Pinna
Choreography and Orchestration Conformance for System Design
2006 N. Busi; R. Gorrieri; C. Guidi; R. Lucchi; G. Zavattaro
Choreography and Orchestration: A Synergic Approach for System Design
2005 N. Busi; R. Gorrieri; C. Guidi; R. Lucchi; G. Zavattaro
Comparing Recursion, Replication, and Iteration in Process Calculi
2004 N. BUSI; GABBRIELLI M.; G. ZAVATTARO
Computing with Genetic Gates, Proteins, and Membranes
2006 N. Busi; C. Zandron
Data-Driven Coordination in Peer-to-Peer Information System
2004 BUSI N.; MONTRESOR A. ; ZAVATTARO G.
Deciding Behavioural Properties in Brane Calculi.
2006 N. Busi
Deciding Reachability in Mobile Ambients
2005 BUSI N.; G. ZAVATTARO
Deciding reachability problems in Turing-complete fragments of Mobile Ambients
2009 N. Busi; G. Zavattaro
Distributed semantics for the π-calculus based on Petri nets with inhibitor arcs
2009 N. Busi; R. Gorrieri
Domain and Event Structure Semantics for Petri Nets with Read and Inhibitor Arcs
2004 PAOLO BALDAN; BUSI N.; ANDREA CORRADINI; G.MICHELE PINNA
Linguaggi di Programmazione e Sistemi Software
2007 N. Busi; M. Gabbrielli; C. Laneve; G. Zavattaro
Modeling and analysis of biological processes by mem(brane) calculi and systems
2006 N. Busi; C. Zandron
On the Computational Power of Brane Calculi
2006 N. Busi; R. Gorrieri
Titolo | Autore(i) | Anno | Periodico | Editore | Tipo | File |
---|---|---|---|---|---|---|
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 | - |
A Distributed Implementation of Mobile Nets as Mobile Agents | N. Busi; L. Padovani | 2005-01-01 | - | Springer | 4.01 Contributo in Atti di convegno | - |
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 | - |
A Survey on Non-Interference with Petri Nets | BUSI N.; R. GORRIERI | 2004-01-01 | - | Springer | 2.01 Capitolo / saggio in libro | - |
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 | - |
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 | - |
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 | - |