default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDRoberto Gorrieri
Person information
- affiliation: University of Bologna, Italy
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2025
[j57]Roberto Gorrieri
:
An algebraic theory of nondeterministic finite automata. J. Log. Algebraic Methods Program. 145: 101055 (2025)- 2024
- [i8]Roberto Gorrieri:
Axiomatizing NFAs Generated by Regular Grammars. CoRR abs/2402.00502 (2024) - 2023
- [j56]Arnaldo Cesco, Roberto Gorrieri:
Decidability of Two Truly Concurrent Equivalences for Finite Bounded Petri Nets. Log. Methods Comput. Sci. 19(4) (2023) - [i7]Roberto Gorrieri:
The Algebra of Nondeterministic Finite Automata. CoRR abs/2301.03435 (2023) - [i6]Roberto Gorrieri:
Distributed Non-Interference. CoRR abs/2301.08570 (2023) - [i5]Roberto Gorrieri:
Branching Place Bisimilarity. CoRR abs/2305.04222 (2023) - [i4]Roberto Gorrieri:
Compositional Semantics of Finite Petri Nets. CoRR abs/2308.08983 (2023) - 2022
- [j55]Roberto Gorrieri:
A study on team bisimulation and H-team bisimulation for BPP nets. Theor. Comput. Sci. 897: 83-113 (2022) - 2021
- [j54]Roberto Gorrieri:
Team bisimilarity, and its associated modal logic, for BPP nets. Acta Informatica 58(5): 529-569 (2021) - [j53]Roberto Gorrieri:
Causal Semantics for BPP Nets with Silent Moves. Fundam. Informaticae 180(3): 179-249 (2021) - [c92]Roberto Gorrieri:
Branching Place Bisimilarity: A Decidable Behavioral Equivalence for Finite Petri Nets with Silent Moves. FORTE 2021: 80-99 - [c91]Arnaldo Cesco, Roberto Gorrieri:
Decidability of Two Truly Concurrent Equivalences for Finite Bounded Petri Nets (11). ICTCS 2021: 135-149 - [c90]Arnaldo Cesco, Roberto Gorrieri:
A Decidable Equivalence for a Turing-Complete, Distributed Model of Computation. MFCS 2021: 28:1-28:18 - [i3]Roberto Gorrieri:
Place Bisimilarity is Decidable, Indeed! CoRR abs/2104.01392 (2021) - [i2]Arnaldo Cesco, Roberto Gorrieri:
Decidability of Two Truly Concurrent Equivalences for Finite Bounded Petri Nets. CoRR abs/2104.14856 (2021) - [i1]Arnaldo Cesco, Roberto Gorrieri:
A Decidable Equivalence for a Turing-complete, Distributed Model of Computation. CoRR abs/2104.14859 (2021) - 2020
- [j52]Roberto Gorrieri:
Team equivalences for finite-state machines with silent moves. Inf. Comput. 275: 104603 (2020) - [c89]Roberto Gorrieri:
Interleaving vs True Concurrency: Some Instructive Security Examples. Petri Nets 2020: 131-152 - [c88]Roberto Gorrieri:
A Study on Team Bisimulations for BPP Nets. Petri Nets 2020: 153-175
2010 – 2019
- 2019
- [c87]Roberto Gorrieri:
Axiomatizing Team Equivalence for Finite-State Machines. The Art of Modelling Computational Systems 2019: 14-32 - [p3]Roberto Gorrieri:
Toward Distributed Computability Theory. Carl Adam Petri: Ideas, Personality, Impact 2019: 141-146 - 2018
- [j51]Roberto Gorrieri:
Verification of finite-state machines: A distributed approach. J. Log. Algebraic Methods Program. 96: 65-80 (2018) - 2017
- [b2]Roberto Gorrieri:
Process Algebras for Petri Nets - The Alphabetization of Distributed Systems. Monographs in Theoretical Computer Science. An EATCS Series, Springer 2017, ISBN 978-3-319-55558-4, pp. 1-285 - [j50]Roberto Gorrieri:
CCS(25, 12) is Turing-complete. Fundam. Informaticae 154(1-4): 145-166 (2017) - 2016
- [j49]Roberto Gorrieri:
Language representability of finite place/transition Petri nets. Vietnam. J. Comput. Sci. 3(1): 15-34 (2016) - 2015
- [b1]Roberto Gorrieri, Cristian Versari:
Introduction to Concurrency Theory - Transition Systems and CCS. Texts in Theoretical Computer Science. An EATCS Series, Springer 2015, ISBN 978-3-319-21490-0, pp. 1-321 - [c86]Roberto Gorrieri:
Language Representability of Finite P/T Nets. Programming Languages with Applications to Biology and Security 2015: 262-282 - 2011
- [j48]Roberto Gorrieri, Cristian Versari:
An Operational Petri Net Semantics for A2CCS. Fundam. Informaticae 109(2): 135-160 (2011) - [c85]Roberto Gorrieri, Matteo Vernali:
On Intransitive Non-interference in Some Models of Concurrency. FOSAD 2011: 125-151 - [e13]Alessandro Aldini, Roberto Gorrieri:
Foundations of Security Analysis and Design VI - FOSAD Tutorial Lectures. Lecture Notes in Computer Science 6858, Springer 2011, ISBN 978-3-642-23081-3 [contents] - 2010
- [c84]Eike Best, Philippe Darondeau, Roberto Gorrieri:
On the Decidability of Non Interference over Unbounded Petri Nets. SecCo 2010: 16-33 - [c83]Roberto Gorrieri, Cristian Versari:
A Process Calculus for Expressing Finite Place/Transition Petri Nets. EXPRESS 2010: 76-90
2000 – 2009
- 2009
- [j47]Nadia Busi, Roberto Gorrieri:
Distributed semantics for the pi-calculus based on Petri nets with inhibitor arcs. J. Log. Algebraic Methods Program. 78(3): 138-162 (2009) - [j46]Nadia Busi, Roberto Gorrieri:
Structural non-interference in elementary and trace nets. Math. Struct. Comput. Sci. 19(6): 1065-1090 (2009) - [j45]Cristian Versari, Nadia Busi, Roberto Gorrieri:
An expressiveness study of priority in process calculi. Math. Struct. Comput. Sci. 19(6): 1161-1189 (2009) - [c82]Roland Meyer, Roberto Gorrieri:
On the Relationship between π-Calculus and Finite Place/Transition Petri Nets. CONCUR 2009: 463-480 - [c81]Roberto Gorrieri:
On Petri Net semantics for Process Calculi. ICTCS 2009: 3 - [e12]Pierpaolo Degano, Roberto Gorrieri:
Computational Methods in Systems Biology, 7th International Conference, CMSB 2009, Bologna, Italy, August 31-September 1, 2009. Proceedings. Lecture Notes in Computer Science 5688, Springer 2009, ISBN 978-3-642-03844-0 [contents] - [e11]Alessandro Aldini, Gilles Barthe, Roberto Gorrieri:
Foundations of Security Analysis and Design V, FOSAD 2007/2008/2009 Tutorial Lectures. Lecture Notes in Computer Science 5705, Springer 2009, ISBN 978-3-642-03828-0 [contents] - 2008
- [j44]Roberto Gorrieri, Fabio Martinelli, Marinella Petrocchi:
Formal Models and Analysis of Secure Multicast in Wired and Wireless Networks. J. Autom. Reason. 41(3-4): 325-364 (2008) - [c80]Roberto Gorrieri:
Ugo Montanari and Concurrency Theory. Concurrency, Graphs and Models 2008: 403-408 - [c79]Simone Frau, Roberto Gorrieri, Carlo Ferigato:
Petri Net Security Checker: Structural Non-interference at Work. Formal Aspects in Security and Trust 2008: 210-225 - [c78]Cristian Versari, Roberto Gorrieri:
pi@: A pi-Based Process Calculus for the Implementation of Compartmentalised Bio-inspired Calculi. SFM 2008: 449-506 - [c77]Roberto Gorrieri, Fabio Martinelli, Ilaria Matteucci:
Towards Information Flow Properties for Distributed Systems. VODCA@FOSAD 2008: 65-84 - 2007
- [j43]Roberto Gorrieri:
Obituary, Nadia Busi (1968-2007). Bull. EATCS 93: 18-19 (2007) - [c76]Cristian Versari, Nadia Busi, Roberto Gorrieri:
On the Expressive Power of Global and Local Priority in Process Calculi. CONCUR 2007: 241-255 - [e10]Alessandro Aldini, Roberto Gorrieri:
Foundations of Security Analysis and Design IV, FOSAD 2006/2007 Tutorial Lectures. Lecture Notes in Computer Science 4677, Springer 2007, ISBN 978-3-540-74809-0 [contents] - 2006
- [j42]Roberto Gorrieri, Roberto Lucchi, Gianluigi Zavattaro:
Supporting Secure Coordination in SecSpaces. Fundam. Informaticae 73(4): 479-506 (2006) - [j41]Nadia Busi, Roberto Gorrieri:
On the Computational Power of Brane Calculi. Trans. Comp. Sys. Biology 6: 16-43 (2006) - [c75]Nadia Busi, Roberto Gorrieri, Claudio Guidi, Roberto Lucchi, Gianluigi Zavattaro:
Choreography and Orchestration Conformance for System Design. COORDINATION 2006: 63-81 - [c74]Claudio Guidi, Roberto Lucchi, Roberto Gorrieri, Nadia Busi, Gianluigi Zavattaro:
: A Calculus for Service Oriented Computing. ICSOC 2006: 327-338 - [e9]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. Lecture Notes in Computer Science 4037, Springer 2006, ISBN 3-540-34893-X [contents] - 2005
- [j40]Roberto Gorrieri, Fabio Martinelli:
Theoretical foundations of security analysis and design II. Theor. Comput. Sci. 340(1): 1-2 (2005) - [j39]Mario Bravetti, Roberto Gorrieri, Roberto Lucchi, Gianluigi Zavattaro:
Quantitative information in the tuple space coordination model. Theor. Comput. Sci. 346(1): 28-57 (2005) - [c73]Roberto Gorrieri, Claudio Guidi, Roberto Lucchi:
Reasoning About Interaction Patterns in Choreography. EPEW/WS-FM 2005: 333-348 - [c72]Nadia Busi, Roberto Gorrieri, Claudio Guidi, Roberto Lucchi, Gianluigi Zavattaro:
Choreography and Orchestration: A Synergic Approach for System Design. ICSOC 2005: 228-240 - [c71]Nadia Busi, Roberto Gorrieri, Claudio Guidi, Roberto Lucchi, Gianluigi Zavattaro:
Towards a formal framework for Choreography. WETICE 2005: 107-112 - [c70]Roberto Gorrieri, Fabio Martinelli, Marinella Petrocchi:
A Formalization of Credit and Responsibility Within the GNDC Schema. STM 2005: 61-78 - [e8]Nadia Busi, Roberto Gorrieri, Fabio Martinelli:
Proceedings of the 2nd International Workshop on Security Issues with Petri Nets and other Computational Models, WISP@ICATPN 2004, Bologna, Italy, June 26, 2004. Electronic Notes in Theoretical Computer Science 121, Elsevier 2005 [contents] - [e7]Alessandro Aldini, Roberto Gorrieri, Fabio Martinelli:
Foundations of Security Analysis and Design III, FOSAD 2004/2005 Tutorial Lectures. Lecture Notes in Computer Science 3655, Springer 2005, ISBN 3-540-28955-0 [contents] - 2004
- [j38]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) - [j37]Alessandro Aldini, Mario Bravetti, Roberto Gorrieri:
A process-algebraic approach for the analysis of probabilistic noninterference. J. Comput. Secur. 12(2): 191-245 (2004) - [j36]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) - [c69]Nadia Busi, Roberto Gorrieri:
Positive Non-interference in Elementary and Trace Nets. ICATPN 2004: 1-16 - [c68]Mario Bravetti, Roberto Gorrieri, Roberto Lucchi, Gianluigi Zavattaro:
Probabilistic and Prioritized Data Retrieval in the Linda Coordination Model. COORDINATION 2004: 55-70 - [c67]Angelo Troina, Alessandro Aldini, Roberto Gorrieri:
Towards a Formal Treatment of Secrecy Against Computational Adversaries. Global Computing 2004: 77-92 - [c66]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 - [c65]Mario Bravetti, Roberto Lucchi, Gianluigi Zavattaro, Roberto Gorrieri:
Web Services for E-commerce: guaranteeing security access and quality of service. SAC 2004: 800-806 - [c64]Vincenzo Ciaschini, Roberto Gorrieri:
Contrasting Malicious Java Applets by Modifying the Java Virtual Machine. SEC 2004: 47-64 - [c63]Nadia Busi, Roberto Gorrieri, Fabio Martinelli:
Preface. WISP@ICATPN 2004: 1-2 - [c62]Mario Bravetti, Roberto Gorrieri, Roberto Lucchi, Gianluigi Zavattaro:
On the Expressiveness of Probabilistic and Prioritized Data-retrieval in Linda. SecCo 2004: 39-53 - [e6]Riccardo Focardi, Roberto Gorrieri:
Foundations of Security Analysis and Design II, FOSAD 2001/2002 Tutorial Lectures. Lecture Notes in Computer Science 2946, Springer 2004, ISBN 3-540-20955-7 [contents] - [e5]Mario Bravetti, Roberto Gorrieri:
Formal Methods for Security and Time: Proceedings of the MEFISTO Project 2003, MEFISTO 2003, Pisa, Italy, November 3-5, 2003. Electronic Notes in Theoretical Computer Science 99, Elsevier 2004 [contents] - 2003
- [j35]Alessandro Aldini, Marco Roccetti, Roberto Gorrieri:
On Securing Real-Time Speech Transmission over the Internet: An Experimental Study. EURASIP J. Adv. Signal Process. 2003(10): 1027-1042 (2003) - [j34]Riccardo Focardi, Roberto Gorrieri, Fabio Martinelli:
Real-time information flow analysis. IEEE J. Sel. Areas Commun. 21(1): 20-35 (2003) - [j33]Riccardo Focardi, Roberto Gorrieri, Fabio Martinelli:
A comparison of three authentication properties. Theor. Comput. Sci. 291(3): 285-327 (2003) - [c61]Nadia Busi, Roberto Gorrieri:
A Survey on Non-interference with Petri Nets. Lectures on Concurrency and Petri Nets 2003: 328-344 - [c60]Roberto Gorrieri, Fabio Martinelli, Marinella Petrocchi, Anna Vaccarelli:
Compositional Verification of Integrity for Digital Stream Signature Protocols. ACSD 2003: 142-149 - [c59]Roberto Gorrieri, Enrico Locatelli, Fabio Martinelli:
A Simple Language for Real-Time Cryptographic Protocol Analysis. ESOP 2003: 114-128 - [c58]Roberto Gorrieri, Fabio Martinelli, Marinella Petrocchi, Anna Vaccarelli:
Formal Anaylsis of Some Timed Security Properties in Wireless Protocols. FMOODS 2003: 139-154 - [c57]Alessandro Aldini, Roberto Gorrieri:
A Study about Trade-Off between Performance and Security in an Internet Audio Mechanism. Global Computing 2003: 203-228 - [c56]Roberto Gorrieri, Fabio Martinelli:
Process Algebraic Frameworks for the Specification and Analysis of Cryptographic Protocols. MFCS 2003: 46-67 - [c55]Mario Bravetti, Roberto Gorrieri:
Preface: Proceedings of the MEFISTO Project 2003, Formal Methods for Security and Time. MEFISTO 2003: 1-2 - [c54]Mario Bravetti, Roberto Gorrieri, Roberto Lucchi, Gianluigi Zavattaro:
Combining Partitions in SecSpaces. MEFISTO 2003: 31-47 - [c53]Mario Bravetti, Roberto Gorrieri, Roberto Lucchi:
A formal approach for checking security properties in SecSpaces. SecCo 2003: 54-70 - [c52]Angelo Troina, Alessandro Aldini, Roberto Gorrieri:
Approximating Imperfect Cryptography in a Formal Model. MEFISTO 2003: 183-203 - 2002
- [j32]Roberto Gorrieri, Ulrich Herzog, Jane Hillston:
Unified specification and performance evaluation using stochastic process algebras. Perform. Evaluation 50(2/3): 79-82 (2002) - [j31]Mario Bravetti, Roberto Gorrieri:
The theory of interactive generalized semi-Markov processes. Theor. Comput. Sci. 282(1): 5-32 (2002) - [j30]Roberto Gorrieri:
Editorial. Theor. Comput. Sci. 283(2): 269-270 (2002) - [j29]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) - [c51]Alessandro Aldini, Mario Bravetti, Alessandra Di Pierro, Roberto Gorrieri, Chris Hankin, Herbert Wiklicky:
Two Formal Approaches for Approximating Noninterference Properties. FOSAD 2002: 1-43 - [c50]Riccardo Focardi, Roberto Gorrieri, Fabio Martinelli:
Classification of Security Properties - Part II: Network Security. FOSAD 2002: 139-185 - [c49]Alessandro Aldini, Roberto Gorrieri:
Security Analysis of a Probabilistic Non-repudiation Protocol. PAPM-PROBMIV 2002: 17-36 - [c48]Nadia Busi, Roberto Gorrieri, Roberto Lucchi, Gianluigi Zavattaro:
SecSpaces: a Data-driven Coordination Model for Environments Open to Untrusted Agents. FOCLASA 2002: 310-327 - 2001
- [j28]Arend Rensink, Roberto Gorrieri:
Vertical Implementation. Inf. Comput. 170(1): 95-133 (2001) - [j27]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) - [j26]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) - [c47]Nadia Busi, Roberto Gorrieri, Gianluigi Zavattaro:
Temporary Data in Shared Dataspace Coordination Languages. FoSSaCS 2001: 121-136 - [c46]Antonio Durante, Riccardo Focardi, Roberto Gorrieri:
CVS at Work: A Report on New Failures upon Some Cryptographic Protocols. MMM-ACNS 2001: 287-299 - [c45]Chiara Bodei, Pierpaolo Degano, Riccardo Focardi, Roberto Gorrieri, Fabio Martinelli:
Techniques for Security Checking: Non-Interference vs Control Flow Analysis. TOSCA 2001: 211-228 - [c44]Riccardo Focardi, Roberto Gorrieri, Ruggero Lanotte, Andrea Maggiolo-Schettini, Fabio Martinelli, Simone Tini, Enrico Tronci:
Formal Models of Timing Attacks on Web Privacy. TOSCA 2001: 229-243 - [p2]Roberto Gorrieri, Arend Rensink:
Action Refinement. Handbook of Process Algebra 2001: 1047-1147 - [p1]Nadia Busi, Paolo Ciancarini, Roberto Gorrieri, Gianluigi Zavattaro:
Coordination Models: A Guided Tour. Coordination of Internet Agents: Models, Technologies, and Applications 2001: 6-24 - [e4]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]. Lecture Notes in Computer Science 2171, Springer 2001, ISBN 3-540-42896-8 [contents] - 2000
- [j25]Maria Felicia Florio, Roberto Gorrieri, Gianluigi Marchetti:
Coping with denial of service due to malicious Java applets. Comput. Commun. 23(17): 1645-1654 (2000) - [j24]Nadia Busi, Roberto Gorrieri, Gianluigi Zavattaro:
On the Expressiveness of Linda Coordination Primitives. Inf. Comput. 156(1-2): 90-121 (2000) - [j23]Nadia Busi, Roberto Gorrieri, Gianluigi Zavattaro:
Comparing three semantics for Linda-like languages. Theor. Comput. Sci. 240(1): 49-90 (2000) - [j22]Antonio Durante, Riccardo Focardi, Roberto Gorrieri:
A compiler for analyzing cryptographic protocols using noninterference. ACM Trans. Softw. Eng. Methodol. 9(4): 488-528 (2000) - [c43]Nadia Busi, Roberto Gorrieri, Gianluigi Zavattaro:
Process Calculi for Coordination: From Linda to JavaSpaces. AMAST 2000: 198-212 - [c42]Riccardo Focardi, Roberto Gorrieri, Fabio Martinelli:
Message Authentication through Non Interference. AMAST 2000: 258-272 - [c41]Riccardo Focardi, Roberto Gorrieri, Fabio Martinelli:
Information Flow Analysis in a Discrete-Time Process Algebra. CSFW 2000: 170-184 - [c40]Nadia Busi, Roberto Gorrieri, Gianluigi Zavattaro:
On the Semantics of JavaSpaces. FMOODS 2000: 3-19 - [c39]Riccardo Focardi, Roberto Gorrieri:
Classification of Security Properties (Part I: Information Flow). FOSAD 2000: 331-396 - [c38]Riccardo Focardi, Roberto Gorrieri, Fabio Martinelli:
Non Interference for the Analysis of Cryptographic Protocols. ICALP 2000: 354-372 - [c37]Roberto Gorrieri:
Introduction: International Workshop on Process Algebra and Performance Modelling. ICALP Satellite Workshops 2000: 485-486 - [c36]Mario Bravetti, Roberto Gorrieri:
A Complete Axiomatization for Observational Congruence of Prioritized Finite-State Behaviors. ICALP 2000: 744-755 - [e3]José D. P. Rolim, Andrei Z. Broder, Andrea Corradini, Roberto Gorrieri, Reiko Heckel, Juraj Hromkovic, Ugo Vaccaro, J. B. Wells:
ICALP Workshops 2000, Proceedings of the Satelite Workshops of the 27th International Colloquium on Automata, Languages and Programming, Geneva, Switzerland, July 9-15, 2000. Carleton Scientific, Waterloo, Ontario, Canada 2000, ISBN 1-894145-07-0 [contents]
1990 – 1999
- 1999
- [j21]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) - [c35]Antonio Durante, Riccardo Focardi, Roberto Gorrieri:
CVS: A Compiler for the Analysis of Cryptographic Protocols. CSFW 1999: 203-212 - [c34]Riccardo Focardi, Roberto Gorrieri, Fabio Martinelli:
Secrecy in Security Protocols as Non Interference. Workshop on Secure Architectures and Information Flow 1999: 101-112 - [c33]Mario Bravetti, Roberto Gorrieri:
Deciding and Axiomatizing ST Bisimulation for a Process Algebra with Recursion and Action Refinement. EXPRESS 1999: 107-126 - [e2]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. IFIP Conference Proceedings 139, Kluwer 1999, ISBN 0-7923-8429-6 [contents] - 1998
- [j20]Marco Bernardo, Roberto Gorrieri, Marco Roccetti:
Formal Performance Modelling and Evaluation of an Adaptive Mechanism for Packetised Audio over the Internet. Formal Aspects Comput. 10(4): 313-337 (1998) - [j19]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) - [j18]Flavio Corradini, Roberto Gorrieri, Davide Marchignoli:
Towards parallelization of concurrent systems. RAIRO Theor. Informatics Appl. 32(4-6): 99-125 (1998) - [j17]Roberto Gorrieri, Chris Hankin:
Foreword: Theoretical Aspects of Coordination Languages. Theor. Comput. Sci. 192(2): 163-165 (1998) - [j16]Nadia Busi, Roberto Gorrieri, Gianluigi Zavattaro:
A Process Algebraic View of Linda Coordination Primitives. Theor. Comput. Sci. 192(2): 167-199 (1998) - [j15]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) - [c32]Mario Bravetti, Marco Bernardo, Roberto Gorrieri:
Towards Performance Evaluation with General Distributions in Process Algebras. CONCUR 1998: 405-422 - [c31]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 - 1997
- [j14]Flavio Corradini, Roberto Gorrieri, Marco Roccetti:
Performance Preorder and Competitive Equivalence. Acta Informatica 34(11): 805-835 (1997) - [j13]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) - [c30]Nadia Busi, Roberto Gorrieri, Gianluigi Zavattaro:
Three Semantics of the Output Operation for Generative Communication. COORDINATION 1997: 205-219 - [c29]Arend Rensink, Roberto Gorrieri:
Action refinement for Vertical Implementation. FBT 1997: 69-78 - [c28]Arend Rensink, Roberto Gorrieri:
Action Refinement as an Implementation Relations. TAPSOFT 1997: 772-786 - [c27]Nadia Busi, Roberto Gorrieri, Gianluigi Zavattaro:
On the Turing equivalence of Linda coordination primitives. EXPRESS 1997: 75 - [e1]Pierpaolo Degano, Roberto Gorrieri, Alberto Marchetti-Spaccamela:
Automata, Languages and Programming, 24th International Colloquium, ICALP'97, Bologna, Italy, 7-11 July 1997, Proceedings. Lecture Notes in Computer Science 1256, Springer 1997, ISBN 3-540-63165-8 [contents] - 1996
- [j12]Roberto Gorrieri:
On the Power of Concurrency Theory. ACM Comput. Surv. 28(4es): 42 (1996) - [j11]Ursula Goltz, Roberto Gorrieri, Arend Rensink:
Comparing Syntactic and Semantic Sction Refinement. Inf. Comput. 125(2): 118-143 (1996) - [c26]Xiao Jun Chen, Flavio Corradini, Roberto Gorrieri:
A Study on the Specification and Verification of Performance Properties (Extended Abstract). AMAST 1996: 306-320 - [c25]Marco Bernardo, Roberto Gorrieri:
Extended Markovian Process Algebra. CONCUR 1996: 315-330 - [c24]Riccardo Focardi, Roberto Gorrieri:
Automatic Compositional Verification of Some Security Properties. TACAS 1996: 167-186 - 1995
- [j10]Marco Bernardo, Nadia Busi, Roberto Gorrieri:
A Distributed Semantics for EMPA Based on Stochastic Contextual Nets. Comput. J. 38(7): 492-509 (1995) - [j9]Roberto Gorrieri, Cosimo Laneve:
Split and ST Bisimulation Semantics. Inf. Comput. 118(2): 272-288 (1995) - [j8]Pierpaolo Degano, Roberto Gorrieri:
A Causal Operational Semantics of Action Refinement. Inf. Comput. 122(1): 97-119 (1995) - [j7]Riccardo Focardi, Roberto Gorrieri:
A Taxonomy of Security Properties for Process Algebras. J. Comput. Secur. 3(1): 5-34 (1995) - [j6]Roberto Gorrieri, Marco Roccetti, Enrico Stancampiano:
A Theory of Processes with Durational Actions. Theor. Comput. Sci. 140(1): 73-94 (1995) - [j5]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) - [c23]Nadia Busi, Roberto Gorrieri:
A Petri Net Semantics for pi-Calculus. CONCUR 1995: 145-159 - [c22]Riccardo Focardi, Roberto Gorrieri, V. Panini:
The security checker: a semantics-based tool for the verification of security properties. CSFW 1995: 60-69 - [c21]Flavio Corradini, Roberto Gorrieri, Marco Roccetti:
Performance Preorder: Ordering Processes with Respect to Speed. MFCS 1995: 444-453 - [c20]Marco Bernardo, Lorenzo Donatiello, Roberto Gorrieri:
Giving a net semantics to Markovian process algebra. PNPM 1995: 169-178 - 1994
- [c19]Roberto Gorrieri, Glauco Siliprandi:
Real-Time System Verification using P/T Nets. CAV 1994: 14-26 - [c18]Riccardo Focardi, Roberto Gorrieri:
A Taxonomy of Security Properties for CCS. CSFW 1994: 126-136 - [c17]Nadia Busi, Roberto Gorrieri:
Distributed Conflicts in Communicating Systems. ECOOP Workshop 1994: 49-65 - [c16]Marco Bernardo, Lorenzo Donatiello, Roberto Gorrieri:
Integrated analysis of concurrent distributed systems using Markovian process algebra. FORTE 1994: 455-457 - [c15]Nadia Busi, Rob J. van Glabbeek, Roberto Gorrieri:
Axiomatising ST-Bisimulation Equivalence. PROCOMET 1994: 169-188 - [c14]Ursula Goltz, Roberto Gorrieri, Arend Rensink:
On Syntactic and Semantic Action Refinement. TACS 1994: 385-404 - 1993
- [j4]Antonio Brogi, Roberto Gorrieri:
Distributed Logic Programming. J. Log. Program. 15(4): 295-335 (1993) - [c13]Roberto Gorrieri, Marco Roccetti:
Towards Performance Evaluation in Process Algebras. AMAST 1993: 289-296 - [c12]Pierpaolo Degano, Roberto Gorrieri, Sebastiano Vigna:
On Relating Some Models for Concurrency. TAPSOFT 1993: 15-30 - 1992
- [j3]Roberto Gorrieri:
A hierarchy of system descriptions via atomic linear refinement. Fundam. Informaticae 16(3-4): 289-336 (1992) - [c11]Pierpaolo Degano, Roberto Gorrieri, Giuseppe Rosolini:
A Categorial View of Process Refinement. REX Workshop 1992: 138-153 - 1991
- [c10]Roberto Gorrieri, Ugo Montanari:
Distributed Implementation of CCS. Applications and Theory of Petri Nets 1991: 244-266 - [c9]Pierpaolo Degano, Roberto Gorrieri:
Atomic Refinement in Process Description Languages. MFCS 1991: 121-130 - [c8]Roberto Gorrieri, Cosimo Laneve:
The Limit of Split_n-Bisimulations for CCS Agents. MFCS 1991: 170-180 - [c7]Gian-Luigi Ferrari, Roberto Gorrieri, Ugo Montanari:
An Extended Expansion Theorem. TAPSOFT, Vol.2 1991: 29-48 - 1990
- [j2]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) - [j1]Roberto Gorrieri, Sergio Marchetti, Ugo Montanari:
A2CCKS: Atomic Actions for CCS. Theor. Comput. Sci. 72(2&3): 203-223 (1990) - [c6]Roberto Gorrieri, Ugo Montanari:
SCONE: A Simple Calculus of Nets. CONCUR 1990: 2-30 - [c5]Andrea Asperti, Gian-Luigi Ferrari, Roberto Gorrieri:
Implicative Formulae in the "Proofs as Computations" Analogy. POPL 1990: 59-71
1980 – 1989
- 1989
- [c4]Antonio Brogi, Roberto Gorrieri:
Model Theoretic, Fixpoint and Operational Semantics for a Distributed Logic Language. ICLP 1989: 637-652 - [c3]Antonio Brogi, Roberto Gorrieri:
A Distributed, Net Oriented Semantics for Delta Prolog. TAPSOFT, Vol.1 1989: 162-177 - 1988
- [c2]Roberto Gorrieri, Sergio Marchetti, Ugo Montanari:
A²CCS: A Simple Extension of CCS for Handling Atomic Actions. CAAP 1988: 258-270 - 1987
- [c1]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
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-03-10 21:54 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
