Sfoglia per Autore
Observation trees
1992-01-01 Degano, Pierpaolo; De Nicola, R; Montanari, UGO GIOVANNI ERASMO
A categorial view of process refinement
1992-01-01 Degano, Pierpaolo; Gorrieri, Roberto; Rosolini, G.
On relating some models for concurrency
1993-01-01 Degano, Pierpaolo; Gorrieri, Roberto; Vigna, S.
UNIVERSAL AXIOMS FOR BISIMULATIONS
1993-01-01 Degano, Pierpaolo; Denicola, R; Montanari, UGO GIOVANNI ERASMO
Refinement of actions in Event Structures and Causal Trees
1993-01-01 Darondeau, Ph; Degano, Pierpaolo
Generating the analytic component parts of syntax directed editors with efficient error recovery
1993-01-01 Bianchi, U.; Degano, P.; Mannucci, S.; Martini, S.; Mojana, B.; Priami, C.; Salvatori, E.
A compact representation of finite state processes
1994-01-01 Degano, P.; Priami, C.
A transitional semantics of full Prolog
1995-01-01 Degano, Pierpaolo; Priami, C.
A transitional semantics for full prolog
1995-01-01 Priami, Corrado; Degano, P.
Comparison of syntactic error handling in LR parsers
1995-01-01 Degano, Pierpaolo; Priami, C.
An efficient verifier of truly concurrent properties
1995-01-01 Bianchi, Alessandro; Coluccini, Stefano; Degano, Pierpaolo; Priami, Corrado
Complexity as a basis for comparing semantic models of concurrency
1995-01-01 Mycroft, A; Degano, Pierpaolo; Priami, Corrado
Causality for mobile processes
1995-01-01 Degano, Pierpaolo; Priami, Corrado
Fairness and priority
1995-01-01 Degano, Pierpaolo; Raffoni, L.
A causal operational semantics of atomic refinenement
1995-01-01 Degano, Pierpaolo; Gorrieri, Roberto
Compact transition systems
1996-01-01 Priami, Corrado; Degano, P.
Enhanced oparational semantics for mobility
1996-01-01 Priami, Corrado; Degano, P.
Understanding mobile agents via a non-interleaving semantics for Facile.
1996-01-01 Borgia, R; Degano, Pierpaolo; Priami, C; Leth, L; Thomsen, B.
Analysis of Facile programs: A case study.
1996-01-01 Degano, Pierpaolo; Priami, C; Leth, L; Thomsen, B.
Mobile Processes with a distributed Environment
1996-01-01 Bodei, Chiara; Degano, Pierpaolo; Priami, Corrado
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Observation trees | 1-gen-1992 | Degano, Pierpaolo; De Nicola, R; Montanari, UGO GIOVANNI ERASMO | |
A categorial view of process refinement | 1-gen-1992 | Degano, Pierpaolo; Gorrieri, Roberto; Rosolini, G. | |
On relating some models for concurrency | 1-gen-1993 | Degano, Pierpaolo; Gorrieri, Roberto; Vigna, S. | |
UNIVERSAL AXIOMS FOR BISIMULATIONS | 1-gen-1993 | Degano, Pierpaolo; Denicola, R; Montanari, UGO GIOVANNI ERASMO | |
Refinement of actions in Event Structures and Causal Trees | 1-gen-1993 | Darondeau, Ph; Degano, Pierpaolo | |
Generating the analytic component parts of syntax directed editors with efficient error recovery | 1-gen-1993 | Bianchi, U.; Degano, P.; Mannucci, S.; Martini, S.; Mojana, B.; Priami, C.; Salvatori, E. | |
A compact representation of finite state processes | 1-gen-1994 | Degano, P.; Priami, C. | |
A transitional semantics of full Prolog | 1-gen-1995 | Degano, Pierpaolo; Priami, C. | |
A transitional semantics for full prolog | 1-gen-1995 | Priami, Corrado; Degano, P. | |
Comparison of syntactic error handling in LR parsers | 1-gen-1995 | Degano, Pierpaolo; Priami, C. | |
An efficient verifier of truly concurrent properties | 1-gen-1995 | Bianchi, Alessandro; Coluccini, Stefano; Degano, Pierpaolo; Priami, Corrado | |
Complexity as a basis for comparing semantic models of concurrency | 1-gen-1995 | Mycroft, A; Degano, Pierpaolo; Priami, Corrado | |
Causality for mobile processes | 1-gen-1995 | Degano, Pierpaolo; Priami, Corrado | |
Fairness and priority | 1-gen-1995 | Degano, Pierpaolo; Raffoni, L. | |
A causal operational semantics of atomic refinenement | 1-gen-1995 | Degano, Pierpaolo; Gorrieri, Roberto | |
Compact transition systems | 1-gen-1996 | Priami, Corrado; Degano, P. | |
Enhanced oparational semantics for mobility | 1-gen-1996 | Priami, Corrado; Degano, P. | |
Understanding mobile agents via a non-interleaving semantics for Facile. | 1-gen-1996 | Borgia, R; Degano, Pierpaolo; Priami, C; Leth, L; Thomsen, B. | |
Analysis of Facile programs: A case study. | 1-gen-1996 | Degano, Pierpaolo; Priami, C; Leth, L; Thomsen, B. | |
Mobile Processes with a distributed Environment | 1-gen-1996 | Bodei, Chiara; Degano, Pierpaolo; Priami, Corrado |
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