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