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