CINECA IRIS Institutional Research Information System

Sfoglia per Autore  

Opzioni
Mostra risultati da 1 a 30 di 166
Titolo Data di pubblicazione Autore(i) File
Zero-Safe Nets, or Transition Synchronization Made Simple 1-gen-1997 Bruni, Roberto; Montanari, UGO GIOVANNI ERASMO
Implementing Tile Systems: Some Examples from Process Calculi 1-gen-1998 Bruni, Roberto; Meseguer, J; Montanari, UGO GIOVANNI ERASMO
Zero-safe nets: The individual token approach 1-gen-1998 Bruni, Roberto; 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 logic for modular descriptions of asynchronous and synchronized concurrent systems 1-gen-1998 Bruni, Roberto
Internal Strategies in a Rewriting Implementation of Tile Systems 1-gen-1998 Bruni, Roberto; Meseguer, J; Montanari, UGO GIOVANNI ERASMO
Normal forms for partitions and relations 1-gen-1998 Bruni, Roberto; Gadducci, Fabio; Montanari, UGO GIOVANNI ERASMO
Executable Tile Specifications for Process Calculi 1-gen-1999 Bruni, Roberto; Meseguer, J; Montanari, UGO GIOVANNI ERASMO
Tile Logic for Synchronized Rewriting of Concurrent Systems 1-gen-1999 Bruni, Roberto
Zero-Safe Nets: Composing Nets via Transition Synchronization 1-gen-1999 Bruni, Roberto; Montanari, UGO GIOVANNI ERASMO
Functorial Semantics for Petri Nets under the Individual Token Philosophy 1-gen-1999 Bruni, Roberto; Meseguer, J; Montanari, UGO GIOVANNI ERASMO; Sassone, V.
Cartesian Closed Double Categories, Their Lambda-Notation, and the Pi-Calculus 1-gen-1999 Bruni, Roberto; Montanari, UGO GIOVANNI ERASMO
Executing Transactions in Zero-Safe Nets 1-gen-2000 Bruni, Roberto; Montanari, UGO GIOVANNI ERASMO
Algebraic Models for Contextual Nets 1-gen-2000 Bruni, Roberto; Sassone, V.
Open Ended Systems, Dynamic Bisimulation and Tile Logic 1-gen-2000 Bruni, Roberto; Montanari, UGO GIOVANNI ERASMO; Sassone, V.
Bisimilarity Congruences for Open Terms and Term Graphs via Tile Logic 1-gen-2000 Bruni, Roberto; DE FRUTOS ESCRIG, D; MARTI OLIET, N; Montanari, UGO GIOVANNI ERASMO
Zero-Safe Nets: Comparing the Collective and Individual Token Approaches 1-gen-2000 Bruni, Roberto; Montanari, UGO GIOVANNI ERASMO
Some algebraic laws for spans 1-gen-2001 Bruni, Roberto; Gadducci, Fabio
Two Algebraic Process Semantics for Contextual Nets 1-gen-2001 Bruni, Roberto; Sassone, V.
Zero-safe net models for transactions in Linda 1-gen-2001 Bruni, Roberto; Montanari, UGO GIOVANNI ERASMO
An interactive semantics of logic programming 1-gen-2001 Bruni, Roberto; Montanari, UGO GIOVANNI ERASMO; Rossi, F.
Functorial models for Petri nets 1-gen-2001 Bruni, Roberto; Meseguer, J; Montanari, UGO GIOVANNI ERASMO; Sassone, V.
Transactions and Zero-Safe Nets 1-gen-2001 Bruni, Roberto; Montanari, UGO GIOVANNI ERASMO
Symmetric and Cartesian Double Categories as a Semantic Framework for Tile Logic 1-gen-2002 Bruni, Roberto; Meseguer, J.; Montanari, UGO GIOVANNI ERASMO
Normal forms for algebras of connections 1-gen-2002 Bruni, Roberto; Gadducci, Fabio; Montanari, UGO GIOVANNI ERASMO
AGILE: Software architecture for mobility 1-gen-2002 Andrade, L. F.; Baldan, P.; Baumeister, H.; Bruni, Roberto; Corradini, Andrea; De Nicola, R.; Fiadeiro, J. L.; Gadducci, Fabio; Gnesi, S.; Hoffman, P.; Koch, N.; Kosiuczenko, P.; Lapadula, A.; Latella, D.; Lopes, A.; Loreti, M.; Massink, M.; Mazzanti, F.; Montanari, UGO GIOVANNI ERASMO; Oliveira, C.; Pugliese, R.; Tarlecki, A.; Wermelinger, M.; Wirsing, M.; Zawlocki, A.
Orchestrating Transactions in Join Calculus 1-gen-2002 Bruni, Roberto; Laneve, C; Montanari, UGO GIOVANNI ERASMO
Comparing higher-order encodings in logical frameworks and tile logic 1-gen-2002 Bruni, Roberto; Honsell, F; Lenisa, M; Miculan, M.
Symmetric Monoidal and Cartesian Double Categories as a Semantic Framework for Tile Logic 1-gen-2002 Bruni, Roberto; Meseguer, J; Montanari, UGO GIOVANNI ERASMO
Bisimulation by Unification 1-gen-2002 Baldan, P; Bracciali, A; Bruni, Roberto
Mostra risultati da 1 a 30 di 166
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