CINECA IRIS Institutional Research Information System

Sfoglia per Autore  

Opzioni
Mostra risultati da 41 a 60 di 141
Titolo Data di pubblicazione Autore(i) File
A Completeness result for equational deduction in coalgebraic specification 1-gen-1998 Corradini, Andrea
Rational Term Rewriting 1-gen-1998 Corradini, Andrea; Gadducci, Fabio
From SOS Specifications to Structured Coalgebras: How to Make Bisimulation a Congruence 1-gen-1999 Corradini, Andrea; Heckel, R; Montanari, UGO GIOVANNI ERASMO
An Algebra of Graph Derivations Using Finite (co-) Limit Double Theories 1-gen-1999 Corradini, Andrea; Grosse Rhode, M; Heckel, R.
Unfolding and Event Structure Semantics for Graph Grammars 1-gen-1999 Baldan, P; Corradini, Andrea; Montanari, UGO GIOVANNI ERASMO
Tile Transition Systems as Structured Coalgebras 1-gen-1999 Corradini, Andrea; Heckel, R; Montanari, UGO GIOVANNI ERASMO
An Algebraic Presentation of Term Graphs, via GS-Monoidal Categories 1-gen-1999 Corradini, Andrea; Gadducci, Fabio
Rewriting on cyclic structures: Equivalence between the operational and the categorical description 1-gen-1999 Corradini, Andrea; Gadducci, Fabio
History Preserving Bisimulation for Contextual Nets 1-gen-2000 Baldan, P; Corradini, Andrea; Montanari, UGO GIOVANNI ERASMO
Graphical Operational Semantics 1-gen-2000 Corradini, Andrea; Heckel, R; Montanari, UGO GIOVANNI ERASMO
Functorial Concurrent Semantics for Petri Nets with Read and Inhibitor Arcs 1-gen-2000 Baldan, P; Busi, N; Corradini, Andrea; Pinna, Gm
Unfolding of Double-Pushout Graph Grammars is a Coreflection 1-gen-2000 Baldan, P; Corradini, Andrea; Montanari, UGO GIOVANNI ERASMO
Compositional Modeling of Reactive Systems Using Open Nets 1-gen-2001 Baldan, P; Corradini, Andrea; Ehrig, H; Heckel, R.
Contextual Petri nets, asymmetric event structures and processes 1-gen-2001 Baldan, P; Corradini, Andrea; Montanari, UGO GIOVANNI ERASMO
Categorical rewriting of term-like structures 1-gen-2001 Corradini, Andrea; Gadducci, Fabio
A Static Analysis Technique for Graph Transformation Systems 1-gen-2001 Baldan, P; Corradini, Andrea; Koenig, B.
A Graph Transformation View on the Specification of Applications using Mobile Code 1-gen-2001 Corradini, Andrea; Luis Dotti, F; Ribeiro, L.
Double-Pullback Transitions and Coalgebraic Loose Semantics for Graph Transformation Systems 1-gen-2001 Heckel, R; Ehrig, H; Wolter, U; Corradini, Andrea
A Coalgebraic presentation of structured transition systems 1-gen-2001 Corradini, Andrea; Grosse Rhode, M; Heckel, R.
Compositional SOS and beyond: a coalgebraic view of open systems 1-gen-2002 Corradini, Andrea; Heckel, R; Montanari, UGO GIOVANNI ERASMO
Mostra risultati da 41 a 60 di 141
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