Sfoglia per Autore
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 P., Inverardi; Priami, Corrado
Verification of concurrent systems in SML
1992-01-01 P., Inverardi; Priami, Corrado; D., Yankelevich
A parametric verification tool for distributed concurrent systems
1992-01-01 P., Inverardi; Priami, Corrado; D., Yankelevich
Observing Concurrency via Proved Trees
1992-01-01 P., Degano; Priami, Corrado
Proved trees
1992-01-01 P., Degano; Priami, Corrado
Extended transition systems for parametric bisimulation
1993-01-01 P., Inverardi; Priami, Corrado; D., Yankelevich
Generating the analytic component parts of syntax directed editors with efficient error recovery
1993-01-01 U., Bianchi; P., Degano; S., Mannucci; S., Martini; B., Mojana; Priami, Corrado; E., Salvatori
A formal paradigm for multiview distributed debugging environments
1993-01-01 Priami, Corrado; D., Yankelevich
Automatizing parametric reasoning on distributed concurrent systems
1994-01-01 P., Inverardi; Priami, Corrado; D., Yankelevich
A compact representation of finite state processes
1994-01-01 P., Degano; Priami, Corrado
Read-write causality
1994-01-01 Priami, Corrado; D., Yankelevich
Causality for mobile processes
1995-01-01 P., Degano; Priami, Corrado
Syntactic error handling in LR parsers
1995-01-01 P., Degano; Priami, Corrado
Stochastic pi-calculus
1995-01-01 Priami, Corrado
An efficient verifier of truly concurrent properties
1995-01-01 A., Bianchi; S., Coluccini; P., Degano; Priami, Corrado
Complexity as a basis for comparing semantic models of concurrency
1995-01-01 A., Mycroft; P., Degano; Priami, Corrado
A transitional semantics for full prolog
1995-01-01 P., Degano; Priami, Corrado
Comparison of Syntactic error handling in LR parsers
1995-01-01 P., Degano; Priami, Corrado
Understanding mobile agents via a non interleaving sematics for facile
1996-01-01 R., Borgia; P., Degano; Priami, Corrado; L., Leth; B., Thomsen
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