CINECA IRIS Institutional Research Information System

Sfoglia per Autore  

Opzioni
Mostra risultati da 1 a 20 di 196
Titolo Data di pubblicazione Autore(i) File
Observational Logics and True Concurrency, 1-gen-1989 De Nicola, R; Ferrari, GIAN-LUIGI
Towards the Unification of Models for Concurrency 1-gen-1990 Ferrari, GIAN-LUIGI; Montanari, U.
Transition Systems with Algebraic Structure as Models of Computations 1-gen-1990 Corradini, Andrea; Ferrari, GIAN-LUIGI; Montanari, U.
Observational Logics and Concurrency Models 1-gen-1990 De Nicola, R; Ferrari, GIAN-LUIGI
Transition Systems with Algebraic Structure as Models of Computations 1-gen-1990 Corradini, Andrea; Ferrari, GIAN-LUIGI; Montanari, UGO GIOVANNI ERASMO
RSF: A Formalism for Executable Requirement Specifications 1-gen-1990 Michela degli, Innocenti; Ferrari, GIAN-LUIGI; Giuliano, Pacini; Turini, Franco
Implicative Formulae in the ``Proofs as Computations'' Analogy 1-gen-1990 Asperti, A; Ferrari, GIAN-LUIGI; Gorrieri, R.
An Extended Expansion Theorem 1-gen-1991 Ferrari, GIAN-LUIGI; Gorrieri, R; Montanari, U.
The Observational Algebra of Spatial Pomsets 1-gen-1991 Ferrari, GIAN-LUIGI; Montanari, U.
On Causality Observed Incrementally, Finally 1-gen-1991 Ferrari, GIAN-LUIGI; Montanari, U; Mowbray, M.
Causal Streams: Tracing Causality in Distributed Systems 1-gen-1991 Ferrari, GIAN-LUIGI; Montanari, U; Mowbray, M.
The Observation Algebra of Spatial Histories 1-gen-1991 Ferrari, GIAN-LUIGI; Montanari, U.
Observing Time-Complexity of Concurrent Programs 1-gen-1993 Ferrari, GIAN-LUIGI; Montanari, U.
A Pi-Calculus with Explicit Substitutions: the Late Semantics 1-gen-1994 Ferrari, GIAN-LUIGI; Montanari, U; Quaglia, P.
Dynamic Matrices and the Cost Analysis of Concurrent Programs 1-gen-1995 Ferrari, GIAN-LUIGI; Montanari, U.
The Weak Late pi-Calculus Semantics as Observation Equivalence 1-gen-1995 Ferrari, GIAN-LUIGI; Montanari, U; Quaglia, P.
Towards a Semantic-based Verification Environment for the pi-calculus, 1-gen-1996 Ferrari, GIAN-LUIGI; Modoni, G; Quaglia, P.
An Automata-based Verification Environment for Mobile Processes (Tool Demonstration) 1-gen-1996 Ferrari, GIAN-LUIGI; Ferro, G; Gnesi, S; Montanari, U; Pistore, M; Ristori, G.
A Pi-Calculus with Explicit Substitutions 1-gen-1996 Ferrari, GIAN-LUIGI; Montanari, UGO GIOVANNI ERASMO; Quaglia, P.
Eager, busy-waiting and lazy actions in timed computation 1-gen-1997 Corradini, F; Ferrari, GIAN-LUIGI; Pistore, M.
Mostra risultati da 1 a 20 di 196
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