MONTANARI, UGO GIOVANNI ERASMO Statistiche

MONTANARI, UGO GIOVANNI ERASMO  

DIPARTIMENTO DI INFORMATICA  

Mostra records
Risultati 1 - 20 di 217 (tempo di esecuzione: 0.045 secondi).
Titolo Data di pubblicazione Autore(i) File
A basic algebra of stateless connectors 1-gen-2006 Bruni, Roberto; Lanese, I; Montanari, UGO GIOVANNI ERASMO
A Comparison of Petri Net Semantics under the Collective Token Philosophy 1-gen-1998 Bruni, Roberto; Meseguer, J; Montanari, UGO GIOVANNI ERASMO; Sassone, V.
A compositional coalgebraic model of fusion calculus 1-gen-2007 Buscemi, Mg; Montanari, UGO GIOVANNI ERASMO
A concurrent graph semantics for Mobile Ambients 1-gen-2001 Gadducci, Fabio; Montanari, UGO GIOVANNI ERASMO
A Connector Algebra for P/T Nets Interactions 1-gen-2011 Bruni, Roberto; Melgratti, H; Montanari, UGO GIOVANNI ERASMO
A DISTRIBUTED OPERATIONAL SEMANTICS FOR CCS BASED ON CONDITION EVENT SYSTEMS 1-gen-1988 Degano, Pierpaolo; Denicola, R; Montanari, UGO GIOVANNI ERASMO
A First Order Coalgebraic Model of Pi-Calculus Early Observational Equivalence 1-gen-2002 Buscemi, M.; Montanari, UGO GIOVANNI ERASMO
A formal support to business and architectural design for service-oriented systems 1-gen-2011 Bruni, Roberto; Foster, H; LLUCH LAFUENTE, A; Montanari, UGO GIOVANNI ERASMO; Tuosto, E.
A Game-Theoretic Analysis of Grid Job Scheduling 1-gen-2012 Buscemi, Mg; Montanari, UGO GIOVANNI ERASMO; Taneja, S.
A GREY-WEIGHTED SKELETON 1-gen-1970 Levi, Giorgio; Montanari, UGO GIOVANNI ERASMO
A model of distributed systems based on graph rewriting 1-gen-1987 Degano, Pierpaolo; Montanari, UGO GIOVANNI ERASMO
A model-checking verification environment for mobile processes 1-gen-2003 Ferrari, GIAN-LUIGI; Gnesi, S.; Montanari, UGO GIOVANNI ERASMO; Pistore, M.
A modular LTS for open reactive systems 1-gen-2012 Gadducci, Fabio; Monreale, Giacoma; Montanari, UGO GIOVANNI ERASMO
A partial ordering semantics for CCS 1-gen-1990 Degano, Pierpaolo; De Nicola, R; Montanari, UGO GIOVANNI ERASMO
A Pi-Calculus with Explicit Substitutions 1-gen-1996 Ferrari, GIAN-LUIGI; Montanari, UGO GIOVANNI ERASMO; Quaglia, P.
A service-oriented UML profile with formal support 1-gen-2009 Bruni, Roberto; Hoelzl, M; Koch, N; LLUCH LAFUENTE, A; Mayer, P; Montanari, UGO GIOVANNI ERASMO; Schroeder, A; Wirsing, M.
A Survey of Constraint-based Programming Paradigms 1-gen-2008 BUSCEMI M., G; Montanari, UGO GIOVANNI ERASMO
A2CCS - ATOMIC ACTIONS FOR CCS 1-gen-1990 Gorrieri, R; Marchetti, S; Montanari, UGO GIOVANNI ERASMO
About permutation algebras, (pre)sheaves and named sets 1-gen-2006 Gadducci, Fabio; Miculan, M.; Montanari, UGO GIOVANNI ERASMO
Abstract Graph Derivations in the Double Pushout Approach 1-gen-1994 Corradini, Andrea; Ehrig, H; Loewe, M; Montanari, UGO GIOVANNI ERASMO; Rossi, F.