Sfoglia per Autore  

Opzioni
Mostra risultati da 1 a 20 di 245
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.
Mostra risultati da 1 a 20 di 245
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