Sfoglia per Autore

opzioni
Mostra risultati da 21 a 40 di 270
Titolo Data di pubblicazione Autore(i) File
Specifying highly concurrent data structure manipulation 1-gen-1983 Corradini, Andrea; Degano, Pierpaolo; Montanari, UGO GIOVANNI ERASMO
Programming environments: deriving language dependent tools from structured donotational semantics 1-gen-1983 Barbuti, Roberto; Bellia, Marco; Degano, Pierpaolo; Levi, Giorgio; Martelli, A.
A first order semantics of a connective suitable to express concurrency 1-gen-1983 Degano, Pierpaolo; Diomedi, S.
A Formal Model for Lazy Implementation of a Prolog Compatible Functional Language 1-gen-1984 Bellia, Marco; Dameri, E; Degano, Pierpaolo; Levi, Giorgio; Martelli, M.
Theorem proving by the study of example proof traces, or theorem proving by a correct theorem statement 1-gen-1984 Castaign, J; Kodratoff, Y; Degano, Pierpaolo
Liveness properties as convergence in metric spaces 1-gen-1984 Degano, Pierpaolo; Montanari, UGO GIOVANNI ERASMO
Specification languages for modelling concurrency 1-gen-1985 Degano, Pierpaolo; Montanari, UGO GIOVANNI ERASMO
Specification languages for distributed systems 1-gen-1985 Degano, Pierpaolo; Montanari, UGO GIOVANNI ERASMO
An evaluation based theorem prover 1-gen-1985 Degano, Pierpaolo; Sirovich, F.
Distributed systems, partial orderings of events and event structures 1-gen-1985 Degano, Pierpaolo; Montanari, UGO GIOVANNI ERASMO
An approach to proving properties of non-terminating logic programs 1-gen-1985 Ciancarini, P; Degano, Pierpaolo
Partial ordering derivations for CCS 1-gen-1985 Degano, Pierpaolo; De Nicola, R; Montanari, UGO GIOVANNI ERASMO
CONCURRENT HISTORIES - A BASIS FOR OBSERVING DISTRIBUTED SYSTEMS 1-gen-1987 Degano, Pierpaolo; Montanari, UGO GIOVANNI ERASMO
A model of distributed systems based on graph rewriting 1-gen-1987 Degano, Pierpaolo; Montanari, UGO GIOVANNI ERASMO
Principi e Tecniche di Progettazione del Software 1-gen-1987 Barbuti, Roberto; Bellia, Marco; Degano, Pierpaolo; Levi, Giorgio
Observational congruences for concurrency models 1-gen-1987 Degano, Pierpaolo; De Nicola, R; Montanari, UGO GIOVANNI ERASMO
A technique for splitting parsing tables and its applications to effiecient incremental editors 1-gen-1987 Degano, Pierpaolo; Mannucci, S; Mojana, B.
CCS is an (augmented) contact-free C/E system. 1-gen-1987 Degano, Pierpaolo; De Nicola, R; Montanari, UGO GIOVANNI ERASMO
Partial ordering models for concurrency can be defined operationally 1-gen-1987 Degano, Pierpaolo; Marchetti, S.
Ambienti di programmazione interattivi integrati 1-gen-1987 Degano, Pierpaolo
Mostra risultati da 21 a 40 di 270
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