BUSI, NADIA

BUSI, NADIA  

DIP. DI SCIENZE DELL'INFORMAZIONE  

Mostra records
Risultati 1 - 20 di 34 (tempo di esecuzione: 0.05 secondi).
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 -