IRIS
RicercaInizia una nuova ricerca

NOTA: è possibile cercare una corrispondenza esatta usando i doppi apici, ad es: "evoluzione della specie". Qualora si cerchi un identificativo, è consigliabile cercarlo in due modi differenti: tra apici con caratteri speciali es: "978-94-6366-274" oppure senza caratteri speciali solo come sequenza numerica: es 978946366274.

cerca in
Risultati 1 - 10 di 39 (tempo di esecuzione: 0.012 secondi).
Titolo Data di pubblicazione Autore(i) File
A Completeness Theorem for Nondeterministic Kleene Algebras. 1-gen-1994 De Nicola, R; Labella, A
A Process Algebra based on Linda 1-gen-1996 DE NICOLA, R; R., Pugliese
A Symbolic Semantics for the pi-calculus 1-gen-1994 M, Boreale; DE NICOLA, R.
A Theory of May Testing for Asynchronous Languages 1-gen-1999 M, Boreale; DE NICOLA, R.; Pugliese, R.
Action and State-based Logics for Process Algebras 1-gen-1991 De Nicola, R
Action versus State based Logics for Transition Systems. Semantics of Systems of Concurrent Processes 1-gen-1990 De Nicola, R; Vaandrager, F W
Algebraic Characterizations of Decorated Trace Equivalences over Tree-Like Structures 1-gen-1996 Xiao Jun, Chen; De Nicola, R
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
Asynchronous Observations of Processes 1-gen-1998 M, Boreale; DE NICOLA, R.; Pugliese, R.
Back and Forth Bisimulations 1-gen-1990 De Nicola, R; Montanari, U; Vaandrager, F W
Risultati 1 - 10 di 39 (tempo di esecuzione: 0.012 secondi).
↑ Back to top
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

Aggiungere filtri:  
Aggiungi
Opzioni
Scopri
Tipologia
  • 2 Contributo in Volume 39
  • 2 Contributo in Volume::2.1 Contr... 39
Autore
  • DE NICOLA, ROCCO 25
  • LATTANZI, NICOLA 5
  • PIETRINI, PIETRO 5
  • BEMPORAD, ALBERTO 2
  • CATONI, MARIA LUISA 2
Data di pubblicazione
  • 1999 8
  • 1998 4
  • 1997 7
  • 1996 4
  • 1995 3
  • 1994 4
  • 1993 2
  • 1992 1
  • 1991 2
  • 1990 4
Editore
  • Springer 19
  • Springer Verlag 5
  • Giappichelli 2
  • Giulio Einaudi 2
  • John Wiley & Sons Ltd. 2
  • SPRINGER-VERLAG 2
  • American Psychiatric Press 1
  • Clueb 1
  • Giuffr? 1
  • IEEE Computer Society 1
Rivista
  • LECTURE NOTES IN COMPUTER SCIENCE 12
  • STUDI E RICERCHE DI ECONOMIA AZIE... 2
Serie
  • LECTURE NOTES IN COMPUTER SCIENCE 5
Keyword
  • Immagini e politica 2
  • Filosofia delle immagini 1
  • Immagini e educazione 1
  • Immagini e società 1
  • Olimpiadi moderne 1
  • Programmazione e controllo 1
  • Redditività gruppo aziendale 1
  • Sistemi intelligenti 1
  • Sport 1
  • Sport e regimi politici 1
Lingua
  • eng 27
  • ita 7
Accesso al fulltext
  • no fulltext 34
  • reserved 5