MONTANARI, UGO GIOVANNI ERASMO Statistiche

MONTANARI, UGO GIOVANNI ERASMO  

DIPARTIMENTO DI INFORMATICA  

Mostra records
Risultati 1 - 20 di 217 (tempo di esecuzione: 0.018 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 coalgebraic approach to unification semantics of logic programming 1-gen-2019 Bruni, R.; Montanari, U.; Mossa, G.
A coalgebraic semantics for causality in Petri nets 1-gen-2015 Bruni, Roberto; Montanari, UGO GIOVANNI ERASMO; Sammartino, Matteo
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 C/E systems 1-gen-1988 Degano, Pierpaolo; De Nicola, R; 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 fexilble environment for program development based on symbolic interpreter 1-gen-1979 Asirelli, P; Degano, Pierpaolo; Levi, Giorgio; Martelli, A; Montanari, UGO GIOVANNI ERASMO; Pacini, G; Sirovich, F; Turini, Franco
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 normal form for stateful connectors 1-gen-2015 Bruni, Roberto; Melgratti, Hernan; 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.