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