Sfoglia per Autore
An Action Based Framework for Verifying Logical and Behavioural Properties of Concurrent Systems
1991-01-01 De Nicola, R; Fantechi, A; Gnesi, S; Ristori, G
Action and State-based Logics for Process Algebras
1991-01-01 De Nicola, R
Observation Trees
1992-01-01 Degano, P; De Nicola, R; Montanari, U
Testing Equivalence for Mobile Processes (Extended Abstract)
1992-01-01 Boreale, M; De Nicola, R
Universal Axioms for Bisimulations
1993-01-01 P., Degano; DE NICOLA, R; U., Montanari
An Action-Based Framework for Verifying Logical and Behavioural Properties of Concurrent Systems
1993-01-01 DE NICOLA, R; A., Fantechi; Gnesi, S.; Ristori, G.
A Completeness Theorem for Nondeterministic Kleene Algebras.
1994-01-01 De Nicola, R; Labella, A
Distribution and Locality of Concurrent Systems
1994-01-01 Corradini, F; De Nicola, R
A Symbolic Semantics for the pi-calculus
1994-01-01 M, Boreale; DE NICOLA, R.
Testing Equivalence for Mobile Processes
1995-01-01 DE NICOLA, R; M., Boreale
RVerifying hardware components within JACK
1995-01-01 De Nicola, R; Fantechi, A; Gnesi, S; Larosa, S; Ristori G., Charme
A Process Algebraic View of Input/Output Automata
1995-01-01 DE NICOLA, R; R., Segala
Three Logics for Branching Bisimulation
1995-01-01 DE NICOLA, R; Vaandrager, F. W.
Fully Abstract Models for Nondeterministic Regular Expressions
1995-01-01 Corradini, F; De Nicola, R; Labella, A
Testing Semantics of Asynchronous Distributed Programs
1996-01-01 DE NICOLA, R; R., Pugliese
A Process Algebra based on Linda
1996-01-01 DE NICOLA, R; R., Pugliese
A Symbolic Semantics for the pi-Calculus
1996-01-01 DE NICOLA, R; M., Boreale
ON FOUR PARTIAL ORDERING SEMANTICS FOR A PROCESS CALCULUS
1996-01-01 DE NICOLA, R; F., Corradini
Algebraic Characterizations of Decorated Trace Equivalences over Tree-Like Structures
1996-01-01 Xiao Jun, Chen; De Nicola, R
Concurrency: Theory and Practice
1996-01-01 DE NICOLA, R; Smolka, S. A.
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