IRIS

Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 20 di 208
Titolo Data di pubblicazione Autore(i) File
A Complete Set of Axioms for a Theory of Communicating Sequential Processes 1-gen-1983 De Nicola, R
Testing Equivalence for Processes 1-gen-1983 De Nicola, R; Hennessy, M
Models and Operators for Nondeterministic Processes 1-gen-1984 De Nicola, R
Testing Equivalences for Processes 1-gen-1984 DE NICOLA, R; M., Hennessy
Partial ordering derivations for CCS 1-gen-1985 Degano, P; De Nicola, R; Montanari, U
Two Complete Axiom Systems for a Theory of Communicating Sequential Processes 1-gen-1985 DE NICOLA, R
Net Theory and Application - Response. IFIP Congress 1986: 1-gen-1986 De Nicola, R
Testing Equivalences for Event Structures 1-gen-1986 Aceto, L; De Nicola, R; Fantechi, A
CCS is an (Augmented) Contact Free C/E System.144-165 1-gen-1986 Degano, P; De Nicola, R; Montanari, U
CCS without tau's 1-gen-1987 De Nicola, R; Hennessy, M
Extensional Equivalences for Transition Systems 1-gen-1987 DE NICOLA, R
On the Consistency of ``Truly Concurrent'' Operational and Denotational Semantics (Extended Abstract) 1-gen-1988 Degano, P; De Nicola, R; Montanari, U
A Distributed Operational Semantics for CCS Based on Condition/Event Systems 1-gen-1988 Degano, P.; DE NICOLA, R; Montanari, U.
Partial orderings descriptions and observations of nondeterministic concurrent processes. 1-gen-1988 Degano, P; De Nicola, R; Montanari, U
Action versus State based Logics for Transition Systems. Semantics of Systems of Concurrent Processes 1-gen-1990 De Nicola, R; Vaandrager, F W
Three Logics for Branching Bisimulation (Extended Abstract) 1-gen-1990 De Nicola, R; Vaandrager, F W
Using the Axiomatic Presentation of Behavioural Equivalences for Manipulating CCS Specifications. 1-gen-1990 De Nicola, R; Inverardi, P; Nesi, M
Back and Forth Bisimulations 1-gen-1990 De Nicola, R; Montanari, U; Vaandrager, F W
A Partial Ordering Semantics for CCS 1-gen-1990 P., Degano; DE NICOLA, R; U., Montanari
Observational Logics and Concurrency Models 1-gen-1990 De Nicola, R; Ferrari, G. L.
Mostrati risultati da 1 a 20 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