Sfoglia per Autore
Comparing Recursion, Replication, and Iteration in Process Calculi
2004 N. BUSI; GABBRIELLI M.; G. ZAVATTARO
Positive Non–Interference in Elementary and Trace Nets
2004 BUSI N.; 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
A Survey on Non-Interference with Petri Nets
2004 BUSI N.; R. GORRIERI
On the Expressive Power of Movement and Restriction in Pure Mobile Ambients
2004 BUSI N.; G. ZAVATTARO
Data-Driven Coordination in Peer-to-Peer Information System
2004 BUSI N.; MONTRESOR A. ; ZAVATTARO G.
Towards a formal framework for Choreography
2005 N. Busi; R. Gorrieri; C. Guidi; R. Lucchi; G. Zavattaro;
A Distributed Implementation of Mobile Nets as Mobile Agents
2005 N. Busi; L. Padovani
Security Issues in the Tuple-Space Coordination Model
2005 M.Bravetti; N. Busi; R. Gorrieri; R. Lucchi; G. Zavattaro
Prioritized and Parallel Reactions in Shared Data Spaces in Coordination Languages
2005 BUSI N.; G. ZAVATTARO
Deciding Reachability in Mobile Ambients
2005 BUSI N.; G. ZAVATTARO
On the Computational Power of the Mate/Bud/Drip Brane Calculus: Interleaving vs. Maximal Parallelism
2005 N. Busi
Reachability Analysis in Boxed Ambients
2005 N. Busi; G. Zavattaro
Choreography and Orchestration: A Synergic Approach for System Design
2005 N. Busi; R. Gorrieri; C. Guidi; R. Lucchi; G. Zavattaro
Characterizing Workflow Nets Using Regions
2006 N. Busi; G.M. Pinna
Computing with Genetic Gates, Proteins, and Membranes
2006 N. Busi; C. Zandron
A Case Study in (Mem)Brane Computation: Generating Squares of Natural Numbers
2006 N. Busi; M.A. Gutierrez-Naranjo
Some Notes on (Mem)Brane Computation
2006 N. Busi; M.A. Gutierrez-Naranjo
Deciding Behavioural Properties in Brane Calculi.
2006 N. Busi
On the Computational Power of Brane Calculi
2006 N. Busi; R. Gorrieri
| Titolo | Autore(i) | Anno | Periodico | Editore | Tipo | File |
|---|---|---|---|---|---|---|
| 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 | - |
| Positive Non–Interference in Elementary and Trace Nets | BUSI N.; R. GORRIERI | 2004-01-01 | - | Springer | 2.01 Capitolo / saggio in libro | - |
| 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 | - |
| A Survey on Non-Interference with Petri Nets | BUSI N.; R. GORRIERI | 2004-01-01 | - | Springer | 2.01 Capitolo / saggio in libro | - |
| On the Expressive Power of Movement and Restriction in Pure Mobile Ambients | BUSI N.; G. ZAVATTARO | 2004-01-01 | THEORETICAL COMPUTER SCIENCE | - | 1.01 Articolo in rivista | - |
| 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 | - |
| Towards a formal framework for Choreography | N. Busi; R. Gorrieri; C. Guidi; R. Lucchi; G. Zavattaro; | 2005-01-01 | - | s.n | 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 | - |
| Security Issues in the Tuple-Space Coordination Model | M.Bravetti; N. Busi; R. Gorrieri; R. Lucchi; G. Zavattaro | 2005-01-01 | - | Springer | 4.01 Contributo in Atti di convegno | - |
| Prioritized and Parallel Reactions in Shared Data Spaces in Coordination Languages | BUSI N.; G. ZAVATTARO | 2005-01-01 | - | Springer | 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 | - |
| 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 | - |
| Reachability Analysis in Boxed Ambients | N. Busi; G. Zavattaro | 2005-01-01 | - | Springer | 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 | - |
| Characterizing Workflow Nets Using Regions | N. Busi; G.M. Pinna | 2006-01-01 | - | IEEE Computer Society | 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 | - |
| 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 | - |
| Some Notes on (Mem)Brane Computation | N. Busi; M.A. Gutierrez-Naranjo | 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 | - |
| On the Computational Power of Brane Calculi | N. Busi; R. Gorrieri | 2006-01-01 | - | Springer | 2.01 Capitolo / saggio in libro | - |
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile