BUSI, NADIA
BUSI, NADIA
DIP. DI SCIENZE DELL'INFORMAZIONE
An expressiveness study of priority in process calculi
2009 C. Versari; N. Busi; R. Gorrieri
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
On the expressive power of recursion, replication and iteration in process calculi
2009 N. Busi; M. Gabbrielli; G. Zavattaro
Structural non-interference in elementary and trace nets
2009 N. Busi; R. Gorrieri
A Process Algebraic View of Shared Dataspace Coordination
2008 N. Busi; G. Zavattaro
Linguaggi di Programmazione e Sistemi Software
2007 N. Busi; M. Gabbrielli; C. Laneve; G. Zavattaro
On the Expressive Power of Global and Local Priority in Process Calculi
2007 C. Versari; N. Busi; R. Gorrieri
Using Well-Structured Transition Systems to Decide Divergence for Catalytic P Systems
2007 N. Busi
A Case Study in (Mem)Brane Computation: Generating Squares of Natural Numbers
2006 N. Busi; M.A. Gutierrez-Naranjo
A Process Algebraic View of Coordination
2006 N. Busi; G. Zavattaro
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
Computing with Genetic Gates, Proteins, and Membranes
2006 N. Busi; C. Zandron
Deciding Behavioural Properties in Brane Calculi.
2006 N. Busi
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
SOCK : A Calculus for Service Oriented Computing
2006 C. Guidi; R. Lucchi; R. Gorrieri; N. Busi; G. Zavattaro
Some Notes on (Mem)Brane Computation
2006 N. Busi; M.A. Gutierrez-Naranjo
Two Universality Results for (Mem)Brane Systems
2006 D. Besozzi; N.Busi; G.Franco; R.Freund; G. Paun
| Titolo | Autore(i) | Anno | Periodico | Editore | Tipo | File |
|---|---|---|---|---|---|---|
| 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 | - |
| 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 | - |
| On the expressive power of recursion, replication and iteration in process calculi | N. Busi; M. Gabbrielli; G. Zavattaro | 2009-01-01 | MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE | - | 1.01 Articolo in rivista | - |
| Structural non-interference in elementary and trace nets | N. Busi; R. Gorrieri | 2009-01-01 | MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE | - | 1.01 Articolo in rivista | - |
| 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 | - |
| Linguaggi di Programmazione e Sistemi Software | N. Busi; M. Gabbrielli; C. Laneve; G. Zavattaro | 2007-01-01 | - | Zanichelli | 2.01 Capitolo / saggio in libro | - |
| On the Expressive Power of Global and Local Priority in Process Calculi | C. Versari; N. Busi; R. Gorrieri | 2007-01-01 | - | Springer-Verlag | 4.01 Contributo in Atti di convegno | - |
| Using Well-Structured Transition Systems to Decide Divergence for Catalytic P Systems | N. Busi | 2007-01-01 | THEORETICAL 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 | - |
| 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 | - |
| 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 | - |
| Computing with Genetic Gates, Proteins, and Membranes | N. Busi; C. Zandron | 2006-01-01 | - | - | 4.01 Contributo in Atti di convegno | - |
| Deciding Behavioural Properties in Brane Calculi. | N. Busi | 2006-01-01 | - | - | 4.01 Contributo in Atti di convegno | - |
| 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 | - |
| SOCK : A Calculus for Service Oriented Computing | C. Guidi; R. Lucchi; R. Gorrieri; N. Busi; G. Zavattaro | 2006-01-01 | - | Springer | 4.01 Contributo in Atti di convegno | - |
| Some Notes on (Mem)Brane Computation | N. Busi; M.A. Gutierrez-Naranjo | 2006-01-01 | - | - | 4.01 Contributo in Atti di convegno | - |
| Two Universality Results for (Mem)Brane Systems | D. Besozzi; N.Busi; G.Franco; R.Freund; G. Paun | 2006-01-01 | - | Fenix Editora | 4.01 Contributo in Atti di convegno | - |