 | 2009 |
|---|
| 128 |       | Pierpaolo Degano,
Joshua D. Guttman,
Fabio Martinelli:
Formal Aspects in Security and Trust, 5th International Workshop, FAST 2008, Malaga, Spain, October 9-10, 2008, Revised Selected Papers
Springer 2009 |
| 127 | | Pierpaolo Degano,
Luca Viganò:
Foundations and Applications of Security Analysis, Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security, ARSPA-WITS 2009, York, UK, March 28-29, 2009, Revised Selected Papers
Springer 2009 |
| 126 | | Pierpaolo Degano,
Roberto Gorrieri:
Computational Methods in Systems Biology, 7th International Conference, CMSB 2009, Bologna, Italy, August 31-September 1, 2009. Proceedings
Springer 2009 |
| 125 | | Massimo Bartoletti,
Pierpaolo Degano,
Gian Luigi Ferrari,
Roberto Zunino:
nu-Types for Effects and Freshness Analysis.
ICTAC 2009: 80-95 |
| 124 | | Massimo Bartoletti,
Pierpaolo Degano,
Gian Luigi Ferrari,
Roberto Zunino:
Local policies for resource usage analysis.
ACM Trans. Program. Lang. Syst. 31(6): (2009) |
| 123 | | Massimo Bartoletti,
Pierpaolo Degano,
Gian Luigi Ferrari,
Roberto Zunino:
Hard Life with Weak Binders.
Electr. Notes Theor. Comput. Sci. 242(1): 49-72 (2009) |
| 122 | | Massimo Bartoletti,
Gabriele Costa,
Pierpaolo Degano,
Fabio Martinelli,
Roberto Zunino:
Securing Java with Local Policies.
Journal of Object Technology 8(4): 5-32 (2009) |
| 2008 |
|---|
| 121 |  | Marco Bernardo,
Pierpaolo Degano,
Gianluigi Zavattaro:
Formal Methods for Computational Systems Biology, 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008, Bertinoro, Italy, June 2-7, 2008, Advanced Lectures
Springer 2008 |
| 120 | | Pierpaolo Degano,
Rocco De Nicola,
José Meseguer:
Concurrency, Graphs and Models, Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday
Springer 2008 |
| 119 | | Han Gao,
Chiara Bodei,
Pierpaolo Degano:
A Formal Analysis of Complex Type Flaw Attacks on Security Protocols.
AMAST 2008: 167-183 |
| 118 | | Rocco De Nicola,
Pierpaolo Degano,
José Meseguer:
Ugo Montanari in a Nutshell.
Concurrency, Graphs and Models 2008: 1-8 |
| 117 | | Davide Chiarugi,
Pierpaolo Degano,
Jan Bert Van Klinken,
Roberto Marangoni:
Cells in Silico: A Holistic Approach.
SFM 2008: 366-386 |
| 116 | | Massimo Bartoletti,
Pierpaolo Degano,
Gian Luigi Ferrari,
Roberto Zunino:
Model Checking Usage Policies.
TGC 2008: 19-35 |
| 115 | | Andrea Bracciali,
Marcello Brunelli,
Enrico Cataldo,
Pierpaolo Degano:
Stochastic models for the in silico simulation of synaptic processes.
BMC Bioinformatics 9(S-4): (2008) |
| 114 | | Massimo Bartoletti,
Pierpaolo Degano,
Gian Luigi Ferrari,
Roberto Zunino:
Semantics-Based Design for Secure Web Services.
IEEE Trans. Software Eng. 34(1): 33-49 (2008) |
| 113 | | Pierpaolo Degano,
Ralf Küsters,
Luca Viganò,
Steve Zdancewic:
Joint workshop on foundations of computer security and automated reasoning for security protocol analysis (FCS-ARSPA '06).
Inf. Comput. 206(2-4): 129 (2008) |
| 112 | | Pierpaolo Degano,
Luca Viganò:
Preface.
Int. J. Inf. Sec. 7(1): 1 (2008) |
| 111 | | Andrea Bracciali,
Marcello Brunelli,
Enrico Cataldo,
Pierpaolo Degano:
Synapses as stochastic concurrent systems.
Theor. Comput. Sci. 408(1): 66-82 (2008) |
| 2007 |
|---|
| 110 | | Han Gao,
Chiara Bodei,
Pierpaolo Degano,
Hanne Riis Nielson:
A Formal Analysis for Capturing Replay Attacks in Cryptographic Protocols.
ASIAN 2007: 150-165 |
| 109 | | Andrea Bracciali,
Marcello Brunelli,
Enrico Cataldo,
Pierpaolo Degano:
Expressive Models for Synaptic Plasticity.
CMSB 2007: 152-167 |
| 108 | | Massimo Bartoletti,
Pierpaolo Degano,
Gian Luigi Ferrari,
Roberto Zunino:
Secure Service Orchestration.
FOSAD 2007: 24-74 |
| 107 | | Massimo Bartoletti,
Pierpaolo Degano,
Gian Luigi Ferrari,
Roberto Zunino:
Types and Effects for Resource Usage Analysis.
FoSSaCS 2007: 32-47 |
| 106 | | Linda Brodo,
Pierpaolo Degano,
Corrado Priami:
A Stochastic Semantics for BioAmbients.
PaCT 2007: 22-34 |
| 105 | | Chiara Bodei,
Pierpaolo Degano,
Han Gao,
Linda Brodo:
Detecting and Preventing Type flaws: a Control Flow Analysis with Tags.
Electr. Notes Theor. Comput. Sci. 194(1): 3-22 (2007) |
| 2006 |
|---|
| 104 | | Davide Chiarugi,
M. Chinellato,
Pierpaolo Degano,
G. Lo Brutto,
Roberto Marangoni:
Feedbacks and Oscillations in the Virtual Cell VICE.
CMSB 2006: 93-107 |
| 103 | | Massimo Bartoletti,
Pierpaolo Degano,
Gian Luigi Ferrari:
Types and Effects for Secure Service Orchestration.
CSFW 2006: 57-69 |
| 102 | | Massimo Bartoletti,
Pierpaolo Degano,
Gian Luigi Ferrari:
Security Issues in Service Composition.
FMOODS 2006: 1-16 |
| 101 | | Roberto Zunino,
Pierpaolo Degano:
Handling exp, × (and Timestamps) in Protocol Analysis.
FoSSaCS 2006: 413-427 |
| 100 | | Pierpaolo Degano,
Davide Prandi,
Corrado Priami,
Paola Quaglia:
Beta-binders for Biological Quantitative Experiments.
Electr. Notes Theor. Comput. Sci. 164(3): 101-117 (2006) |
| 99 | | Pierpaolo Degano,
Luca Viganò:
Preface.
Theor. Comput. Sci. 367(1-2): 1 (2006) |
| 2005 |
|---|
| 98 | | Massimo Bartoletti,
Pierpaolo Degano,
Gian Luigi Ferrari:
Enforcing Secure Service Composition.
CSFW 2005: 211-223 |
| 97 | | Massimo Bartoletti,
Pierpaolo Degano,
Gian Luigi Ferrari:
History-Based Access Control with Local Policies.
FoSSaCS 2005: 316-332 |
| 96 | | Massimo Bartoletti,
Pierpaolo Degano,
Gian Luigi Ferrari:
Checking Risky Events Is Enough for Local Policies.
ICTCS 2005: 97-112 |
| 95 | | Chiara Bodei,
Mikael Buchholtz,
Michele Curti,
Pierpaolo Degano,
Flemming Nielson,
Hanne Riis Nielson,
Corrado Priami:
On Evaluating the Performance of Security Protocols.
PaCT 2005: 1-15 |
| 94 | | Massimo Bartoletti,
Pierpaolo Degano,
Gian Luigi Ferrari:
Policy framings for access control.
WITS 2005: 5-11 |
| 93 | | Chiara Bodei,
Michele Curti,
Pierpaolo Degano,
Mikael Buchholtz,
Flemming Nielson,
Hanne Riis Nielson,
Corrado Priami:
Performance Evaluation of Security Protocols Specified in LySa.
Electr. Notes Theor. Comput. Sci. 112: 167-189 (2005) |
| 92 | | Chiara Bodei,
Michele Curti,
Pierpaolo Degano,
Corrado Priami:
A Quantitative Study of Two Attacks.
Electr. Notes Theor. Comput. Sci. 121: 65-85 (2005) |
| 91 | | Pierpaolo Degano,
Luca Viganò:
Preface.
Electr. Notes Theor. Comput. Sci. 135(1): 1-2 (2005) |
| 90 | | Chiara Bodei,
Pierpaolo Degano,
Riccardo Focardi,
Corrado Priami:
Authentication primitives for secure protocol specifications.
Future Generation Comp. Syst. 21(4): 645-653 (2005) |
| 89 | | Chiara Bodei,
Pierpaolo Degano,
Corrado Priami:
Checking security policies through an enhanced Control Flow Analysis.
Journal of Computer Security 13(1): 49-85 (2005) |
| 88 | | Chiara Bodei,
Mikael Buchholtz,
Pierpaolo Degano,
Flemming Nielson,
Hanne Riis Nielson:
Static validation of security protocols.
Journal of Computer Security 13(3): 347-390 (2005) |
| 87 | | Roberto Zunino,
Pierpaolo Degano:
Weakening the perfect encryption assumption in Dolev-Yao adversaries.
Theor. Comput. Sci. 340(1): 154-178 (2005) |
| 2004 |
|---|
| 86 | | Davide Chiarugi,
Michele Curti,
Pierpaolo Degano,
Roberto Marangoni:
VICE: A VIrtual CEll.
CMSB 2004: 207-220 |
| 85 | | Roberto Zunino,
Pierpaolo Degano:
A Note on the Perfect Encryption Assumption in a Process Calculus.
FoSSaCS 2004: 514-528 |
| 84 | | Massimo Bartoletti,
Pierpaolo Degano,
Gian Luigi Ferrari:
Program Transformations under Dynamic Security Policies.
Electr. Notes Theor. Comput. Sci. 99: 49-86 (2004) |
| 83 | | Massimo Bartoletti,
Pierpaolo Degano,
Gian Luigi Ferrari:
Stack inspection and secure program transformations.
Int. J. Inf. Sec. 2(3-4): 187-217 (2004) |
| 82 | | Pierpaolo Degano:
Preface.
Sci. Comput. Program. 50(1-3): 1 (2004) |
| 81 | | Michele Curti,
Pierpaolo Degano,
Corrado Priami,
Cosima Tatiana Baldari:
Modelling biochemical pathways through enhanced pi-calculus.
Theor. Comput. Sci. 325(1): 111-140 (2004) |
| 2003 |
|---|
| 80 | | Pierpaolo Degano:
Programming Languages and Systems, 12th European Symposium on Programming, ESOP 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings
Springer 2003 |
| 79 | | Pierpaolo Degano,
Corrado Priami:
Enhanced Operational Semantics in Systems Biology.
CMSB 2003: 178-181 |
| 78 | | Michele Curti,
Pierpaolo Degano,
Cosima Tatiana Baldari:
Causal pi-Calculus for Biochemical Modelling.
CMSB 2003: 21-33 |
| 77 | | Chiara Bodei,
Mikael Buchholtz,
Pierpaolo Degano,
Flemming Nielson,
Hanne Riis Nielson:
Automatic Validation of Protocol Narration.
CSFW 2003: 126-140 |
| 76 | | Pierpaolo Degano,
Fabio Gadducci,
Corrado Priami:
Causality and Replication in Concurrent Processes.
Ershov Memorial Conference 2003: 307-318 |
| 75 | | Linda Brodo,
Pierpaolo Degano,
Stephen Gilmore,
Jane Hillston,
Corrado Priami:
Performance Evaluation for Global Computation.
Global Computing 2003: 229-253 |
| 74 | | Linda Brodo,
Pierpaolo Degano,
Corrado Priami:
Reflecting Mobile Ambients into the p-Calculus.
Global Computing 2003: 25-56 |
| 73 | | Massimo Bartoletti,
Pierpaolo Degano,
Gian Luigi Ferrari:
Security-Aware Program Transformations.
ICTCS 2003: 355-368 |
| 72 | | Chiara Bodei,
Pierpaolo Degano,
Riccardo Focardi,
Corrado Priami:
Authentication Primitives for Protocol Specifications.
PaCT 2003: 49-65 |
| 2002 |
|---|
| 71 | | Chiara Bodei,
Pierpaolo Degano,
Flemming Nielson,
Hanne Riis Nielson:
Flow logic for Dolev-Yao secrecy in cryptographic processes.
Future Generation Comp. Syst. 18(6): 747-756 (2002) |
| 70 | | Pierpaolo Degano,
Fabio Gadducci,
Corrado Priami:
A causal semantics for CCS via rewriting logic.
Theor. Comput. Sci. 275(1-2): 259-282 (2002) |
| 69 | | Chiara Bodei,
Pierpaolo Degano,
Riccardo Focardi,
Corrado Priami:
Primitives for authentication in process algebras.
Theor. Comput. Sci. 283(2): 271-304 (2002) |
| 2001 |
|---|
| 68 | | Chiara Bodei,
Pierpaolo Degano,
Flemming Nielson,
Hanne Riis Nielson:
Static Analysis for Secrecy and Non-interference in Networks of Processes.
PaCT 2001: 27-41 |
| 67 | | Chiara Bodei,
Pierpaolo Degano,
Flemming Nielson,
Hanne Riis Nielson:
Security Analysis Using Flow Logics.
Current Trends in Theoretical Computer Science 2001: 525-542 |
| 66 | | Pierpaolo Degano,
Corrado Priami:
Enhanced operational semantics.
ACM Comput. Surv. 33(2): 135-176 (2001) |
| 65 | | Massimo Bartoletti,
Pierpaolo Degano,
Gian Luigi Ferrari:
Static Analysis for Stack Inspection.
Electr. Notes Theor. Comput. Sci. 54: (2001) |
| 64 | | Chiara Bodei,
Pierpaolo Degano,
Riccardo Focardi,
Roberto Gorrieri,
Fabio Martinelli:
Techniques for Security Checking: Non-Interference vs Control Flow Analysis.
Electr. Notes Theor. Comput. Sci. 62: (2001) |
| 63 | | Chiara Nottegar,
Corrado Priami,
Pierpaolo Degano:
Performance Evaluation of Mobile Processes via Abstract Machines.
IEEE Trans. Software Eng. 27(10): 867-889 (2001) |
| 62 | | Chiara Bodei,
Pierpaolo Degano,
Flemming Nielson,
Hanne Riis Nielson:
Static Analysis for the pi-Calculus with Applications to Security.
Inf. Comput. 168(1): 68-92 (2001) |
| 61 | | Chiara Bodei,
Pierpaolo Degano,
Corrado Priami:
Names of the -calculus agents handled locally.
Theor. Comput. Sci. 253(2): 155-184 (2001) |
| 2000 |
|---|
| 60 | | Pierpaolo Degano,
Francesca Levi,
Chiara Bodei:
Safe Ambients: Control Flow Analysis and Security.
ASIAN 2000: 199-214 |
| 59 | | Linda Brodo,
Pierpaolo Degano,
Corrado Priami:
A tool for quantitative analysis of calculus processes.
ICALP Satellite Workshops 2000: 535-550 |
| 58 | | Chiara Bodei,
Pierpaolo Degano,
Flemming Nielson,
Hanne Riis Nielson:
Security Analysis using Flow Logics.
Bulletin of the EATCS 70: 112-130 (2000) |
| 1999 |
|---|
| 57 | | Chiara Bodei,
Pierpaolo Degano,
Riccardo Focardi,
Corrado Priami:
Authentication via Localized Names.
CSFW 1999: 98-110 |
| 56 | | Chiara Nottegar,
Corrado Priami,
Pierpaolo Degano:
Semantic-Driven Performance Evaluation (Extended Abstract).
FASE 1999: 204-218 |
| 55 | | Chiara Bodei,
Pierpaolo Degano,
Flemming Nielson,
Hanne Riis Nielson:
Static Analysis of Processes for No and Read-Up nad No Write-Down.
FoSSaCS 1999: 120-134 |
| 54 | | Pierpaolo Degano,
Roberto Gorrieri,
Alberto Marchetti-Spaccamela,
Peter Wegner:
Computing Surveys' Electronic Symposium on the Theory of Computation.
ACM Comput. Surv. 31(3): 223-226 (1999) |
| 53 | | Pierpaolo Degano,
Corrado Priami,
Lone Leth,
Bent Thomsen:
Causality for Debugging Mobile Agents.
Acta Inf. 36(5): 335-374 (1999) |
| 52 | | Pierpaolo Degano,
Corrado Priami:
Non-Interleaving Semantics for Mobile Processes.
Theor. Comput. Sci. 216(1-2): 237-270 (1999) |
| 1998 |
|---|
| 51 | | Chiara Bodei,
Pierpaolo Degano,
Flemming Nielson,
Hanne Riis Nielson:
Control Flow Analysis for the pi-calculus.
CONCUR 1998: 84-98 |
| 50 | | Chiara Bodei,
Pierpaolo Degano,
Corrado Priami:
Constructing Specific SOS Semantics for Concurrency via Abstract Interpretation.
SAS 1998: 168-183 |
| 49 | | Pierpaolo Degano,
Corrado Priami:
LR Techniques for Handling Syntax Errors.
Comput. Lang. 24(2): 73-98 (1998) |
| 48 | | Georgia Carabetta,
Pierpaolo Degano,
Fabio Gadducci:
CCS semantics via proved transition systems and rewriting logic.
Electr. Notes Theor. Comput. Sci. 15: (1998) |
| 1997 |
|---|
| 47 | | Pierpaolo Degano,
Roberto Gorrieri,
Alberto Marchetti-Spaccamela:
Automata, Languages and Programming, 24th International Colloquium, ICALP'97, Bologna, Italy, 7-11 July 1997, Proceedings
Springer 1997 |
| 1996 |
|---|
| 46 | | Chiara Bodei,
Pierpaolo Degano,
Corrado Priami:
Mobile Processes with a Distributed Environment.
ICALP 1996: 490-501 |
| 45 | | Flemming Nielson,
Patrick Cousot,
Mads Dam,
Pierpaolo Degano,
Pierre Jouvelot,
Alan Mycroft,
Bent Thomsen:
Logical and Operational Methods in the Analysis of Programs and Systems.
LOMAPS 1996: 1-21 |
| 44 | | Pierpaolo Degano,
Jean-Vincent Loddo,
Corrado Priami:
Mobile Processes with Local Clocks.
LOMAPS 1996: 296-319 |
| 43 | | Pierpaolo Degano,
Corrado Priami,
Lone Leth,
Bent Thomsen:
Analysis of Facile Programs: A Case Study.
LOMAPS 1996: 345-369 |
| 42 | | Roberta Borgia,
Pierpaolo Degano,
Corrado Priami,
Lone Leth,
Bent Thomsen:
Understanding Mobile Agents via a Non-Interleaving Semantics for Facile.
SAS 1996: 98-112 |
| 41 | | Pierpaolo Degano,
Corrado Priami:
Enhanced Operational Semantics.
ACM Comput. Surv. 28(2): 352-354 (1996) |
| 40 | | Pierpaolo Degano,
José Meseguer,
Ugo Montanari:
Axiomatizing the Algebra of Net Computations and Processes.
Acta Inf. 33(7): 641-667 (1996) |
| 1995 |
|---|
| 39 | | Alan Mycroft,
Pierpaolo Degano,
Corrado Priami:
Complexity as a Basis for Comparing Semantic Models of Concurrency.
ASIAN 1995: 141-155 |
| 38 | | Pierpaolo Degano,
Corrado Priami:
A Transitional Semantics of Full Prolog.
GULP-PRODE 1995: 511-520 |
| 37 | | Pierpaolo Degano,
Corrado Priami:
Causality for Mobile Processes.
ICALP 1995: 660-671 |
| 36 | | Alessandro Bianchi,
Stefano Coluccini,
Pierpaolo Degano,
Corrado Priami:
An Efficient Verifier of Truly Concurrent Properties.
PaCT 1995: 36-50 |
| 35 | | Pierpaolo Degano,
Leonarda Raffoni:
Fairness and Priority.
Fundam. Inform. 22(3): 299-306 (1995) |
| 34 | | Pierpaolo Degano,
Roberto Gorrieri:
A Causal Operational Semantics of Action Refinement
Inf. Comput. 122(1): 97-119 (1995) |
| 33 | | Pierpaolo Degano,
Corrado Priami:
Comparison of Syntactic Error Handling in LR Parsers.
Softw., Pract. Exper. 25(6): 657-679 (1995) |
| 1993 |
|---|
| 32 | | Pierpaolo Degano,
Roberto Gorrieri,
Sebastiano Vigna:
On Relating Some Models for Concurrency.
TAPSOFT 1993: 15-30 |
| 31 | | U. Bianchi,
Pierpaolo Degano,
Stefano Mannucci,
Simone Martini,
Bruno Mojana,
Corrado Priami,
E. Salvatori:
Generating the analytic component parts of syntax-directed editors with efficient-error recovery.
Journal of Systems and Software 23(1): 65-79 (1993) |
| 30 | | Pierpaolo Degano,
Rocco De Nicola,
Ugo Montanari:
Universal Axioms for Bisimulations.
Theor. Comput. Sci. 114(1): 63-91 (1993) |
| 29 | | Philippe Darondeau,
Pierpaolo Degano:
Refinement of Actions in Event Structures and Causal Trees.
Theor. Comput. Sci. 118(1): 21-48 (1993) |
| 1992 |
|---|
| 28 | | Pierpaolo Degano,
Corrado Priami:
Proved Trees.
ICALP 1992: 629-640 |
| 27 | | Pierpaolo Degano,
Rocco De Nicola,
Ugo Montanari:
Observation Trees.
NAPAW 1992: 103-118 |
| 26 | | Pierpaolo Degano,
Roberto Gorrieri,
Giuseppe Rosolini:
A Categorial View of Process Refinement.
REX Workshop 1992: 138-153 |
| 1991 |
|---|
| 25 | | Pierpaolo Degano,
Stefano Kasangian,
Sebastiano Vigna:
Applications of the Calculus of Trees to Process Description Languages.
Category Theory and Computer Science 1991: 282-301 |
| 24 | | Pierpaolo Degano,
Roberto Gorrieri:
Atomic Refinement in Process Description Languages.
MFCS 1991: 121-130 |
| 23 | | Philippe Darondeau,
Pierpaolo Degano:
About semantic action refinement.
Fundam. Inform. 14(2): 221-234 (1991) |
| 1990 |
|---|
| 22 | | Philippe Darondeau,
Pierpaolo Degano:
Event Structures, Causal Trees, and Refinements.
MFCS 1990: 239-245 |
| 21 | | Philippe Darondeau,
Pierpaolo Degano:
Causal Trees: Interleaving + Causality.
Semantics of Systems of Concurrent Processes 1990: 239-255 |
| 20 | | Pierpaolo Degano,
Rocco De Nicola,
Ugo Montanari:
A Partial Ordering Semantics for CCS.
Theor. Comput. Sci. 75(3): 223-262 (1990) |
| 1989 |
|---|
| 19 | | Philippe Darondeau,
Pierpaolo Degano:
Causal Trees.
ICALP 1989: 234-248 |
| 18 | | Pierpaolo Degano,
José Meseguer,
Ugo Montanari:
Axiomatizing Net Computations and Processes
LICS 1989: 175-185 |
| 17 | | Pierpaolo Degano,
Patrizia M. Gianni:
A Normal Form for Restricted Exponential Functions.
ITA 23(2): 217-231 (1989) |
| 1988 |
|---|
| 16 | | Pierpaolo Degano,
Rocco De Nicola,
Ugo Montanari:
On the Consistency of ``Truly Concurrent'' Operational and Denotational Semantics (Extended Abstract)
LICS 1988: 133-141 |
| 15 | | Pierpaolo Degano,
Rocco De Nicola,
Ugo Montanari:
Partial orderings descriptions and observations of nondeterministic concurrent processes.
REX Workshop 1988: 438-466 |
| 14 | | Pierpaolo Degano,
Stefano Mannucci,
Bruno Mojana:
Efficient Incremental LR Parsing for Syntax-Directed Editors.
ACM Trans. Program. Lang. Syst. 10(3): 345-373 (1988) |
| 13 | | Pierpaolo Degano,
Rocco De Nicola,
Ugo Montanari:
A Distributed Operational Semantics for CCS Based on Condition/Event Systems.
Acta Inf. 26(1/2): 59-91 (1988) |
| 1987 |
|---|
| 12 | | Pierpaolo Degano,
Roberto Gorrieri,
Sergio Marchetti:
An Exercise in Concurrency: a CSP Process as a Condition/ event System.
European Workshop on Applications and Theory of Petri Nets 1987: 85-105 |
| 11 | | Pierpaolo Degano,
Ugo Montanari:
A model for distributed systems based on graph rewriting.
J. ACM 34(2): 411-449 (1987) |
| 10 | | Pierpaolo Degano,
Ugo Montanari:
Concurrent Histories: A Basis for Observing Distributed Systems.
J. Comput. Syst. Sci. 34(2/3): 422-461 (1987) |
| 1986 |
|---|
| 9 | | Pierpaolo Degano,
Rocco De Nicola,
Ugo Montanari:
CCS is an (Augmented) Contact Free C/E System.
Mathematical Models for the Semantics of Parallelism 1986: 144-165 |
| 1985 |
|---|
| 8 | | Pierpaolo Degano,
Rocco De Nicola,
Ugo Montanari:
Partial ordering derivations for CCS.
FCT 1985: 520-533 |
| 7 | | Pierpaolo Degano,
Ugo Montanari:
Specification Languages for Distributed Systems.
TAPSOFT, Vol.1 1985: 29-51 |
| 1984 |
|---|
| 6 | | Pierpaolo Degano,
Ugo Montanari:
Liveness Properties as Convergence in Metric Spaces
STOC 1984: 31-38 |
| 5 | | Marco Bellia,
Enrico Dameri,
Pierpaolo Degano,
Giorgio Levi,
Maurizio Martelli:
A Formal Model for Lazy Implementations of a Prolog-Compatible Functional Language.
Implementations of Prolog 1984: 309-326 |
| 1982 |
|---|
| 4 | | Roberto Barbuti,
Pierpaolo Degano,
Giorgio Levi:
Toward an Inductionless Technique for Proving Properties of Logic Programs.
ICLP 1982: 175-181 |
| 3 | | Marco Bellia,
Enrico Dameri,
Pierpaolo Degano,
Giorgio Levi,
Maurizio Martelli:
Applicative communicating processes in first order logic.
Symposium on Programming 1982: 1-14 |
| 1980 |
|---|
| 2 | | Pierpaolo Degano,
A. Lomanto,
Franco Sirovich:
On Finding the Optimal Access Path to Resolve a Relational Data Base Query.
MFCS 1980: 219-230 |
| 1979 |
|---|
| 1 | | Patrizia Asirelli,
Pierpaolo Degano,
Giorgio Levi,
Alberto Martelli,
Ugo Montanari,
Giuliano Pacini,
Franco Sirovich,
Franco Turini:
A Flexible Environment for Program Development Based on a Symbolic Interpreter.
ICSE 1979: 251-264 |
