| 2009 |
|---|
| 127 | EE | Roberto Gorrieri,
Fabio Martinelli,
Ilaria Matteucci:
Towards Information Flow Properties for Distributed Systems.
Electr. Notes Theor. Comput. Sci. 236: 65-84 (2009) |
| 2008 |
|---|
| 126 | EE | Roberto Gorrieri:
Ugo Montanari and Concurrency Theory.
Concurrency, Graphs and Models 2008: 403-408 |
| 125 | EE | Simone Frau,
Roberto Gorrieri,
Carlo Ferigato:
Petri Net Security Checker: Structural Non-interference at Work.
Formal Aspects in Security and Trust 2008: 210-225 |
| 124 | EE | Cristian Versari,
Roberto Gorrieri:
pi@: A pi-Based Process Calculus for the Implementation of Compartmentalised Bio-inspired Calculi.
SFM 2008: 449-506 |
| 123 | EE | Roberto Gorrieri,
Fabio Martinelli,
Marinella Petrocchi:
Formal Models and Analysis of Secure Multicast in Wired and Wireless Networks.
J. Autom. Reasoning 41(3-4): 325-364 (2008) |
| 2007 |
|---|
| 122 | | Alessandro Aldini,
Roberto Gorrieri:
Foundations of Security Analysis and Design IV, FOSAD 2006/2007 Tutorial Lectures
Springer 2007 |
| 121 | EE | Cristian Versari,
Nadia Busi,
Roberto Gorrieri:
On the Expressive Power of Global and Local Priority in Process Calculi.
CONCUR 2007: 241-255 |
| 2006 |
|---|
| 120 | | Roberto Gorrieri,
Heike Wehrheim:
Formal Methods for Open Object-Based Distributed Systems, 8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006, Proceedings
Springer 2006 |
| 119 | EE | Nadia Busi,
Roberto Gorrieri,
Claudio Guidi,
Roberto Lucchi,
Gianluigi Zavattaro:
Choreography and Orchestration Conformance for System Design.
COORDINATION 2006: 63-81 |
| 118 | EE | Claudio Guidi,
Roberto Lucchi,
Roberto Gorrieri,
Nadia Busi,
Gianluigi Zavattaro:
: A Calculus for Service Oriented Computing.
ICSOC 2006: 327-338 |
| 117 | EE | Roberto Gorrieri,
Fabio Martinelli,
Marinella Petrocchi:
A Formalization of Credit and Responsibility Within the GNDC Schema.
Electr. Notes Theor. Comput. Sci. 157(3): 61-78 (2006) |
| 116 | EE | Roberto Gorrieri,
Roberto Lucchi,
Gianluigi Zavattaro:
Supporting Secure Coordination in SecSpaces.
Fundam. Inform. 73(4): 479-506 (2006) |
| 115 | EE | Nadia Busi,
Roberto Gorrieri:
On the Computational Power of Brane Calculi.
T. Comp. Sys. Biology: 16-43 (2006) |
| 2005 |
|---|
| 114 | | Alessandro Aldini,
Roberto Gorrieri,
Fabio Martinelli:
Foundations of Security Analysis and Design III, FOSAD 2004/2005 Tutorial Lectures
Springer 2005 |
| 113 | EE | Roberto Gorrieri,
Claudio Guidi,
Roberto Lucchi:
Reasoning About Interaction Patterns in Choreography.
EPEW/WS-FM 2005: 333-348 |
| 112 | EE | Nadia Busi,
Roberto Gorrieri,
Claudio Guidi,
Roberto Lucchi,
Gianluigi Zavattaro:
Choreography and Orchestration: A Synergic Approach for System Design.
ICSOC 2005: 228-240 |
| 111 | EE | Nadia Busi,
Roberto Gorrieri,
Claudio Guidi,
Roberto Lucchi,
Gianluigi Zavattaro:
Towards a formal framework for Choreography.
WETICE 2005: 107-112 |
| 110 | EE | Nadia Busi,
Roberto Gorrieri,
Fabio Martinelli:
Preface.
Electr. Notes Theor. Comput. Sci. 121: 1-2 (2005) |
| 109 | EE | Mario Bravetti,
Roberto Gorrieri,
Roberto Lucchi,
Gianluigi Zavattaro:
On the Expressiveness of Probabilistic and Prioritized Data-retrieval in Linda.
Electr. Notes Theor. Comput. Sci. 128(5): 39-53 (2005) |
| 108 | EE | Roberto Gorrieri,
Fabio Martinelli:
Theoretical foundations of security analysis and design II.
Theor. Comput. Sci. 340(1): 1-2 (2005) |
| 107 | EE | Mario Bravetti,
Roberto Gorrieri,
Roberto Lucchi,
Gianluigi Zavattaro:
Quantitative information in the tuple space coordination model.
Theor. Comput. Sci. 346(1): 28-57 (2005) |
| 2004 |
|---|
| 106 | | Riccardo Focardi,
Roberto Gorrieri:
Foundations of Security Analysis and Design II, FOSAD 2001/2002 Tutorial Lectures
Springer 2004 |
| 105 | EE | Mario Bravetti,
Roberto Gorrieri,
Roberto Lucchi,
Gianluigi Zavattaro:
Probabilistic and Prioritized Data Retrieval in the Linda Coordination Model.
COORDINATION 2004: 55-70 |
| 104 | EE | Mario Bravetti,
Nadia Busi,
Roberto Gorrieri,
Roberto Lucchi,
Gianluigi Zavattaro:
Security Issues in the Tuple-Space Coordination Model.
Formal Aspects in Security and Trust 2004: 1-12 |
| 103 | EE | Angelo Troina,
Alessandro Aldini,
Roberto Gorrieri:
Towards a Formal Treatment of Secrecy Against Computational Adversaries.
Global Computing 2004: 77-92 |
| 102 | EE | Nadia Busi,
Roberto Gorrieri:
Positive Non-interference in Elementary and Trace Nets.
ICATPN 2004: 1-16 |
| 101 | EE | Mario Bravetti,
Roberto Lucchi,
Gianluigi Zavattaro,
Roberto Gorrieri:
Web Services for E-commerce: guaranteeing security access and quality of service.
SAC 2004: 800-806 |
| 100 | | Vincenzo Ciaschini,
Roberto Gorrieri:
Contrasting Malicious Java Applets by Modifying the Java Virtual Machine.
SEC 2004: 47-64 |
| 99 | EE | Mario Bravetti,
Roberto Gorrieri:
Preface: Proceedings of the MEFISTO Project 2003, Formal Methods for Security and Time.
Electr. Notes Theor. Comput. Sci. 99: 1-2 (2004) |
| 98 | EE | Angelo Troina,
Alessandro Aldini,
Roberto Gorrieri:
Approximating Imperfect Cryptography in a Formal Model.
Electr. Notes Theor. Comput. Sci. 99: 183-203 (2004) |
| 97 | EE | Mario Bravetti,
Roberto Gorrieri,
Roberto Lucchi,
Gianluigi Zavattaro:
Combining Partitions in SecSpaces.
Electr. Notes Theor. Comput. Sci. 99: 31-47 (2004) |
| 96 | EE | Roberto Gorrieri,
Ruggero Lanotte,
Andrea Maggiolo-Schettini,
Fabio Martinelli,
Simone Tini,
Enrico Tronci:
Automated analysis of timed security: a case study on web privacy.
Int. J. Inf. Sec. 2(3-4): 168-186 (2004) |
| 95 | | Alessandro Aldini,
Mario Bravetti,
Roberto Gorrieri:
A process-algebraic approach for the analysis of probabilistic noninterference.
Journal of Computer Security 12(2): 191-245 (2004) |
| 94 | EE | Roberto Gorrieri,
Fabio Martinelli:
A simple framework for real-time cryptographic protocol analysis with compositional proof rules.
Sci. Comput. Program. 50(1-3): 23-49 (2004) |
| 2003 |
|---|
| 93 | EE | Roberto Gorrieri,
Fabio Martinelli,
Marinella Petrocchi,
Anna Vaccarelli:
Compositional Verification of Integrity for Digital Stream Signature Protocols.
ACSD 2003: 142-149 |
| 92 | EE | Roberto Gorrieri,
Enrico Locatelli,
Fabio Martinelli:
A Simple Language for Real-Time Cryptographic Protocol Analysis.
ESOP 2003: 114-128 |
| 91 | EE | Roberto Gorrieri,
Fabio Martinelli,
Marinella Petrocchi,
Anna Vaccarelli:
Formal Anaylsis of Some Timed Security Properties in Wireless Protocols.
FMOODS 2003: 139-154 |
| 90 | EE | Alessandro Aldini,
Roberto Gorrieri:
A Study about Trade-Off between Performance and Security in an Internet Audio Mechanism.
Global Computing 2003: 203-228 |
| 89 | EE | Nadia Busi,
Roberto Gorrieri:
A Survey on Non-interference with Petri Nets.
Lectures on Concurrency and Petri Nets 2003: 328-344 |
| 88 | EE | Roberto Gorrieri,
Fabio Martinelli:
Process Algebraic Frameworks for the Specification and Analysis of Cryptographic Protocols.
MFCS 2003: 46-67 |
| 87 | EE | Nadia Busi,
Roberto Gorrieri,
Roberto Lucchi,
Gianluigi Zavattaro:
SecSpaces: a Data-driven Coordination Model for Environments Open to Untrusted Agents.
Electr. Notes Theor. Comput. Sci. 68(3): (2003) |
| 86 | EE | Mario Bravetti,
Roberto Gorrieri,
Roberto Lucchi:
A formal approach for checking security properties in SecSpaces.
Electr. Notes Theor. Comput. Sci. 85(3): (2003) |
| 85 | | Riccardo Focardi,
Roberto Gorrieri,
Fabio Martinelli:
A comparison of three authentication properties.
Theor. Comput. Sci. 291(3): 285-327 (2003) |
| 2002 |
|---|
| 84 | EE | Alessandro Aldini,
Mario Bravetti,
Alessandra Di Pierro,
Roberto Gorrieri,
Chris Hankin,
Herbert Wiklicky:
Two Formal Approaches for Approximating Noninterference Properties.
FOSAD 2002: 1-43 |
| 83 | EE | Riccardo Focardi,
Roberto Gorrieri,
Fabio Martinelli:
Classification of Security Properties - Part II: Network Security.
FOSAD 2002: 139-185 |
| 82 | EE | Alessandro Aldini,
Roberto Gorrieri:
Security Analysis of a Probabilistic Non-repudiation Protocol.
PAPM-PROBMIV 2002: 17-36 |
| 81 | EE | Mario Bravetti,
Roberto Gorrieri:
Deciding and axiomatizing weak ST bisimulation for a process algebra with recursion and action refinement.
ACM Trans. Comput. Log. 3(4): 465-520 (2002) |
| 80 | | Roberto Gorrieri,
Ulrich Herzog,
Jane Hillston:
Unified specification and performance evaluation using stochastic process algebras.
Perform. Eval. 50(2/3): 79-82 (2002) |
| 79 | EE | Mario Bravetti,
Roberto Gorrieri:
The theory of interactive generalized semi-Markov processes.
Theor. Comput. Sci. 282(1): 5-32 (2002) |
| 78 | EE | Roberto Gorrieri:
Editorial.
Theor. Comput. Sci. 283(2): 269-270 (2002) |
| 2001 |
|---|
| 77 | | Riccardo Focardi,
Roberto Gorrieri:
Foundations of Security Analysis and Design, Tutorial Lectures [revised versions of lectures given during the IFIP WG 1.7 International School on Foundations of Security Analysis and Design, FOSAD 2000, Bertinoro, Italy, September 2000]
Springer 2001 |
| 76 | EE | Nadia Busi,
Roberto Gorrieri,
Gianluigi Zavattaro:
Temporary Data in Shared Dataspace Coordination Languages.
FoSSaCS 2001: 121-136 |
| 75 | EE | Antonio Durante,
Riccardo Focardi,
Roberto Gorrieri:
CVS at Work: A Report on New Failures upon Some Cryptographic Protocols.
MMM-ACNS 2001: 287-299 |
| 74 | | Nadia Busi,
Paolo Ciancarini,
Roberto Gorrieri,
Gianluigi Zavattaro:
Coordination Models: A Guided Tour.
Coordination of Internet Agents: Models, Technologies, and Applications 2001: 6-24 |
| 73 | EE | Alessandro Aldini,
Marco Bernardo,
Roberto Gorrieri,
Marco Roccetti:
Comparing the QoS of Internet audio mechanisms via formal methods.
ACM Trans. Model. Comput. Simul. 11(1): 1-42 (2001) |
| 72 | EE | Riccardo Focardi,
Roberto Gorrieri,
Ruggero Lanotte,
Andrea Maggiolo-Schettini,
Fabio Martinelli,
Simone Tini,
Enrico Tronci:
Formal Models of Timing Attacks on Web Privacy.
Electr. Notes Theor. Comput. Sci. 62: (2001) |
| 71 | EE | 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) |
| 70 | | Arend Rensink,
Roberto Gorrieri:
Vertical Implementation.
Inf. Comput. 170(1): 95-133 (2001) |
| 69 | EE | Marco Bernardo,
Roberto Gorrieri:
Corrigendum to ``A tutorial on EMPA: a theory of concurrent processes with nondeterminism, priorities, probabilities and time'' - [TCS 202 (1998) 1-54].
Theor. Comput. Sci. 254(1-2): 691-694 (2001) |
| 2000 |
|---|
| 68 | EE | Nadia Busi,
Roberto Gorrieri,
Gianluigi Zavattaro:
Process Calculi for Coordination: From Linda to JavaSpaces.
AMAST 2000: 198-212 |
| 67 | EE | Riccardo Focardi,
Roberto Gorrieri,
Fabio Martinelli:
Message Authentication through Non Interference.
AMAST 2000: 258-272 |
| 66 | EE | Riccardo Focardi,
Roberto Gorrieri,
Fabio Martinelli:
Information Flow Analysis in a Discrete-Time Process Algebra.
CSFW 2000: 170-184 |
| 65 | | Nadia Busi,
Roberto Gorrieri,
Gianluigi Zavattaro:
On the Semantics of JavaSpaces.
FMOODS 2000: 3- |
| 64 | EE | Riccardo Focardi,
Roberto Gorrieri:
Classification of Security Properties (Part I: Information Flow).
FOSAD 2000: 331-396 |
| 63 | EE | Riccardo Focardi,
Roberto Gorrieri,
Fabio Martinelli:
Non Interference for the Analysis of Cryptographic Protocols.
ICALP 2000: 354-372 |
| 62 | EE | Mario Bravetti,
Roberto Gorrieri:
A Complete Axiomatization for Observational Congruence of Prioritized Finite-State Behaviors.
ICALP 2000: 744-755 |
| 61 | | Roberto Gorrieri:
Introduction: International Workshop on Process Algebra and Performance Modelling.
ICALP Satellite Workshops 2000: 485-486 |
| 60 | EE | Antonio Durante,
Riccardo Focardi,
Roberto Gorrieri:
A compiler for analyzing cryptographic protocols using noninterference.
ACM Trans. Softw. Eng. Methodol. 9(4): 488-528 (2000) |
| 59 | EE | Maria Felicia Florio,
Roberto Gorrieri,
Gianluigi Marchetti:
Coping with denial of service due to malicious Java applets.
Computer Communications 23(17): 1645-1654 (2000) |
| 58 | EE | Riccardo Focardi,
Roberto Gorrieri,
Fabio Martinelli:
Secrecy in Security Protocols as Non Interference.
Electr. Notes Theor. Comput. Sci. 32: (2000) |
| 57 | | Nadia Busi,
Roberto Gorrieri,
Gianluigi Zavattaro:
On the Expressiveness of Linda Coordination Primitives.
Inf. Comput. 156(1-2): 90-121 (2000) |
| 56 | EE | Nadia Busi,
Roberto Gorrieri,
Gianluigi Zavattaro:
Comparing three semantics for Linda-like languages.
Theor. Comput. Sci. 240(1): 49-90 (2000) |
| 1999 |
|---|
| 55 | | Paolo Ciancarini,
Alessandro Fantechi,
Roberto Gorrieri:
Formal Methods for Open Object-Based Distributed Systems, IFIF TC6/WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS), February 15-18, 1999, Florence, Italy
Kluwer 1999 |
| 54 | EE | Antonio Durante,
Riccardo Focardi,
Roberto Gorrieri:
CVS: A Compiler for the Analysis of Cryptographic Protocols.
CSFW 1999: 203-212 |
| 53 | EE | 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) |
| 52 | EE | Mario Bravetti,
Roberto Gorrieri:
Deciding and Axiomatizing ST Bisimulation for a Process Algebra with Recursion and Action Refinement.
Electr. Notes Theor. Comput. Sci. 27: (1999) |
| 1998 |
|---|
| 51 | EE | Mario Bravetti,
Marco Bernardo,
Roberto Gorrieri:
Towards Performance Evaluation with General Distributions in Process Algebras.
CONCUR 1998: 405-422 |
| 50 | EE | Roberto Gorrieri,
Paul F. Syverson,
Martín Abadi,
Riccardo Focardi,
Dieter Gollmann,
Gavin Lowe,
Catherine Meadows:
Panel Introduction: Varieties of Authentication.
CSFW 1998: 79-82 |
| 49 | EE | Marco Bernardo,
Roberto Gorrieri,
Marco Roccetti:
Formal Performance Modelling and Evaluation of an Adaptive Mechanism for Packetised Audio over the Internet.
Formal Asp. Comput. 10(4): 313-337 (1998) |
| 48 | | Marco Bernardo,
Lorenzo Donatiello,
Roberto Gorrieri:
A Formal Approach to the Integration of Performance Aspects in the Modeling and Analysis of Concurrent Systems.
Inf. Comput. 144(2): 83-154 (1998) |
| 47 | EE | Roberto Gorrieri,
Chris Hankin:
Foreword: Theoretical Aspects of Coordination Languages.
Theor. Comput. Sci. 192(2): 163-165 (1998) |
| 46 | EE | Nadia Busi,
Roberto Gorrieri,
Gianluigi Zavattaro:
A Process Algebraic View of Linda Coordination Primitives.
Theor. Comput. Sci. 192(2): 167-199 (1998) |
| 45 | EE | Marco Bernardo,
Roberto Gorrieri:
A Tutorial on EMPA: A Theory of Concurrent Processes with Nondeterminism, Priorities, Probabilities and Time.
Theor. Comput. Sci. 202(1-2): 1-54 (1998) |
| 1997 |
|---|
| 44 | | 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 |
| 43 | | Nadia Busi,
Roberto Gorrieri,
Gianluigi Zavattaro:
Three Semantics of the Output Operation for Generative Communication.
COORDINATION 1997: 205-219 |
| 42 | | Arend Rensink,
Roberto Gorrieri:
Action refinement for Vertical Implementation.
FBT 1997: 69-78 |
| 41 | | Arend Rensink,
Roberto Gorrieri:
Action Refinement as an Implementation Relations.
TAPSOFT 1997: 772-786 |
| 40 | EE | Flavio Corradini,
Roberto Gorrieri,
Marco Roccetti:
Performance Preorder and Competitive Equivalence.
Acta Inf. 34(11): 805-835 (1997) |
| 39 | EE | Nadia Busi,
Roberto Gorrieri,
Gianluigi Zavattaro:
On the Turing equivalence of Linda coordination primitives.
Electr. Notes Theor. Comput. Sci. 7: (1997) |
| 38 | EE | Riccardo Focardi,
Roberto Gorrieri:
The Compositional Security Checker: A Tool for the Verification of Information Flow Security Properties.
IEEE Trans. Software Eng. 23(9): 550-571 (1997) |
| 1996 |
|---|
| 37 | | Xiao Jun Chen,
Flavio Corradini,
Roberto Gorrieri:
A Study on the Specification and Verification of Performance Properties (Extended Abstract).
AMAST 1996: 306-320 |
| 36 | | Marco Bernardo,
Roberto Gorrieri:
Extended Markovian Process Algebra.
CONCUR 1996: 315-330 |
| 35 | | Riccardo Focardi,
Roberto Gorrieri:
Automatic Compositional Verification of Some Security Properties.
TACAS 1996: 167-186 |
| 34 | | Roberto Gorrieri:
On the Power of Concurrency Theory.
ACM Comput. Surv. 28(4es): 42 (1996) |
| 33 | | Ursula Goltz,
Roberto Gorrieri,
Arend Rensink:
Comparing Syntactic and Semantic Sction Refinement.
Inf. Comput. 125(2): 118-143 (1996) |
| 1995 |
|---|
| 32 | | Nadia Busi,
Roberto Gorrieri:
A Petri Net Semantics for pi-Calculus.
CONCUR 1995: 145-159 |
| 31 | EE | Riccardo Focardi,
Roberto Gorrieri,
V. Panini:
The security checker: a semantics-based tool for the verification of security properties.
CSFW 1995: 60-69 |
| 30 | | Flavio Corradini,
Roberto Gorrieri,
Marco Roccetti:
Performance Preorder: Ordering Processes with Respect to Speed.
MFCS 1995: 444-453 |
| 29 | | Marco Bernardo,
Nadia Busi,
Roberto Gorrieri:
A Distributed Semantics for EMPA Based on Stochastic Contextual Nets.
Comput. J. 38(7): 492-509 (1995) |
| 28 | | Roberto Gorrieri,
Cosimo Laneve:
Split and ST Bisimulation Semantics
Inf. Comput. 118(2): 272-288 (1995) |
| 27 | | Pierpaolo Degano,
Roberto Gorrieri:
A Causal Operational Semantics of Action Refinement
Inf. Comput. 122(1): 97-119 (1995) |
| 26 | | Riccardo Focardi,
Roberto Gorrieri:
A Taxonomy of Security Properties for Process Algebras.
Journal of Computer Security 3(1): 5-34 (1995) |
| 25 | EE | Roberto Gorrieri,
Marco Roccetti,
Enrico Stancampiano:
A Theory of Processes with Durational Actions.
Theor. Comput. Sci. 140(1): 73-94 (1995) |
| 24 | EE | Roberto Gorrieri,
Ugo Montanari:
On the Implementation of Concurrent Calculi in Net Calculi: Two Case Studies.
Theor. Comput. Sci. 141(1&2): 195-252 (1995) |
| 1994 |
|---|
| 23 | | Roberto Gorrieri,
Glauco Siliprandi:
Real-Time System Verification using P/T Nets.
CAV 1994: 14-26 |
| 22 | | Riccardo Focardi,
Roberto Gorrieri:
A Taxonomy of Security Properties for CCS.
CSFW 1994: 126-136 |
| 21 | | Nadia Busi,
Roberto Gorrieri:
Distributed Conflicts in Communicating Systems.
ECOOP Workshop 1994: 49-65 |
| 20 | | Marco Bernardo,
Lorenzo Donatiello,
Roberto Gorrieri:
Integrated analysis of concurrent distributed systems using Markovian process algebra.
FORTE 1994: 455-457 |
| 19 | | Nadia Busi,
Rob J. van Glabbeek,
Roberto Gorrieri:
Axiomatising ST-Bisimulation Equivalence.
PROCOMET 1994: 169-188 |
| 18 | | Ursula Goltz,
Roberto Gorrieri,
Arend Rensink:
On Syntactic and Semantic Action Refinement.
TACS 1994: 385-404 |
| 1993 |
|---|
| 17 | | Roberto Gorrieri,
Marco Roccetti:
Towards Performance Evaluation in Process Algebras.
AMAST 1993: 289-296 |
| 16 | | Pierpaolo Degano,
Roberto Gorrieri,
Sebastiano Vigna:
On Relating Some Models for Concurrency.
TAPSOFT 1993: 15-30 |
| 15 | | Antonio Brogi,
Roberto Gorrieri:
Distributed Logic Programming.
J. Log. Program. 15(4): 295-335 (1993) |
| 1992 |
|---|
| 14 | | Pierpaolo Degano,
Roberto Gorrieri,
Giuseppe Rosolini:
A Categorial View of Process Refinement.
REX Workshop 1992: 138-153 |
| 13 | | Roberto Gorrieri:
A hierarchy of system descriptions via atomic linear refinement.
Fundam. Inform. 16(3-4): 289-336 (1992) |
| 1991 |
|---|
| 12 | | Roberto Gorrieri,
Ugo Montanari:
Distributed Implementation of CCS.
Applications and Theory of Petri Nets 1991: 244-266 |
| 11 | | Pierpaolo Degano,
Roberto Gorrieri:
Atomic Refinement in Process Description Languages.
MFCS 1991: 121-130 |
| 10 | | Roberto Gorrieri,
Cosimo Laneve:
The Limit of Split_n-Bisimulations for CCS Agents.
MFCS 1991: 170-180 |
| 9 | | Gian Luigi Ferrari,
Roberto Gorrieri,
Ugo Montanari:
An Extended Expansion Theorem.
TAPSOFT, Vol.2 1991: 29-48 |
| 1990 |
|---|
| 8 | | Roberto Gorrieri,
Ugo Montanari:
SCONE: A Simple Calculus of Nets.
CONCUR 1990: 2-30 |
| 7 | | Andrea Asperti,
Gian Luigi Ferrari,
Roberto Gorrieri:
Implicative Formulae in the ``Proofs as Computations'' Analogy.
POPL 1990: 59-71 |
| 6 | | Roberto Gorrieri,
Ugo Montanari:
Towards Hierarchical Description of Systems: A Proof System for Strong Prefixing.
Int. J. Found. Comput. Sci. 1(3): 277-294 (1990) |
| 5 | | Roberto Gorrieri,
Sergio Marchetti,
Ugo Montanari:
A2CCKS: Atomic Actions for CCS.
Theor. Comput. Sci. 72(2&3): 203-223 (1990) |
| 1989 |
|---|
| 4 | | Antonio Brogi,
Roberto Gorrieri:
Model Theoretic, Fixpoint and Operational Semantics for a Distributed Logic Language.
ICLP 1989: 637-652 |
| 3 | | Antonio Brogi,
Roberto Gorrieri:
A Distributed, Net Oriented Semantics for Delta Prolog.
TAPSOFT, Vol.1 1989: 162-177 |
| 1988 |
|---|
| 2 | | Roberto Gorrieri,
Sergio Marchetti,
Ugo Montanari:
A²CCS: A Simple Extension of CCS for Handling Atomic Actions.
CAAP 1988: 258-270 |
| 1987 |
|---|
| 1 | | 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 |
