IRIS

Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 20 di 34
Titolo Data di pubblicazione Autore(i) File
A Logic-Functional Approach to the Execution of CCS Specifications Modulo Behavioural Equivalences 1-gen-1988 Gnesi, S; Inverardi, Paola; Nesi, Monica
A Rewriting Strategy to Verify Observational Congruence 1-gen-1990 Inverardi, Paola; Nesi, Monica
Using the Axiomatic Presentation of Behavioural Equivalences for Manipulating CCS Specifications 1-gen-1990 DE NICOLA, R; Inverardi, Paola; Nesi, Monica
Using the Adxiomatic Presentation of Behavioural Equivalences for Manipulating CCS Specifications 1-gen-1990 Inverardi, Paola; De Nicola, Rocco; Nesi, Monica
Equational Reasoning about LOTOS Specifications: A Rewriting Approach 1-gen-1991 Nicola, De; Inverardi, Paola; Nesi, Monica
Infinite Normal Forms for Non-linear Term Rewriting Systems 1-gen-1991 Inverardi, Paola; Nesi, Monica
On Rewriting Behavioural Semantics in Process Algebras 1-gen-1991 Inverardi, Paola; Nesi, Monica
Combining Interaction and Automation in Process Algebra Verification 1-gen-1991 Camilleri, Aj; Inverardi, Paola; Nesi, Monica
Mechanizing a Proof by Induction of Process Algebra Specifications in Higher Order Logic 1-gen-1992 Nesi, Monica
On Dealing with Divergent Rewrite Systems 1-gen-1992 Inverardi, Paola; Nesi, Monica
Complete Sets of Axioms for Finite Basic LOTOS Behavioural Equivalences 1-gen-1992 Boreale, M; Inverardi, Paola; Nesi, Monica
Formalizing a Modal Logic for CCS in the HOL Theorem Prover 1-gen-1993 Nesi, Monica
A Strategy to Deal with Divergent Rewrite Systems 1-gen-1993 Inverardi, Paola; Nesi, Monica
Rewriting Properties of Combinators for Rudimentary Linear Logic 1-gen-1994 Nesi, Monica; de PAIVA, V; Ritter, E.
Value-Passing CCS in HOL 1-gen-1994 Nesi, Monica
Deciding Observational Congruence of Finite-State CCS Expressions by Rewriting 1-gen-1995 Inverardi, Paola; Nesi, Monica
Infinite Normal Forms for Non-linear Term Rewriting Systems 1-gen-1995 Inverardi, Paola; Nesi, Monica
Infinite Normal Forms for Non-Linear Term Rewritting Systems 1-gen-1995 Inverardi, Paola; Nesi, Monica
Reasoning about Value-Passing Calculi in HOL 1-gen-1996 Nesi, Monica
Formalising Process Calculi in Higher Order Logic, Ph.D. Thesis 1-gen-1997 Nesi, Monica
Mostrati risultati da 1 a 20 di 34
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