Davide Sangiorgi

182 papers A* 27A 1B 23C 4Journal 72Unranked 45
YearRankTypeTitle / Venue / Authors
2026 — conf
Unique-Solution of Equations in Higher-Order Process Calculi with Passivation.
Components Operationally: Reversibility and System Engineering: Essays Dedicated to Jean-Bernard Stefani on the Occasion of His 65th Birthday
Davide Sangiorgi
2025 J jnl
Extensional and Non-extensional Functions as Processes.
Log. Methods Comput. Sci.
Ken Sakayori, Davide Sangiorgi
2025 B conf
First-Order Store and Visibility in Name-Passing Calculi.
CONCUR
Daniel Hirschkoff, Iwan Quémerais, Davide Sangiorgi
2025 J jnl
First-order store and visibility in name-passing calculi.
CoRR
Daniel Hirschkoff, Iwan Quémerais, Davide Sangiorgi
2025 J jnl
Games, mobile processes, and functions.
CoRR
Guilhem Jaber, Davide Sangiorgi
2025 — conf
Proof Techniques for Behavioural Relations Based on Unique-Solutions of Equations and Inequations.
Rebeca for Actor Analysis in Action
Adrien Durier, Daniel Hirschkoff, Davide Sangiorgi
2024 — conf
An Abstract Account of Up-to Techniques for Inductive Behavioural Relations.
ISoLA (1)
Davide Sangiorgi
2024 J jnl
An Abstract Account of Up-to Techniques for Inductive Behavioural Relations.
CoRR
Davide Sangiorgi
2024 J jnl
Extensional and Non-extensional Functions as Processes.
CoRR
Ken Sakayori, Davide Sangiorgi
2023 — conf
EXPRESSing Session Types.
EXPRESS/SOS
Ilaria Castellani, Ornela Dardha, Luca Padovani, Davide Sangiorgi
2023 B conf
Enhanced Induction in Behavioural Relations (Invited Talk).
CSL
Davide Sangiorgi
2023 A* conf
Extensional and Non-extensional Functions as Processes.
LICS
Ken Sakayori, Davide Sangiorgi
2022 B conf
CONCUR Test-Of-Time Award 2022 (Invited Paper).
CONCUR
Ilaria Castellani, Paul Gastin, Orna Kupferman, Mickael Randour, Davide Sangiorgi
2022 J jnl
Eager Functions as Processes (long version).
CoRR
Adrien Durier, Daniel Hirschkoff, Davide Sangiorgi
2022 J jnl
Eager functions as processes.
Theor. Comput. Sci.
Adrien Durier, Daniel Hirschkoff, Davide Sangiorgi
2022 J jnl
From enhanced coinduction towards enhanced induction.
Proc. ACM Program. Lang.
Davide Sangiorgi
2022 B conf
Games, Mobile Processes, and Functions.
CSL
Guilhem Jaber, Davide Sangiorgi
2022 J jnl
Interviews with the 2022 CONCUR Test-of-Time Award Recipients.
Bull. EATCS
Luca Aceto, Orna Kupferman, Mickael Randour, Davide Sangiorgi
2022 C conf
Session Types Revisited: A Decade Later.
PPDP
Ornela Dardha, Elena Giachino, Davide Sangiorgi
2021 J jnl
Eager Functions as Processes.
CoRR
Adrien Durier, Daniel Hirschkoff, Davide Sangiorgi
2021 J jnl
Modular coinduction up-to for higher-order languages via first-order transition systems.
Log. Methods Comput. Sci.
Jean-Marie Madiot, Damien Pous, Davide Sangiorgi
2021 A* conf
On sequentiality and well-bracketing in the π-calculus.
LICS
Daniel Hirschkoff, Enguerrand Prebet, Davide Sangiorgi
2021 J jnl
On sequentiality and well-bracketing in the π-calculus.
CoRR
Daniel Hirschkoff, Enguerrand Prebet, Davide Sangiorgi
2020 J jnl
Modular coinduction up-to for higher-order languages via first-order transition systems.
CoRR
Jean-Marie Madiot, Damien Pous, Davide Sangiorgi
2020 B conf
On the Representation of References in the Pi-Calculus.
CONCUR
Daniel Hirschkoff, Enguerrand Prebet, Davide Sangiorgi
2020 — conf
The Servers of Serverless Computing: A Formal Revisitation of Functions as a Service.
Gabbrielli's Festschrift
Saverio Giallorenzo, Ivan Lanese, Fabrizio Montesi, Davide Sangiorgi, Stefano Pio Zingaro
2020 J jnl
Towards 'up to context' reasoning about higher-order processes.
Theor. Comput. Sci.
Adrien Durier, Daniel Hirschkoff, Davide Sangiorgi
2020 J jnl
Unique solutions of contractions, CCS, and their HOL formalisation.
Inf. Comput.
Chun Tian, Davide Sangiorgi
2019 — conf
Asynchronous \pi -calculus at Work: The Call-by-Need Strategy.
The Art of Modelling Computational Systems
Davide Sangiorgi
2019 J jnl
Bisimulation and Coinduction Enhancements: A Historical Perspective.
Formal Aspects Comput.
Damien Pous, Davide Sangiorgi
2019 J jnl
Divergence and unique solution of equations.
Log. Methods Comput. Sci.
Adrien Durier, Daniel Hirschkoff, Davide Sangiorgi
2019 J jnl
Environmental Bisimulations for Probabilistic Higher-order Languages.
ACM Trans. Program. Lang. Syst.
Davide Sangiorgi, Valeria Vignudelli
2019 — conf
Modeling Imperative Constructs in the Pi-Calculus.
ICTCS
Daniel Hirschkoff, Enguerrand Prebet, Davide Sangiorgi
2019 — conf
Playing with Bisimulation in Erlang.
Models, Languages, and Tools for Concurrent and Distributed Programming
Ivan Lanese, Davide Sangiorgi, Gianluigi Zavattaro
2018 — conf
Bisimilarity Via Unique-Solution Techniques.
ICTCS
Davide Sangiorgi
2018 J jnl
Divergence and unique solution of equations.
CoRR
Adrien Durier, Daniel Hirschkoff, Davide Sangiorgi
2018 A* conf
Eager Functions as Processes.
LICS
Adrien Durier, Daniel Hirschkoff, Davide Sangiorgi
2018 J jnl
Trees from Functions as Processes.
CoRR
Davide Sangiorgi, Xian Xu
2018 J jnl
Trees from Functions as Processes.
Log. Methods Comput. Sci.
Davide Sangiorgi, Xian Xu
2018 — conf
Unique Solutions of Contractions, CCS, and their HOL Formalisation.
EXPRESS/SOS
Chun Tian, Davide Sangiorgi
2017 B conf
Divergence and Unique Solution of Equations.
CONCUR
Adrien Durier, Daniel Hirschkoff, Davide Sangiorgi
2017 J jnl
Equations, Contractions, and Unique Solutions.
ACM Trans. Comput. Log.
Davide Sangiorgi
2017 J jnl
Session types revisited.
Inf. Comput.
Ornela Dardha, Elena Giachino, Davide Sangiorgi
2016 A* ed.
43rd International Colloquium on Automata, Languages, and Programming, ICALP 2016, Rome, Italy, July 11-15, 2016
ICALP
Ioannis Chatzigiannakis, Michael Mitzenmacher, Yuval Rabani, Davide Sangiorgi
2016 A* conf
Environmental bisimulations for probabilistic higher-order languages.
POPL
Davide Sangiorgi, Valeria Vignudelli
2016 J jnl
Light logics and higher-order processes.
Math. Struct. Comput. Sci.
Ugo Dal Lago, Simone Martini, Davide Sangiorgi
2016 J jnl
Name-passing calculi: From fusions to preorders and types.
Inf. Comput.
Daniel Hirschkoff, Jean-Marie Madiot, Davide Sangiorgi
2015 A* conf
Equations, Contractions, and Unique Solutions.
POPL
Davide Sangiorgi
2015 — conf
On Applicative Similarity, Sequentiality, and Full Abstraction.
Correct System Design
Raphaëlle Crubillé, Ugo Dal Lago, Davide Sangiorgi, Valeria Vignudelli
2015 J jnl
Preface: Special issue on objects and services.
Math. Struct. Comput. Sci.
Ivan Lanese, Davide Sangiorgi
2015 C conf
The Proof Technique of Unique Solutions of Contractions.
ICTAC
Davide Sangiorgi
2014 B conf
Bisimulations Up-to: Beyond First-Order Transition Systems.
CONCUR
Jean-Marie Madiot, Damien Pous, Davide Sangiorgi
2014 — ch.
Concurrency Theory: A Historical Perspective on Coinduction and Process Calculi.
Computational Logic
Jos C. M. Baeten, Davide Sangiorgi
2014 — conf
Higher-Order Languages: Bisimulation and Coinductive Equivalences (Extended Abstract).
CMCS
Davide Sangiorgi
2014 A* conf
On coinductive equivalences for higher-order probabilistic functional programs.
POPL
Ugo Dal Lago, Davide Sangiorgi, Michele Alberti
2014 — conf
On the Discriminating Power of Testing Equivalences for Reactive Probabilistic Systems: Results and Open Problems.
QEST
Marco Bernardo, Davide Sangiorgi, Valeria Vignudelli
2014 — conf
On the discriminating power of passivation and higher-order interaction.
CSL-LICS
Marco Bernardo, Davide Sangiorgi, Valeria Vignudelli
2014 — conf
Symmetries and Dualities in Name-Passing Process Calculi.
Computing with New Resources
Daniel Hirschkoff, Jean-Marie Madiot, Davide Sangiorgi
2014 — ed.
Theoretical Computer Science - 8th IFIP TC 1/WG 2.2 International Conference, TCS 2014, Rome, Italy, September 1-3, 2014. Proceedings
IFIP TCS
Josep Díaz, Ivan Lanese, Davide Sangiorgi
2014 B conf
Trees from Functions as Processes.
CONCUR
Davide Sangiorgi, Xian Xu
2013 A* conf
Name-Passing Calculi: From Fusions to Preorders and Types.
LICS
Daniel Hirschkoff, Jean-Marie Madiot, Davide Sangiorgi
2013 J jnl
On Coinductive Equivalences for Higher-Order Probabilistic Functional Programs (Long Version).
CoRR
Ugo Dal Lago, Davide Sangiorgi, Michele Alberti
2012 — book
Advanced Topics in Bisimulation and Coinduction.
Davide Sangiorgi, Jan J. M. M. Rutten
2012 — conf
An Object Group-Based Component Model.
ISoLA (1)
Michael Lienhardt, Mario Bravetti, Davide Sangiorgi
2012 J jnl
Concurrency theory: timed automata, testing, program synthesis.
Distributed Comput.
Davide Sangiorgi
2012 B conf
Duality and i/o-Types in the π-Calculus.
CONCUR
Daniel Hirschkoff, Jean-Marie Madiot, Davide Sangiorgi
2012 — ch.
Enhancements of the bisimulation proof method.
Advanced Topics in Bisimulation and Coinduction
Damien Pous, Davide Sangiorgi
2012 — ch.
Origins of bisimulation and coinduction.
Advanced Topics in Bisimulation and Coinduction
Davide Sangiorgi
2012 C conf
Session types revisited.
PPDP
Ornela Dardha, Elena Giachino, Davide Sangiorgi
2011 J jnl
Environmental bisimulations for higher-order languages.
ACM Trans. Program. Lang. Syst.
Davide Sangiorgi, Naoki Kobayashi, Eijiro Sumii
2011 — conf
HATS Abstract Behavioral Specification: The Architectural View.
FMCO
Reiner Hähnle, Michiel Helvensteijn, Einar Broch Johnsen, Michael Lienhardt, Davide Sangiorgi, Ina Schaefer, Peter Y. H. Wong
2011 J jnl
On the expressiveness and decidability of higher-order process calculi.
Inf. Comput.
Ivan Lanese, Jorge A. Pérez, Davide Sangiorgi, Alan Schmitt
2011 — conf
Ownership Types for the Join Calculus.
FMOODS/FORTE
Marco Patrignani, Dave Clarke, Davide Sangiorgi
2011 — ch.
Pi-Calculus.
Encyclopedia of Parallel Computing
Davide Sangiorgi
2011 — conf
Strong Normalisation in λ-Calculi with References.
FSEN
Romain Demangeon, Daniel Hirschkoff, Davide Sangiorgi
2011 — ch.
Tools and Verification.
Results of the SENSORIA Project
Massimo Bartoletti, Luís Caires, Ivan Lanese, Franco Mazzanti, Davide Sangiorgi, Hugo Torres Vieira, Roberto Zunino
2010 — conf
A Component Model for the ABS Language.
FMCO
Michael Lienhardt, Ivan Lanese, Mario Bravetti, Davide Sangiorgi, Gianluigi Zavattaro, Yannick Welsch, Jan Schäfer, Arnd Poetzsch-Heffter
2010 — conf
A Model of Evolvable Components.
TGC
Fabrizio Montesi, Davide Sangiorgi
2010 J jnl
A hybrid type system for lock-freedom of mobile processes.
ACM Trans. Program. Lang. Syst.
Naoki Kobayashi, Davide Sangiorgi
2010 J jnl
An operational semantics for a calculus for wireless systems.
Theor. Comput. Sci.
Ivan Lanese, Davide Sangiorgi
2010 — conf
Functions as Processes: Termination and the lm[(m)\tilde]\lambda\mu\widetilde{\mu}-Calculus.
TGC
Matteo Cimini, Claudio Sacerdoti Coen, Davide Sangiorgi
2010 — conf
Light Logics and Higher-Order Processes
EXPRESS
Ugo Dal Lago, Simone Martini, Davide Sangiorgi
2010 — conf
On the Expressiveness of Polyadic and Synchronous Communication in Higher-Order Process Calculi.
ICALP (2)
Ivan Lanese, Jorge A. Pérez, Davide Sangiorgi, Alan Schmitt
2010 B conf
Termination in Impure Concurrent Languages.
CONCUR
Romain Demangeon, Daniel Hirschkoff, Davide Sangiorgi
2010 J jnl
Termination in higher-order concurrent calculi.
J. Log. Algebraic Methods Program.
Romain Demangeon, Daniel Hirschkoff, Davide Sangiorgi
2009 — conf
Mobile Processes and Termination.
Semantics and Algebraic Specification
Romain Demangeon, Daniel Hirschkoff, Davide Sangiorgi
2009 — conf
On the Expressiveness of Polyadicity in Higher-Order Process Calculi.
ICTCS
Ivan Lanese, Jorge A. Pérez, Davide Sangiorgi, Alan Schmitt
2009 J jnl
On the origins of bisimulation and coinduction.
ACM Trans. Program. Lang. Syst.
Davide Sangiorgi
2009 — conf
Termination in Higher-Order Concurrent Calculi.
FSEN
Romain Demangeon, Daniel Hirschkoff, Davide Sangiorgi
2008 A* conf
A Hybrid Type System for Lock-Freedom of Mobile Processes.
CAV
Naoki Kobayashi, Davide Sangiorgi
2008 A* conf
On the Expressiveness and Decidability of Higher-Order Process Calculi.
LICS
Ivan Lanese, Jorge A. Pérez, Davide Sangiorgi, Alan Schmitt
2008 J jnl
Separability in the Ambient Logic
CoRR
Daniel Hirschkoff, Étienne Lozes, Davide Sangiorgi
2008 J jnl
Separability in the Ambient Logic.
Log. Methods Comput. Sci.
Étienne Lozes, Daniel Hirschkoff, Davide Sangiorgi
2008 — conf
Static and dynamic typing for the termination of mobile processes.
IFIP TCS
Romain Demangeon, Daniel Hirschkoff, Davide Sangiorgi
2008 — conf
Type Systems for Bigraphs.
TGC
Ebbe Elsborg, Thomas T. Hildebrandt, Davide Sangiorgi
2007 J jnl
An efficient abstract machine for Safe Ambients.
J. Log. Algebraic Methods Program.
Daniel Hirschkoff, Damien Pous, Davide Sangiorgi
2007 A* conf
Environmental Bisimulations for Higher-Order Languages.
LICS
Davide Sangiorgi, Naoki Kobayashi, Eijiro Sumii
2007 — conf
Logical Bisimulations and Functional Languages.
FSEN
Davide Sangiorgi, Naoki Kobayashi, Eijiro Sumii
2007 — conf
On the Complexity of Termination Inference for Processes.
TGC
Romain Demangeon, Daniel Hirschkoff, Naoki Kobayashi, Davide Sangiorgi
2006 J jnl
Ensuring termination by typability.
Inf. Comput.
Yuxin Deng, Davide Sangiorgi
2006 J jnl
On the Expressiveness of the Ambient Logic.
Log. Methods Comput. Sci.
Daniel Hirschkoff, Étienne Lozes, Davide Sangiorgi
2006 — conf
SCC: A Service Centered Calculus.
WS-FM
Michele Boreale, Roberto Bruni, Luís Caires, Rocco De Nicola, Ivan Lanese, Michele Loreti, Francisco Martins, Ugo Montanari, António Ravara, Davide Sangiorgi, Vasco Thudichum Vasconcelos, Gianluigi Zavattaro
2006 J jnl
Safe Ambients: Abstract machine and distributed implementation.
Sci. Comput. Program.
Paola Giannini, Davide Sangiorgi, Andrea Valente
2006 J jnl
Termination of processes.
Math. Struct. Comput. Sci.
Davide Sangiorgi
2006 — conf
The Bisimulation Proof Method: Enhancements and Open Problems.
FMOODS
Davide Sangiorgi
2006 B conf
Towards a Calculus For Wireless Systems.
MFPS
Nicola Mezzetti, Davide Sangiorgi
2006 J jnl
Towards an algebraic theory of typed mobile processes.
Theor. Comput. Sci.
Yuxin Deng, Davide Sangiorgi
2005 C conf
A Correct Abstract Machine for Safe Ambients.
COORDINATION
Daniel Hirschkoff, Damien Pous, Davide Sangiorgi
2005 — conf
Beyond Bisimulation: The "up-to" Techniques.
FMCO
Davide Sangiorgi
2005 — conf
Bisimulation and Co-induction: Some Problems.
APC 25
Davide Sangiorgi
2005 J jnl
On the Expressiveness of the Ambient Logic
CoRR
Daniel Hirschkoff, Étienne Lozes, Davide Sangiorgi
2005 J jnl
On the representation of McCarthy's amb in the Pi-calculus.
Theor. Comput. Sci.
Arnaud Carayol, Daniel Hirschkoff, Davide Sangiorgi
2005 — ed.
Trustworthy Global Computing, International Symposium, TGC 2005, Edinburgh, UK, April 7-9, 2005, Revised Selected Papers
TGC
Rocco De Nicola, Davide Sangiorgi
2005 J jnl
Types in concurrency.
Acta Informatica
Rocco De Nicola, Davide Sangiorgi
2004 A* conf
Bisimulation: From The Origins to Today.
LICS
Davide Sangiorgi
2004 — conf
Ensuring Termination by Typability.
IFIP TCS
Yuxin Deng, Davide Sangiorgi
2004 J jnl
On asynchrony in name-passing calculi.
Math. Struct. Comput. Sci.
Massimo Merro, Davide Sangiorgi
2004 A* conf
Towards an Algebraic Theory of Typed Mobile Processes.
ICALP
Yuxin Deng, Davide Sangiorgi
2003 — conf
Minimality Results for the Spatial Logics.
FSTTCS
Daniel Hirschkoff, Étienne Lozes, Davide Sangiorgi
2003 J jnl
Mobile safe ambients.
ACM Trans. Program. Lang. Syst.
Francesca Levi, Davide Sangiorgi
2003 — conf
On the Representation of McCarthy's
EXPRESS
Arnaud Carayol, Daniel Hirschkoff, Davide Sangiorgi
2003 B conf
Taming Mobile Processes Using Types.
SEFM
Davide Sangiorgi
2002 J jnl
A Fully Abstract Model for the [pi]-calculus.
Inf. Comput.
Marcelo P. Fiore, Eugenio Moggi, Davide Sangiorgi
2002 J jnl
Imperative objects as mobile processes.
Sci. Comput. Program.
Josva Kleist, Davide Sangiorgi
2002 J jnl
Ninth International Conference on Concurrency Theory 1998 - Editorial.
Theor. Comput. Sci.
Davide Sangiorgi, Robert de Simone
2002 A* conf
Separability, Expressiveness, and Decidability in the Ambient Logic.
LICS
Daniel Hirschkoff, Étienne Lozes, Davide Sangiorgi
2002 B conf
Types, or: Where's the Difference Between CCS and pi?
CONCUR
Davide Sangiorgi
2001 A* conf
A Distributed Abstract Machine for Safe Ambients.
ICALP
Davide Sangiorgi, Andrea Valente
2001 J jnl
A Partition Refinement Algorithm for the -Calculus.
Inf. Comput.
Marco Pistore, Davide Sangiorgi
2001 J jnl
Asynchronous process calculi: the first- and higher-order paradigms.
Theor. Comput. Sci.
Davide Sangiorgi
2001 A* conf
Extensionality and Intensionality of the Ambient Logics.
POPL
Davide Sangiorgi
2001 B conf
On Barbed Equivalences in pi-Calculus.
CONCUR
Davide Sangiorgi, David Walker
2001 — book
The Pi-Calculus - a theory of mobile processes.
Davide Sangiorgi, David Walker
2000 J jnl
Behavioral equivalence in the polymorphic pi-calculus.
J. ACM
Benjamin C. Pierce, Davide Sangiorgi
2000 A* conf
Controlling Interference in Ambients.
POPL
Francesca Levi, Davide Sangiorgi
2000 — conf
Lazy functions and mobile processes.
Proof, Language, and Interaction
Davide Sangiorgi
2000 J jnl
Review: Communicating and Mobile Systems: the -calculus, - Robin Milner, Cambridge University Press, Cambridge, 1999, 174 pages, ISBN 0-521-64320-1.
Sci. Comput. Program.
Davide Sangiorgi
1999 B conf
A pi-calculus Process Semantics of Concurrent Idealised ALGOL.
FoSSaCS
Christine Röckl, Davide Sangiorgi
1999 J jnl
From lambda to pi; or, Rediscovering continuations.
Math. Struct. Comput. Sci.
Davide Sangiorgi
1999 B conf
Reasoning About Concurrent Systems Using Types.
FoSSaCS
Davide Sangiorgi
1999 J jnl
The Name Discipline of Uniform Receptiveness.
Theor. Comput. Sci.
Davide Sangiorgi
1999 J jnl
Typed pi-calculus at Work: A Correctness Proof of Jones's Parallelisation Transformation on Concurrent Objects.
Theory Pract. Object Syst.
Davide Sangiorgi
1998 J jnl
A Fully Abstract Semantics for Causality in the \pi-Calculus.
Acta Informatica
Michele Boreale, Davide Sangiorgi
1998 J jnl
An Interpretation of Typed Objects into Typed pi-Calculus.
Inf. Comput.
Davide Sangiorgi
1998 A* conf
Bisimulation in Name-Passing Calculi without Matching.
LICS
Michele Boreale, Davide Sangiorgi
1998 B ed.
CONCUR '98: Concurrency Theory, 9th International Conference, Nice, France, September 8-11, 1998, Proceedings
CONCUR
Davide Sangiorgi, Robert de Simone
1998 — conf
Imperative objects and mobile processes.
PROCOMET
Josva Kleist, Davide Sangiorgi
1998 A* conf
On Asynchrony in Name-Passing Calculi.
ICALP
Massimo Merro, Davide Sangiorgi
1998 J jnl
On Bisimulations for the Asynchronous pi-Calculus.
Theor. Comput. Sci.
Roberto M. Amadio, Ilaria Castellani, Davide Sangiorgi
1998 J jnl
On the Foundations of Final Coalgebra Semantics: Non-Well-Founded Sets, Partial Orders, Metric Spaces.
Math. Struct. Comput. Sci.
Davide Sangiorgi
1998 J jnl
Some Congruence Properties for Pi-Calculus Bisimilarities.
Theor. Comput. Sci.
Michele Boreale, Davide Sangiorgi
1997 A* conf
Behavioral Equivalence in the Polymorphic Pi-calculus.
POPL
Benjamin C. Pierce, Davide Sangiorgi
1997 A* conf
The Name Discipline of Uniform Receptiveness (Extended Abstract).
ICALP
Davide Sangiorgi
1996 A* conf
A Fully-Abstract Model for the pi-Calculus (Extended Abstract).
LICS
Marcelo P. Fiore, Eugenio Moggi, Davide Sangiorgi
1996 A* conf
A Partition Refinement Algorithm for the
CAV
Marco Pistore, Davide Sangiorgi
1996 J jnl
A Theory of Bisimulation for the pi-Calculus.
Acta Informatica
Davide Sangiorgi
1996 J jnl
Bisimulation for Higher-Order Process Calculi.
Inf. Comput.
Davide Sangiorgi
1996 J jnl
Locality and Interleaving Semantics in Calculi for Mobile Processes.
Theor. Comput. Sci.
Davide Sangiorgi
1996 B conf
On Bisimulations for the Asynchronous pi-Calculus.
CONCUR
Roberto M. Amadio, Ilaria Castellani, Davide Sangiorgi
1996 J jnl
Typing and Subtyping for Mobile Processes.
Math. Struct. Comput. Sci.
Benjamin C. Pierce, Davide Sangiorgi
1996 J jnl
pi-Calculus, Internal Mobility, and Agent-Passing Calculi.
Theor. Comput. Sci.
Davide Sangiorgi
1995 A conf
A Fully Abstract Semantics for Causality in the Pi-Calculus.
STACS
Michele Boreale, Davide Sangiorgi
1995 J jnl
Algebraic Theories for Name-Passing Calculi
Inf. Comput.
Joachim Parrow, Davide Sangiorgi
1995 A* conf
Internal Mobility and Agent-Passing Calculi.
ICALP
Davide Sangiorgi
1995 B conf
On the Proof Method for Bisimulation (Extended Abstract).
MFCS
Davide Sangiorgi
1995 — conf
Pi-I: A Symmetric Calculus Based on Internal Mobility.
TAPSOFT
Davide Sangiorgi
1994 — conf
Bisimulation in Higher-Order Process Calculi.
PROCOMET
Davide Sangiorgi
1994 — conf
Locality and True-concurrency in Calculi for Mobile Processes.
TACS
Davide Sangiorgi
1994 J jnl
The Lazy Lambda Calculus in a Concurrency Scenario
Inf. Comput.
Davide Sangiorgi
1993 B conf
A Theory of Bisimulation for the pi-Calculus.
CONCUR
Davide Sangiorgi
1993 — conf
Algebraic Theories for Name-Passing Calculi.
REX School/Symposium
Joachim Parrow, Davide Sangiorgi
1993 B conf
An Investigation into Functions as Processes.
MFPS
Davide Sangiorgi
1993 — —
Expressing mobility in process algebras : first-order and higher-order paradigms.
Davide Sangiorgi
1993 — conf
From pi-Calculus to Higher-Order pi-Calculus - and Back.
TAPSOFT
Davide Sangiorgi
1993 A* conf
Typing and Subtyping for Mobile Processes
LICS
Benjamin C. Pierce, Davide Sangiorgi
1992 A* conf
Barbed Bisimulation.
ICALP
Robin Milner, Davide Sangiorgi
1992 J jnl
Classes of Systolic Y-Tree Automata and a Comparison with Systolic Trellis Automata.
Acta Informatica
Emanuela Fachini, Andrea Maggiolo-Schettini, Davide Sangiorgi
1992 A* conf
The Lazy Lambda Calculus in a Concurrency Scenario (Extended Abstract)
LICS
Davide Sangiorgi
1992 B conf
The Problem of "Weak Bisimulation up to".
CONCUR
Davide Sangiorgi, Robin Milner
1991 J jnl
Nonacceptability Criteria and Closure Properties for the Class of Languages Accepted by Binary Systolic Tree Automata.
Theor. Comput. Sci.
Emanuela Fachini, Andrea Maggiolo-Schettini, Giovanni Resta, Davide Sangiorgi
1990 B conf
Comparisons Among Classes of Y-Tree Systolic Automata.
MFCS
Emanuela Fachini, Andrea Maggiolo-Schettini, Davide Sangiorgi
1990 J jnl
Simulation of Systolic Tree Automata on Trellis Automata.
Int. J. Found. Comput. Sci.
Emanuela Fachini, Jozef Gruska, Andrea Maggiolo-Schettini, Davide Sangiorgi