DEGANO, PIERPAOLO Statistiche

DEGANO, PIERPAOLO  

DIPARTIMENTO DI INFORMATICA  

Mostra records
Risultati 1 - 20 di 269 (tempo di esecuzione: 0.024 secondi).
Titolo Data di pubblicazione Autore(i) File
. . . e se fossimo davvero figli dei fisici? 1-gen-2018 Degano, Pierpaolo
A categorial view of process refinement 1-gen-1992 Degano, Pierpaolo; Gorrieri, Roberto; Rosolini, G.
A causal operational semantics of atomic refinenement 1-gen-1995 Degano, Pierpaolo; Gorrieri, Roberto
A causal semantics for CCS via rewriting logic 1-gen-2002 Degano, Pierpaolo; Gadducci, Fabio; Priami, C.
A compact representation of finite state processes 1-gen-1994 Degano, P.; Priami, C.
A computational approach to the functional screening of genomes 1-gen-2007 Chiarugi, Davide; Degano, Pierpaolo; Marangoni, Roberto
A computational approach to the functional screening of genomes 1-gen-2008 Chiarugi, Davide; Degano, Pierpaolo; Marangoni, Roberto
A Context-Oriented Extension of F#. 1-gen-2015 Canciani, Andrea; Degano, Pierpaolo; Ferrari, GIAN-LUIGI; Galletta, Letterio
A distributed operational semantics for CCS based on C/E systems 1-gen-1988 Degano, Pierpaolo; De Nicola, R; Montanari, UGO GIOVANNI ERASMO
A DISTRIBUTED OPERATIONAL SEMANTICS FOR CCS BASED ON CONDITION EVENT SYSTEMS 1-gen-1988 Degano, Pierpaolo; Denicola, R; Montanari, UGO GIOVANNI ERASMO
A fexilble environment for program development based on symbolic interpreter 1-gen-1979 Asirelli, P; Degano, Pierpaolo; Levi, Giorgio; Martelli, A; Montanari, UGO GIOVANNI ERASMO; Pacini, G; Sirovich, F; Turini, Franco
A first order semantics of a connective suitable to express concurrency 1-gen-1983 Degano, Pierpaolo; Diomedi, S.
A Formal Analysis for Capturing Replay Attacks in Cryptographic Protocols 1-gen-2007 H., Gao; Bodei, Chiara; Degano, Pierpaolo; H., RIIS NIELSON
A Formal Analysis of Complex Type Flaw Attacks on Security Protocols 1-gen-2008 Han, Gao; Bodei, Chiara; Degano, Pierpaolo
A formal framework for secure and complying services 1-gen-2014 Basile, Davide; Degano, Pierpaolo; Ferrari, GIAN-LUIGI
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.
A Functional Plus Predicate Logic Programming 1-gen-1980 Bellia, Marco; Degano, Pierpaolo; Levi, G.
A functional plus predicate programming language 1-gen-1980 Bellia, Marco; Degano, Pierpaolo; Levi, G.
A kernel of a graphic environment for truly concurrent process description languages 1-gen-1991 Degano, Pierpaolo; Gorrieri, Roberto; Zamboni, L; Zanotti, P.
A model of distributed systems based on graph rewriting 1-gen-1987 Degano, Pierpaolo; Montanari, UGO GIOVANNI ERASMO