Sfoglia per Autore
Generating the analythic component parts of syntax-directed editors
1990-01-01 Bianchi, U; Degano, Pierpaolo; Mannucci, S; Martini, S; Mojana, B; Priami, C; Salvatori, E.
Gestione degli errori nei Parsers LR: tesi di Laurea
1990-01-01 Priami, Corrado
Evaluation of tool for the analysis of communicating systems
1991-01-01 Priami, Corrado
Proved trees
1992-01-01 Degano, Pierpaolo; Priami, Corrado
Verification of concurrent systems in SML
1992-01-01 Priami, Corrado
A parametric verification tool for distributed concurrent systems
1992-01-01 Priami, Corrado
Observing Concurrency via Proved Trees
1992-01-01 Priami, Corrado; 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.
Extended transition systems for parametric bisimulation
1993-01-01 Inverardi, P.; Priami, C.; Yankelevich, D.
A formal paradigm for multiview distributed debugging environments
1993-01-01 Priami, Corrado
Automatizing parametric reasoning on distributed concurrent systems
1994-01-01 Inverardi, P.; Priami, C.; Yankelevich, D.
Read-write causality
1994-01-01 Priami, Corrado
A compact representation of finite state processes
1994-01-01 Degano, P.; Priami, C.
Complexity as a basis for comparing semantic models of concurrency
1995-01-01 Mycroft, A; Degano, Pierpaolo; Priami, Corrado
Stochastic pi-calculus
1995-01-01 Priami, Corrado
An efficient verifier of truly concurrent properties
1995-01-01 Bianchi, Alessandro; Coluccini, Stefano; Degano, Pierpaolo; Priami, Corrado
Causality for mobile processes
1995-01-01 Degano, Pierpaolo; Priami, Corrado
Comparison of syntactic error handling in LR parsers
1995-01-01 Degano, Pierpaolo; Priami, C.
A transitional semantics for full prolog
1995-01-01 Priami, Corrado; Degano, P.
A transitional semantics of full Prolog
1995-01-01 Degano, Pierpaolo; Priami, C.
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Generating the analythic component parts of syntax-directed editors | 1-gen-1990 | Bianchi, U; Degano, Pierpaolo; Mannucci, S; Martini, S; Mojana, B; Priami, C; Salvatori, E. | |
Gestione degli errori nei Parsers LR: tesi di Laurea | 1-gen-1990 | Priami, Corrado | |
Evaluation of tool for the analysis of communicating systems | 1-gen-1991 | Priami, Corrado | |
Proved trees | 1-gen-1992 | Degano, Pierpaolo; Priami, Corrado | |
Verification of concurrent systems in SML | 1-gen-1992 | Priami, Corrado | |
A parametric verification tool for distributed concurrent systems | 1-gen-1992 | Priami, Corrado | |
Observing Concurrency via Proved Trees | 1-gen-1992 | Priami, Corrado; 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. | |
Extended transition systems for parametric bisimulation | 1-gen-1993 | Inverardi, P.; Priami, C.; Yankelevich, D. | |
A formal paradigm for multiview distributed debugging environments | 1-gen-1993 | Priami, Corrado | |
Automatizing parametric reasoning on distributed concurrent systems | 1-gen-1994 | Inverardi, P.; Priami, C.; Yankelevich, D. | |
Read-write causality | 1-gen-1994 | Priami, Corrado | |
A compact representation of finite state processes | 1-gen-1994 | Degano, P.; Priami, C. | |
Complexity as a basis for comparing semantic models of concurrency | 1-gen-1995 | Mycroft, A; Degano, Pierpaolo; Priami, Corrado | |
Stochastic pi-calculus | 1-gen-1995 | Priami, Corrado | |
An efficient verifier of truly concurrent properties | 1-gen-1995 | Bianchi, Alessandro; Coluccini, Stefano; Degano, Pierpaolo; Priami, Corrado | |
Causality for mobile processes | 1-gen-1995 | Degano, Pierpaolo; Priami, Corrado | |
Comparison of syntactic error handling in LR parsers | 1-gen-1995 | Degano, Pierpaolo; Priami, C. | |
A transitional semantics for full prolog | 1-gen-1995 | Priami, Corrado; Degano, P. | |
A transitional semantics of full Prolog | 1-gen-1995 | Degano, Pierpaolo; Priami, C. |
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