Sfoglia per Autore  

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