% csauthors.net - beta - BibTeX bibliography of Davide Sangiorgi
@inproceedings{conf/mfcs/FachiniMS90,
title = {Comparisons Among Classes of Y-Tree Systolic Automata.},
year = {1990},
booktitle = {MFCS},
author = {{Emanuela Fachini} and {Andrea Maggiolo-Schettini} and {Davide Sangiorgi}},
publisher = {Springer},
booktitle = {Mathematical Foundations of Computer Science 1990, MFCS'90, Banská Bystrica, Czechoslovakia, August 27-31, 1990, Proceedings}
}
@article{journals/ijfcs/FachiniGMS90,
title = {Simulation of Systolic Tree Automata on Trellis Automata.},
year = {1990},
journal = {Int. J. Found. Comput. Sci.},
author = {{Emanuela Fachini} and {Jozef Gruska} and {Andrea Maggiolo-Schettini} and {Davide Sangiorgi}}
}
@article{journals/tcs/FachiniMRS91,
title = {Nonacceptability Criteria and Closure Properties for the Class of Languages Accepted by Binary Systolic Tree Automata.},
year = {1991},
journal = {Theor. Comput. Sci.},
author = {{Emanuela Fachini} and {Andrea Maggiolo-Schettini} and {Giovanni Resta} and {Davide Sangiorgi}}
}
@inproceedings{conf/concur/SangiorgiM92,
title = {The Problem of "Weak Bisimulation up to".},
year = {1992},
booktitle = {CONCUR},
author = {{Davide Sangiorgi} and {Robin Milner}},
publisher = {Springer},
booktitle = {CONCUR '92, Third International Conference on Concurrency Theory, Stony Brook, NY, USA, August 24-27, 1992, Proceedings}
}
@inproceedings{conf/icalp/MilnerS92,
title = {Barbed Bisimulation.},
year = {1992},
booktitle = {ICALP},
author = {{Robin Milner} and {Davide Sangiorgi}},
publisher = {Springer},
booktitle = {Automata, Languages and Programming, 19th International Colloquium, ICALP92, Vienna, Austria, July 13-17, 1992, Proceedings}
}
@inproceedings{conf/lics/Sangiorgi92,
title = {The Lazy Lambda Calculus in a Concurrency Scenario (Extended Abstract)},
year = {1992},
booktitle = {LICS},
author = {{Davide Sangiorgi}},
publisher = {IEEE Computer Society},
booktitle = {Proceedings of the Seventh Annual Symposium on Logic in Computer Science (LICS '92), Santa Cruz, California, USA, June 22-25, 1992}
}
@article{journals/acta/FachiniMS92,
title = {Classes of Systolic Y-Tree Automata and a Comparison with Systolic Trellis Automata.},
year = {1992},
journal = {Acta Informatica},
author = {{Emanuela Fachini} and {Andrea Maggiolo-Schettini} and {Davide Sangiorgi}}
}
@inproceedings{conf/mfps/Sangiorgi93,
title = {An Investigation into Functions as Processes.},
year = {1993},
booktitle = {MFPS},
author = {{Davide Sangiorgi}},
publisher = {Springer},
booktitle = {Mathematical Foundations of Programming Semantics, 9th International Conference, New Orleans, LA, USA, April 7-10, 1993, Proceedings}
}
@inproceedings{conf/tapsoft/Sangiorgi93,
title = {From pi-Calculus to Higher-Order pi-Calculus - and Back.},
year = {1993},
booktitle = {TAPSOFT},
author = {{Davide Sangiorgi}},
publisher = {Springer},
booktitle = {TAPSOFT'93: Theory and Practice of Software Development, International Joint Conference CAAP/FASE, Orsay, France, April 13-17, 1993, Proceedings}
}
@phdthesis{phd/ethos/Sangiorgi93,
title = {Expressing mobility in process algebras : first-order and higher-order paradigms.},
year = {1993},
author = {{Davide Sangiorgi}}
}
@inproceedings{conf/tacs/Sangiorgi94,
title = {Locality and True-concurrency in Calculi for Mobile Processes.},
year = {1994},
booktitle = {TACS},
author = {{Davide Sangiorgi}},
publisher = {Springer},
booktitle = {Theoretical Aspects of Computer Software, International Conference TACS '94, Sendai, Japan, April 19-22, 1994, Proceedings}
}
@article{journals/iandc/Sangiorgi94,
title = {The Lazy Lambda Calculus in a Concurrency Scenario},
year = {1994},
month = {May},
journal = {Inf. Comput.},
author = {{Davide Sangiorgi}}
}
@inproceedings{conf/icalp/Sangiorgi95,
title = {Internal Mobility and Agent-Passing Calculi.},
year = {1995},
booktitle = {ICALP},
author = {{Davide Sangiorgi}},
publisher = {Springer},
booktitle = {Automata, Languages and Programming, 22nd International Colloquium, ICALP95, Szeged, Hungary, July 10-14, 1995, Proceedings}
}
@inproceedings{conf/mfcs/Sangiorgi95,
title = {On the Proof Method for Bisimulation (Extended Abstract).},
year = {1995},
booktitle = {MFCS},
author = {{Davide Sangiorgi}},
publisher = {Springer},
booktitle = {Mathematical Foundations of Computer Science 1995, 20th International Symposium, MFCS'95, Prague, Czech Republic, August 28 - September 1, 1995, Proceedings}
}
@inproceedings{conf/tapsoft/Sangiorgi95,
title = {Pi-I: A Symmetric Calculus Based on Internal Mobility.},
year = {1995},
booktitle = {TAPSOFT},
author = {{Davide Sangiorgi}},
publisher = {Springer},
booktitle = {TAPSOFT'95: Theory and Practice of Software Development, 6th International Joint Conference CAAP/FASE, Aarhus, Denmark, May 22-26, 1995, Proceedings}
}
@article{journals/iandc/ParrowS95,
title = {Algebraic Theories for Name-Passing Calculi},
year = {1995},
month = {August},
journal = {Inf. Comput.},
author = {{Joachim Parrow} and {Davide Sangiorgi}}
}
@inproceedings{conf/cav/PistoreS96,
title = {A Partition Refinement Algorithm for the pi-Calculus (Extended Abstract).},
year = {1996},
booktitle = {CAV},
author = {{Marco Pistore} and {Davide Sangiorgi}},
publisher = {Springer},
booktitle = {Computer Aided Verification, 8th International Conference, CAV '96, New Brunswick, NJ, USA, July 31 - August 3, 1996, Proceedings}
}
@inproceedings{conf/lics/FioreMS96,
title = {A Fully-Abstract Model for the pi-Calculus (Extended Abstract).},
year = {1996},
booktitle = {LICS},
author = {{Marcelo P. Fiore} and {Eugenio Moggi} and {Davide Sangiorgi}},
publisher = {IEEE Computer Society},
booktitle = {Proceedings, 11th Annual IEEE Symposium on Logic in Computer Science, New Brunswick, New Jersey, USA, July 27-30, 1996}
}
@article{journals/acta/Sangiorgi96,
title = {A Theory of Bisimulation for the pi-Calculus.},
year = {1996},
journal = {Acta Informatica},
author = {{Davide Sangiorgi}}
}
@article{journals/iandc/Sangiorgi96,
title = {Bisimulation for Higher-Order Process Calculi.},
year = {1996},
journal = {Inf. Comput.},
author = {{Davide Sangiorgi}}
}
@article{journals/mscs/PierceS96,
title = {Typing and Subtyping for Mobile Processes.},
year = {1996},
journal = {Math. Struct. Comput. Sci.},
author = {{Benjamin C. Pierce} and {Davide Sangiorgi}}
}
@article{journals/tcs/Sangiorgi96,
title = {Locality and Interleaving Semantics in Calculi for Mobile Processes.},
year = {1996},
journal = {Theor. Comput. Sci.},
author = {{Davide Sangiorgi}}
}
@article{journals/tcs/Sangiorgi96a,
title = {pi-Calculus, Internal Mobility, and Agent-Passing Calculi.},
year = {1996},
journal = {Theor. Comput. Sci.},
author = {{Davide Sangiorgi}}
}
@inproceedings{conf/icalp/Sangiorgi97,
title = {The Name Discipline of Uniform Receptiveness (Extended Abstract).},
year = {1997},
booktitle = {ICALP},
author = {{Davide Sangiorgi}},
publisher = {Springer},
booktitle = {Automata, Languages and Programming, 24th International Colloquium, ICALP'97, Bologna, Italy, 7-11 July 1997, Proceedings}
}
@inproceedings{conf/lics/BorealeS98,
title = {Bisimulation in Name-Passing Calculi without Matching.},
year = {1998},
booktitle = {LICS},
author = {{Michele Boreale} and {Davide Sangiorgi}},
publisher = {IEEE Computer Society},
booktitle = {Thirteenth Annual IEEE Symposium on Logic in Computer Science, Indianapolis, Indiana, USA, June 21-24, 1998}
}
@inproceedings{conf/procomet/KleistS98,
title = {Imperative objects and mobile processes.},
year = {1998},
booktitle = {PROCOMET},
author = {{Josva Kleist} and {Davide Sangiorgi}},
publisher = {Chapman & Hall},
booktitle = {Programming Concepts and Methods, IFIP TC2/WG2.2,2.3 International Conference on Programming Concepts and Methods (PROCOMET '98) 8-12 June 1998, Shelter Island, New York, USA}
}
@article{journals/acta/BorealeS98,
title = {A Fully Abstract Semantics for Causality in the \\pi-Calculus.},
year = {1998},
journal = {Acta Informatica},
author = {{Michele Boreale} and {Davide Sangiorgi}}
}
@article{journals/iandc/Sangiorgi98,
title = {An Interpretation of Typed Objects into Typed pi-Calculus.},
year = {1998},
journal = {Inf. Comput.},
author = {{Davide Sangiorgi}}
}
@article{journals/mscs/Sangiorgi98,
title = {On the Foundations of Final Coalgebra Semantics: Non-Well-Founded Sets, Partial Orders, Metric Spaces.},
year = {1998},
journal = {Math. Struct. Comput. Sci.},
author = {{Davide Sangiorgi}}
}
@article{journals/tcs/AmadioCS98,
title = {On Bisimulations for the Asynchronous pi-Calculus.},
year = {1998},
journal = {Theor. Comput. Sci.},
author = {{Roberto M. Amadio} and {Ilaria Castellani} and {Davide Sangiorgi}}
}
@article{journals/tcs/BorealeS98,
title = {Some Congruence Properties for Pi-Calculus Bisimilarities.},
year = {1998},
journal = {Theor. Comput. Sci.},
author = {{Michele Boreale} and {Davide Sangiorgi}}
}
@inproceedings{conf/fossacs/RocklS99,
title = {A pi-calculus Process Semantics of Concurrent Idealised ALGOL.},
year = {1999},
booktitle = {FoSSaCS},
author = {{Christine Röckl} and {Davide Sangiorgi}},
publisher = {Springer},
booktitle = {Foundations of Software Science and Computation Structure, Second International Conference, FoSSaCS'99, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, March 22-28, 1999, Proceedings}
}
@inproceedings{conf/fossacs/Sangiorgi99,
title = {Reasoning About Concurrent Systems Using Types.},
year = {1999},
booktitle = {FoSSaCS},
author = {{Davide Sangiorgi}},
publisher = {Springer},
booktitle = {Foundations of Software Science and Computation Structure, Second International Conference, FoSSaCS'99, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, March 22-28, 1999, Proceedings}
}
@article{journals/mscs/Sangiorgi99,
title = {From lambda to pi; or, Rediscovering continuations.},
year = {1999},
journal = {Math. Struct. Comput. Sci.},
author = {{Davide Sangiorgi}}
}
@article{journals/tapos/Sangiorgi99,
title = {Typed pi-calculus at Work: A Correctness Proof of Jones's Parallelisation Transformation on Concurrent Objects.},
year = {1999},
journal = {Theory Pract. Object Syst.},
author = {{Davide Sangiorgi}}
}
@article{journals/tcs/Sangiorgi99,
title = {The Name Discipline of Uniform Receptiveness.},
year = {1999},
journal = {Theor. Comput. Sci.},
author = {{Davide Sangiorgi}}
}
@inproceedings{conf/birthday/Sangiorgi00,
title = {Lazy functions and mobile processes.},
year = {2000},
booktitle = {Proof, Language, and Interaction},
author = {{Davide Sangiorgi}},
publisher = {The MIT Press},
booktitle = {Proof, Language, and Interaction, Essays in Honour of Robin Milner}
}
@inproceedings{conf/popl/LeviS00,
title = {Controlling Interference in Ambients.},
year = {2000},
booktitle = {POPL},
author = {{Francesca Levi} and {Davide Sangiorgi}},
publisher = {ACM},
booktitle = {POPL 2000, Proceedings of the 27th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Boston, Massachusetts, USA, January 19-21, 2000}
}
@article{journals/jacm/PierceS00,
title = {Behavioral equivalence in the polymorphic pi-calculus.},
year = {2000},
journal = {J. ACM},
author = {{Benjamin C. Pierce} and {Davide Sangiorgi}}
}
@article{journals/scp/Sangiorgi00,
title = {Review: Communicating and Mobile Systems: the -calculus, - Robin Milner, Cambridge University Press, Cambridge, 1999, 174 pages, ISBN 0-521-64320-1.},
year = {2000},
journal = {Sci. Comput. Program.},
author = {{Davide Sangiorgi}}
}
@book{books/daglib/0004377,
title = {The Pi-Calculus - a theory of mobile processes.},
year = {2001},
isbn = {978-0-521-78177-0},
publisher = {Cambridge University Press},
author = {{Davide Sangiorgi} and {David Walker}}
}
@inproceedings{conf/concur/SangiorgiW01,
title = {On Barbed Equivalences in pi-Calculus.},
year = {2001},
booktitle = {CONCUR},
author = {{Davide Sangiorgi} and {David Walker}},
publisher = {Springer},
booktitle = {CONCUR 2001 - Concurrency Theory, 12th International Conference, Aalborg, Denmark, August 20-25, 2001, Proceedings}
}
@inproceedings{conf/icalp/SangiorgiV01,
title = {A Distributed Abstract Machine for Safe Ambients.},
year = {2001},
booktitle = {ICALP},
author = {{Davide Sangiorgi} and {Andrea Valente}},
publisher = {Springer},
booktitle = {Automata, Languages and Programming, 28th International Colloquium, ICALP 2001, Crete, Greece, July 8-12, 2001, Proceedings}
}
@inproceedings{conf/popl/Sangiorgi01,
title = {Extensionality and Intensionality of the Ambient Logics.},
year = {2001},
booktitle = {POPL},
author = {{Davide Sangiorgi}},
publisher = {ACM},
booktitle = {Conference Record of POPL 2001: The 28th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, London, UK, January 17-19, 2001}
}
@article{journals/iandc/PistoreS01,
title = {A Partition Refinement Algorithm for the -Calculus.},
year = {2001},
journal = {Inf. Comput.},
author = {{Marco Pistore} and {Davide Sangiorgi}}
}
@article{journals/tcs/Sangiorgi01,
title = {Asynchronous process calculi: the first- and higher-order paradigms.},
year = {2001},
journal = {Theor. Comput. Sci.},
author = {{Davide Sangiorgi}}
}
@inproceedings{conf/concur/Sangiorgi02,
title = {Types, or: Where's the Difference Between CCS and pi?},
year = {2002},
booktitle = {CONCUR},
author = {{Davide Sangiorgi}},
publisher = {Springer},
booktitle = {CONCUR 2002 - Concurrency Theory, 13th International Conference, Brno, Czech Republic, August 20-23, 2002, Proceedings}
}
@inproceedings{conf/lics/HirschkoffLS02,
title = {Separability, Expressiveness, and Decidability in the Ambient Logic.},
year = {2002},
booktitle = {LICS},
author = {{Daniel Hirschkoff} and {Étienne Lozes} and {Davide Sangiorgi}},
publisher = {IEEE Computer Society},
booktitle = {17th IEEE Symposium on Logic in Computer Science (LICS 2002), 22-25 July 2002, Copenhagen, Denmark, Proceedings}
}
@article{journals/iandc/FioreMS02,
title = {A Fully Abstract Model for the [pi]-calculus.},
year = {2002},
journal = {Inf. Comput.},
author = {{Marcelo P. Fiore} and {Eugenio Moggi} and {Davide Sangiorgi}}
}
@article{journals/scp/KleistS02,
title = {Imperative objects as mobile processes.},
year = {2002},
journal = {Sci. Comput. Program.},
author = {{Josva Kleist} and {Davide Sangiorgi}}
}
@article{journals/tcs/SangiorgiS02,
title = {Ninth International Conference on Concurrency Theory 1998 - Editorial.},
year = {2002},
journal = {Theor. Comput. Sci.},
author = {{Davide Sangiorgi} and {Robert de Simone}}
}
@inproceedings{conf/fsttcs/HirschkoffLS03,
title = {Minimality Results for the Spatial Logics.},
year = {2003},
booktitle = {FSTTCS},
author = {{Daniel Hirschkoff} and {Étienne Lozes} and {Davide Sangiorgi}},
publisher = {Springer},
booktitle = {FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science, 23rd Conference, Mumbai, India, December 15-17, 2003, Proceedings}
}
@inproceedings{conf/sefm/Sangiorgi03,
title = {Taming Mobile Processes Using Types.},
year = {2003},
booktitle = {SEFM},
author = {{Davide Sangiorgi}},
publisher = {IEEE Computer Society},
booktitle = {1st International Conference on Software Engineering and Formal Methods (SEFM 2003), 22-27 September 2003, Brisbane, Australia}
}
@inproceedings{journals/entcs/CarayolHS04,
title = {On the Representation of McCarthy's amb in the π-calculus.},
year = {2003},
booktitle = {EXPRESS},
author = {{Arnaud Carayol} and {Daniel Hirschkoff} and {Davide Sangiorgi}},
publisher = {Elsevier},
booktitle = {Proceedings of the 10th International Workshop on Expressiveness in Concurrency, EXPRESS 2003, Marseille, France, September 2, 2003}
}
@article{journals/toplas/LeviS03,
title = {Mobile safe ambients.},
year = {2003},
journal = {ACM Trans. Program. Lang. Syst.},
author = {{Francesca Levi} and {Davide Sangiorgi}}
}
@inproceedings{conf/lics/Sangiorgi04,
title = {Bisimulation: From The Origins to Today.},
year = {2004},
booktitle = {LICS},
author = {{Davide Sangiorgi}},
publisher = {IEEE Computer Society},
booktitle = {19th IEEE Symposium on Logic in Computer Science (LICS 2004), 14-17 July 2004, Turku, Finland, Proceedings}
}
@article{journals/mscs/MerroS04,
title = {On asynchrony in name-passing calculi.},
year = {2004},
journal = {Math. Struct. Comput. Sci.},
author = {{Massimo Merro} and {Davide Sangiorgi}}
}
@inproceedings{conf/coordination/HirschkoffPS05,
title = {A Correct Abstract Machine for Safe Ambients.},
year = {2005},
booktitle = {COORDINATION},
author = {{Daniel Hirschkoff} and {Damien Pous} and {Davide Sangiorgi}},
publisher = {Springer},
booktitle = {Coordination Models and Languages, 7th International Conference, COORDINATION 2005, Namur, Belgium, April 20-23, 2005, Proceedings}
}
@inproceedings{conf/fmco/Sangiorgi05,
title = {Beyond Bisimulation: The "up-to" Techniques.},
year = {2005},
booktitle = {FMCO},
author = {{Davide Sangiorgi}},
publisher = {Springer},
booktitle = {Formal Methods for Components and Objects, 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures}
}
@article{journals/acta/NicolaS05,
title = {Types in concurrency.},
year = {2005},
journal = {Acta Informatica},
author = {{Rocco De Nicola} and {Davide Sangiorgi}}
}
@inproceedings{journals/entcs/Sangiorgi06,
title = {Bisimulation and Co-induction: Some Problems.},
year = {2005},
booktitle = {APC 25},
author = {{Davide Sangiorgi}},
publisher = {Elsevier},
booktitle = {Proceedings of the Workshop "Essays on Algebraic Process Calculi", APC 25, Bertinoro, Italy, August 1-5, 2005}
}
@article{journals/tcs/CarayolHS05,
title = {On the representation of McCarthy's amb in the Pi-calculus.},
year = {2005},
journal = {Theor. Comput. Sci.},
author = {{Arnaud Carayol} and {Daniel Hirschkoff} and {Davide Sangiorgi}}
}
@inproceedings{conf/fmoods/Sangiorgi06,
title = {The Bisimulation Proof Method: Enhancements and Open Problems.},
year = {2006},
booktitle = {FMOODS},
author = {{Davide Sangiorgi}},
publisher = {Springer},
booktitle = {Formal Methods for Open Object-Based Distributed Systems, 8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006, Proceedings}
}
@inproceedings{conf/wsfm/BorealeBCNLLMMRSVZ06,
title = {SCC: A Service Centered Calculus.},
year = {2006},
booktitle = {WS-FM},
author = {{Michele Boreale} and {Roberto Bruni} and {Luís Caires} and {Rocco De Nicola} and {Ivan Lanese} and {Michele Loreti} and {Francisco Martins} and {Ugo Montanari} and {António Ravara} and {Davide Sangiorgi} and {Vasco Thudichum Vasconcelos} and {Gianluigi Zavattaro}},
publisher = {Springer},
booktitle = {Web Services and Formal Methods, Third International Workshop, WS-FM 2006 Vienna, Austria, September 8-9, 2006, Proceedings}
}
@inproceedings{journals/entcs/MezzettiS06,
title = {Towards a Calculus For Wireless Systems.},
year = {2006},
booktitle = {MFPS},
author = {{Nicola Mezzetti} and {Davide Sangiorgi}},
publisher = {Elsevier},
booktitle = {Proceedings of the 22nd Annual Conference on Mathematical Foundations of Programming Semantics, MFPS 2006, Genova, Italy, May 23-27, 2006}
}
@article{journals/iandc/DengS06,
title = {Ensuring termination by typability.},
year = {2006},
journal = {Inf. Comput.},
author = {{Yuxin Deng} and {Davide Sangiorgi}}
}
@article{journals/lmcs/HirschkoffLS06,
title = {On the Expressiveness of the Ambient Logic.},
year = {2006},
journal = {Log. Methods Comput. Sci.},
author = {{Daniel Hirschkoff} and {Étienne Lozes} and {Davide Sangiorgi}}
}
@article{journals/mscs/Sangiorgi06,
title = {Termination of processes.},
year = {2006},
journal = {Math. Struct. Comput. Sci.},
author = {{Davide Sangiorgi}}
}
@article{journals/scp/GianniniSV06,
title = {Safe Ambients: Abstract machine and distributed implementation.},
year = {2006},
journal = {Sci. Comput. Program.},
author = {{Paola Giannini} and {Davide Sangiorgi} and {Andrea Valente}}
}
@article{journals/tcs/DengS06,
title = {Towards an algebraic theory of typed mobile processes.},
year = {2006},
journal = {Theor. Comput. Sci.},
author = {{Yuxin Deng} and {Davide Sangiorgi}}
}
@inproceedings{conf/fsen/SangiorgiKS07,
title = {Logical Bisimulations and Functional Languages.},
year = {2007},
booktitle = {FSEN},
author = {{Davide Sangiorgi} and {Naoki Kobayashi 001} and {Eijiro Sumii}},
publisher = {Springer},
booktitle = {International Symposium on Fundamentals of Software Engineering, International Symposium, FSEN 2007, Tehran, Iran, April 17-19, 2007, Proceedings}
}
@inproceedings{conf/tgc/DemangeonHKS07,
title = {On the Complexity of Termination Inference for Processes.},
year = {2007},
booktitle = {TGC},
author = {{Romain Demangeon} and {Daniel Hirschkoff} and {Naoki Kobayashi 001} and {Davide Sangiorgi}},
publisher = {Springer},
booktitle = {Trustworthy Global Computing, Third Symposium, TGC 2007, Sophia-Antipolis, France, November 5-6, 2007, Revised Selected Papers}
}
@article{journals/jlp/HirschkoffPS07,
title = {An efficient abstract machine for Safe Ambients.},
year = {2007},
journal = {J. Log. Algebraic Methods Program.},
author = {{Daniel Hirschkoff} and {Damien Pous} and {Davide Sangiorgi}}
}
@inproceedings{conf/ifipTCS/DemangeonHS08,
title = {Static and dynamic typing for the termination of mobile processes.},
year = {2008},
booktitle = {IFIP TCS},
author = {{Romain Demangeon} and {Daniel Hirschkoff} and {Davide Sangiorgi}},
publisher = {Springer},
booktitle = {Fifth IFIP International Conference On Theoretical Computer Science - TCS 2008, IFIP 20th World Computer Congress, TC 1, Foundations of Computer Science, September 7-10, 2008, Milano, Italy}
}
@inproceedings{conf/tgc/ElsborgHS08,
title = {Type Systems for Bigraphs.},
year = {2008},
booktitle = {TGC},
author = {{Ebbe Elsborg} and {Thomas T. Hildebrandt} and {Davide Sangiorgi}},
publisher = {Springer},
booktitle = {Trustworthy Global Computing, 4th International Symposium, TGC 2008, Barcelona, Spain, November 3-4, 2008, Revised Selected Papers}
}
@article{journals/lmcs/LozesHS08,
title = {Separability in the Ambient Logic.},
year = {2008},
journal = {Log. Methods Comput. Sci.},
author = {{Étienne Lozes} and {Daniel Hirschkoff} and {Davide Sangiorgi}}
}
@inproceedings{conf/birthday/DemangeonHS09,
title = {Mobile Processes and Termination.},
year = {2009},
booktitle = {Semantics and Algebraic Specification},
author = {{Romain Demangeon} and {Daniel Hirschkoff} and {Davide Sangiorgi}},
publisher = {Springer},
booktitle = {Semantics and Algebraic Specification, Essays Dedicated to Peter D. Mosses on the Occasion of His 60th Birthday}
}
@inproceedings{conf/ictcs/LanesePSS09,
title = {On the Expressiveness of Polyadicity in Higher-Order Process Calculi.},
year = {2009},
booktitle = {ICTCS},
author = {{Ivan Lanese} and {Jorge A. Pérez 001} and {Davide Sangiorgi} and {Alan Schmitt}},
booktitle = {Theoretical Computer Science, 11th Italian Conference, ICTCS 2009, Cremona, Italy, September 28-30, 2009, Proceedings.}
}
@article{journals/toplas/Sangiorgi09,
title = {On the origins of bisimulation and coinduction.},
year = {2009},
journal = {ACM Trans. Program. Lang. Syst.},
author = {{Davide Sangiorgi}}
}
@inproceedings{conf/concur/DemangeonHS10,
title = {Termination in Impure Concurrent Languages.},
year = {2010},
booktitle = {CONCUR},
author = {{Romain Demangeon} and {Daniel Hirschkoff} and {Davide Sangiorgi}},
publisher = {Springer},
booktitle = {CONCUR 2010 - Concurrency Theory, 21th International Conference, CONCUR 2010, Paris, France, August 31-September 3, 2010. Proceedings}
}
@inproceedings{conf/fmco/LienhardtLBSZWSP10,
title = {A Component Model for the ABS Language.},
year = {2010},
booktitle = {FMCO},
author = {{Michael Lienhardt} and {Ivan Lanese} and {Mario Bravetti} and {Davide Sangiorgi} and {Gianluigi Zavattaro} and {Yannick Welsch} and {Jan Schäfer 002} and {Arnd Poetzsch-Heffter}},
publisher = {Springer},
booktitle = {Formal Methods for Components and Objects - 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010. Revised Papers}
}
@inproceedings{conf/icalp/LanesePSS10,
title = {On the Expressiveness of Polyadic and Synchronous Communication in Higher-Order Process Calculi.},
year = {2010},
booktitle = {ICALP (2)},
author = {{Ivan Lanese} and {Jorge A. Pérez 001} and {Davide Sangiorgi} and {Alan Schmitt}},
publisher = {Springer},
booktitle = {Automata, Languages and Programming, 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part II}
}
@inproceedings{conf/tgc/CiminiCS10,
title = {Functions as Processes: Termination and the lm[(m)\\tilde]\\lambda\\mu\\widetilde\{\\mu\}-Calculus.},
year = {2010},
booktitle = {TGC},
author = {{Matteo Cimini} and {Claudio Sacerdoti Coen} and {Davide Sangiorgi}},
publisher = {Springer},
booktitle = {Trustworthly Global Computing - 5th International Symposium, TGC 2010, Munich, Germany, February 24-26, 2010, Revised Selected Papers}
}
@inproceedings{conf/tgc/MontesiS10,
title = {A Model of Evolvable Components.},
year = {2010},
booktitle = {TGC},
author = {{Fabrizio Montesi} and {Davide Sangiorgi}},
publisher = {Springer},
booktitle = {Trustworthly Global Computing - 5th International Symposium, TGC 2010, Munich, Germany, February 24-26, 2010, Revised Selected Papers}
}
@article{journals/jlp/DemangeonHS10,
title = {Termination in higher-order concurrent calculi.},
year = {2010},
journal = {J. Log. Algebraic Methods Program.},
author = {{Romain Demangeon} and {Daniel Hirschkoff} and {Davide Sangiorgi}}
}
@article{journals/tcs/LaneseS10,
title = {An operational semantics for a calculus for wireless systems.},
year = {2010},
journal = {Theor. Comput. Sci.},
author = {{Ivan Lanese} and {Davide Sangiorgi}}
}
@article{journals/toplas/KobayashiS10,
title = {A hybrid type system for lock-freedom of mobile processes.},
year = {2010},
journal = {ACM Trans. Program. Lang. Syst.},
author = {{Naoki Kobayashi 001} and {Davide Sangiorgi}}
}
@incollection{books/sp/sensoria2011/BartolettiCLMSVZ11,
title = {Tools and Verification.},
year = {2011},
booktitle = {Results of the SENSORIA Project},
author = {{Massimo Bartoletti} and {Luís Caires} and {Ivan Lanese} and {Franco Mazzanti} and {Davide Sangiorgi} and {Hugo Torres Vieira} and {Roberto Zunino}},
publisher = {Springer},
booktitle = {Rigorous Software Engineering for Service-Oriented Systems - Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing}
}
@inproceedings{conf/fmco/HahnleHJLSSW11,
title = {HATS Abstract Behavioral Specification: The Architectural View.},
year = {2011},
booktitle = {FMCO},
author = {{Reiner Hähnle} and {Michiel Helvensteijn} and {Einar Broch Johnsen} and {Michael Lienhardt} and {Davide Sangiorgi} and {Ina Schaefer} and {Peter Y. H. Wong}},
publisher = {Springer},
booktitle = {Formal Methods for Components and Objects, 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers}
}
@inproceedings{conf/forte/PatrignaniCS11,
title = {Ownership Types for the Join Calculus.},
year = {2011},
booktitle = {FMOODS/FORTE},
author = {{Marco Patrignani} and {Dave Clarke 001} and {Davide Sangiorgi}},
publisher = {Springer},
booktitle = {Formal Techniques for Distributed Systems - Joint 13th IFIP WG 6.1 International Conference, FMOODS 2011, and 31st IFIP WG 6.1 International Conference, FORTE 2011, Reykjavik, Iceland, June 6-9, 2011. Proceedings}
}
@inproceedings{conf/fsen/DemangeonHS11,
title = {Strong Normalisation in λ-Calculi with References.},
year = {2011},
booktitle = {FSEN},
author = {{Romain Demangeon} and {Daniel Hirschkoff} and {Davide Sangiorgi}},
publisher = {Springer},
booktitle = {Fundamentals of Software Engineering - 4th IPM International Conference, FSEN 2011, Tehran, Iran, April 20-22, 2011, Revised Selected Papers}
}
@article{journals/iandc/LanesePSS11,
title = {On the expressiveness and decidability of higher-order process calculi.},
year = {2011},
journal = {Inf. Comput.},
author = {{Ivan Lanese} and {Jorge A. Pérez 001} and {Davide Sangiorgi} and {Alan Schmitt}}
}
@article{journals/toplas/SangiorgiKS11,
title = {Environmental bisimulations for higher-order languages.},
year = {2011},
journal = {ACM Trans. Program. Lang. Syst.},
author = {{Davide Sangiorgi} and {Naoki Kobayashi 001} and {Eijiro Sumii}}
}
@incollection{reference/parallel/SangiorgiS11,
title = {Pi-Calculus.},
year = {2011},
booktitle = {Encyclopedia of Parallel Computing},
author = {{Davide Sangiorgi}},
publisher = {Springer},
booktitle = {Encyclopedia of Parallel Computing}
}
@incollection{books/cu/12/PousS12,
title = {Enhancements of the bisimulation proof method.},
year = {2012},
booktitle = {Advanced Topics in Bisimulation and Coinduction},
author = {{Damien Pous} and {Davide Sangiorgi}},
publisher = {Cambridge University Press},
booktitle = {Advanced Topics in Bisimulation and Coinduction.}
}
@incollection{books/cu/12/Sangiorgi12,
title = {Origins of bisimulation and coinduction.},
year = {2012},
booktitle = {Advanced Topics in Bisimulation and Coinduction},
author = {{Davide Sangiorgi}},
publisher = {Cambridge University Press},
booktitle = {Advanced Topics in Bisimulation and Coinduction.}
}
@inproceedings{conf/concur/HirschkoffMS12,
title = {Duality and i/o-Types in the π-Calculus.},
year = {2012},
booktitle = {CONCUR},
author = {{Daniel Hirschkoff} and {Jean-Marie Madiot} and {Davide Sangiorgi}},
publisher = {Springer},
booktitle = {CONCUR 2012 - Concurrency Theory - 23rd International Conference, CONCUR 2012, Newcastle upon Tyne, UK, September 4-7, 2012. Proceedings}
}
@inproceedings{conf/isola/LienhardtBS12,
title = {An Object Group-Based Component Model.},
year = {2012},
booktitle = {ISoLA (1)},
author = {{Michael Lienhardt} and {Mario Bravetti} and {Davide Sangiorgi}},
publisher = {Springer},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change - 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I}
}
@article{journals/dc/Sangiorgi12,
title = {Concurrency theory: timed automata, testing, program synthesis.},
year = {2012},
journal = {Distributed Comput.},
author = {{Davide Sangiorgi}}
}
@article{journals/corr/LagoSA13,
title = {On Coinductive Equivalences for Higher-Order Probabilistic Functional Programs (Long Version).},
year = {2013},
journal = {CoRR},
author = {{Ugo Dal Lago} and {Davide Sangiorgi} and {Michele Alberti}}
}
@inproceedings{conf/birthday/HirschkoffMS14,
title = {Symmetries and Dualities in Name-Passing Process Calculi.},
year = {2014},
booktitle = {Computing with New Resources},
author = {{Daniel Hirschkoff} and {Jean-Marie Madiot} and {Davide Sangiorgi}},
publisher = {Springer},
booktitle = {Computing with New Resources - Essays Dedicated to Jozef Gruska on the Occasion of His 80th Birthday}
}
@inproceedings{conf/cmcs/Sangiorgi14,
title = {Higher-Order Languages: Bisimulation and Coinductive Equivalences (Extended Abstract).},
year = {2014},
booktitle = {CMCS},
author = {{Davide Sangiorgi}},
publisher = {Springer},
booktitle = {Coalgebraic Methods in Computer Science - 12th IFIP WG 1.3 International Workshop, CMCS 2014, Colocated with ETAPS 2014, Grenoble, France, April 5-6, 2014, Revised Selected Papers}
}
@inproceedings{conf/concur/MadiotPS14,
title = {Bisimulations Up-to: Beyond First-Order Transition Systems.},
year = {2014},
booktitle = {CONCUR},
author = {{Jean-Marie Madiot} and {Damien Pous} and {Davide Sangiorgi}},
publisher = {Springer},
booktitle = {CONCUR 2014 - Concurrency Theory - 25th International Conference, CONCUR 2014, Rome, Italy, September 2-5, 2014. Proceedings}
}
@inproceedings{conf/csl/BernardoSV14,
title = {On the discriminating power of passivation and higher-order interaction.},
year = {2014},
booktitle = {CSL-LICS},
author = {{Marco Bernardo 001} and {Davide Sangiorgi} and {Valeria Vignudelli}},
publisher = {ACM},
booktitle = {Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), CSL-LICS '14, Vienna, Austria, July 14 - 18, 2014}
}
@inproceedings{conf/popl/LagoSA14,
title = {On coinductive equivalences for higher-order probabilistic functional programs.},
year = {2014},
booktitle = {POPL},
author = {{Ugo Dal Lago} and {Davide Sangiorgi} and {Michele Alberti}},
publisher = {ACM},
booktitle = {The 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL '14, San Diego, CA, USA, January 20-21, 2014}
}
@inproceedings{conf/qest/BernardoSV14,
title = {On the Discriminating Power of Testing Equivalences for Reactive Probabilistic Systems: Results and Open Problems.},
year = {2014},
booktitle = {QEST},
author = {{Marco Bernardo 001} and {Davide Sangiorgi} and {Valeria Vignudelli}},
publisher = {Springer},
booktitle = {Quantitative Evaluation of Systems - 11th International Conference, QEST 2014, Florence, Italy, September 8-10, 2014. Proceedings}
}
@incollection{series/hhl/BaetenS14,
title = {Concurrency Theory: A Historical Perspective on Coinduction and Process Calculi.},
year = {2014},
booktitle = {Computational Logic},
author = {{Jos C. M. Baeten} and {Davide Sangiorgi}},
publisher = {Elsevier},
booktitle = {Computational Logic}
}
@inproceedings{conf/birthday/CrubilleLSV15,
title = {On Applicative Similarity, Sequentiality, and Full Abstraction.},
year = {2015},
booktitle = {Correct System Design},
author = {{Raphaëlle Crubillé} and {Ugo Dal Lago} and {Davide Sangiorgi} and {Valeria Vignudelli}},
publisher = {Springer},
booktitle = {Correct System Design - Symposium in Honor of Ernst-Rüdiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015. Proceedings}
}
@inproceedings{conf/ictac/Sangiorgi15,
title = {The Proof Technique of Unique Solutions of Contractions.},
year = {2015},
booktitle = {ICTAC},
author = {{Davide Sangiorgi}},
publisher = {Springer},
booktitle = {Theoretical Aspects of Computing - ICTAC 2015 - 12th International Colloquium Cali, Colombia, October 29-31, 2015, Proceedings}
}
@article{journals/mscs/LaneseS15,
title = {Preface: Special issue on objects and services.},
year = {2015},
journal = {Math. Struct. Comput. Sci.},
author = {{Ivan Lanese} and {Davide Sangiorgi}}
}
@article{journals/iandc/HirschkoffMS16,
title = {Name-passing calculi: From fusions to preorders and types.},
year = {2016},
journal = {Inf. Comput.},
author = {{Daniel Hirschkoff} and {Jean-Marie Madiot} and {Davide Sangiorgi}}
}
@article{journals/mscs/LagoMS16,
title = {Light logics and higher-order processes.},
year = {2016},
journal = {Math. Struct. Comput. Sci.},
author = {{Ugo Dal Lago} and {Simone Martini 001} and {Davide Sangiorgi}}
}
@article{journals/iandc/DardhaGS17,
title = {Session types revisited.},
year = {2017},
journal = {Inf. Comput.},
author = {{Ornela Dardha} and {Elena Giachino} and {Davide Sangiorgi}}
}
@article{journals/tocl/Sangiorgi17,
title = {Equations, Contractions, and Unique Solutions.},
year = {2017},
journal = {ACM Trans. Comput. Log.},
author = {{Davide Sangiorgi}}
}
@inproceedings{conf/ictcs/Sangiorgi18,
title = {Bisimilarity Via Unique-Solution Techniques.},
year = {2018},
booktitle = {ICTCS},
author = {{Davide Sangiorgi}},
publisher = {CEUR-WS.org},
booktitle = {Proceedings of the 19th Italian Conference on Theoretical Computer Science, Urbino, Italy, September 18-20, 2018.}
}
@inproceedings{journals/corr/abs-1808-08652,
title = {Unique Solutions of Contractions, CCS, and their HOL Formalisation.},
year = {2018},
booktitle = {EXPRESS/SOS},
author = {{Chun Tian 001} and {Davide Sangiorgi}},
booktitle = {Proceedings Combined 25th International Workshop on Expressiveness in Concurrency and 15th Workshop on Structural Operational Semantics, EXPRESS/SOS 2018, Beijing, China, September 3, 2018.}
}
@article{journals/lmcs/SangiorgiX18,
title = {Trees from Functions as Processes.},
year = {2018},
journal = {Log. Methods Comput. Sci.},
author = {{Davide Sangiorgi} and {Xian Xu 001}}
}
@inproceedings{conf/birthday/LaneseSZ19,
title = {Playing with Bisimulation in Erlang.},
year = {2019},
booktitle = {Models, Languages, and Tools for Concurrent and Distributed Programming},
author = {{Ivan Lanese} and {Davide Sangiorgi} and {Gianluigi Zavattaro}},
publisher = {Springer},
booktitle = {Models, Languages, and Tools for Concurrent and Distributed Programming - Essays Dedicated to Rocco De Nicola on the Occasion of His 65th Birthday}
}
@inproceedings{conf/birthday/Sangiorgi19,
title = {Asynchronous \\pi -calculus at Work: The Call-by-Need Strategy.},
year = {2019},
booktitle = {The Art of Modelling Computational Systems},
author = {{Davide Sangiorgi}},
publisher = {Springer},
booktitle = {The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy - Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday}
}
@inproceedings{conf/ictcs/HirschkoffPS19,
title = {Modeling Imperative Constructs in the Pi-Calculus.},
year = {2019},
booktitle = {ICTCS},
author = {{Daniel Hirschkoff} and {Enguerrand Prebet} and {Davide Sangiorgi}},
publisher = {CEUR-WS.org},
booktitle = {Proceedings of the 20th Italian Conference on Theoretical Computer Science, ICTCS 2019, Como, Italy, September 9-11, 2019.}
}
@article{journals/fac/PousS19,
title = {Bisimulation and Coinduction Enhancements: A Historical Perspective.},
year = {2019},
journal = {Formal Aspects Comput.},
author = {{Damien Pous} and {Davide Sangiorgi}}
}
@article{journals/lmcs/DurierHS19,
title = {Divergence and unique solution of equations.},
year = {2019},
journal = {Log. Methods Comput. Sci.},
author = {{Adrien Durier} and {Daniel Hirschkoff} and {Davide Sangiorgi}}
}
@article{journals/toplas/SangiorgiV19,
title = {Environmental Bisimulations for Probabilistic Higher-order Languages.},
year = {2019},
journal = {ACM Trans. Program. Lang. Syst.},
author = {{Davide Sangiorgi} and {Valeria Vignudelli}}
}
@inproceedings{conf/birthday/GiallorenzoLMSZ20,
title = {The Servers of Serverless Computing: A Formal Revisitation of Functions as a Service.},
year = {2020},
booktitle = {Gabbrielli's Festschrift},
author = {{Saverio Giallorenzo} and {Ivan Lanese} and {Fabrizio Montesi} and {Davide Sangiorgi} and {Stefano Pio Zingaro}},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik},
booktitle = {Recent Developments in the Design and Implementation of Programming Languages, Gabbrielli's Festschrift, November 27, 2020, Bologna, Italy.}
}
@inproceedings{conf/concur/HirschkoffPS20,
title = {On the Representation of References in the Pi-Calculus.},
year = {2020},
booktitle = {CONCUR},
author = {{Daniel Hirschkoff} and {Enguerrand Prebet} and {Davide Sangiorgi}},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik},
booktitle = {31st International Conference on Concurrency Theory, CONCUR 2020, September 1-4, 2020, Vienna, Austria (Virtual Conference).}
}
@article{journals/tcs/DurierHS20,
title = {Towards 'up to context' reasoning about higher-order processes.},
year = {2020},
journal = {Theor. Comput. Sci.},
author = {{Adrien Durier} and {Daniel Hirschkoff} and {Davide Sangiorgi}}
}
@inproceedings{conf/lics/HirschkoffPS21,
title = {On sequentiality and well-bracketing in the π-calculus.},
year = {2021},
booktitle = {LICS},
author = {{Daniel Hirschkoff} and {Enguerrand Prebet} and {Davide Sangiorgi}},
publisher = {IEEE},
booktitle = {36th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2021, Rome, Italy, June 29 - July 2, 2021}
}
@article{journals/lmcs/MadiotPS21,
title = {Modular coinduction up-to for higher-order languages via first-order transition systems.},
year = {2021},
journal = {Log. Methods Comput. Sci.},
author = {{Jean-Marie Madiot} and {Damien Pous} and {Davide Sangiorgi}}
}
@inproceedings{conf/concur/CastellaniGKRS22,
title = {CONCUR Test-Of-Time Award 2022 (Invited Paper).},
year = {2022},
booktitle = {CONCUR},
author = {{Ilaria Castellani} and {Paul Gastin} and {Orna Kupferman} and {Mickael Randour} and {Davide Sangiorgi}},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik},
booktitle = {33rd International Conference on Concurrency Theory, CONCUR 2022, September 12-16, 2022, Warsaw, Poland.}
}
@inproceedings{conf/csl/JaberS22,
title = {Games, Mobile Processes, and Functions.},
year = {2022},
booktitle = {CSL},
author = {{Guilhem Jaber} and {Davide Sangiorgi}},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik},
booktitle = {30th EACSL Annual Conference on Computer Science Logic, CSL 2022, February 14-19, 2022, Göttingen, Germany (Virtual Conference).}
}
@inproceedings{conf/ppdp/DardhaGS22,
title = {Session Types Revisited: A Decade Later.},
year = {2022},
booktitle = {PPDP},
author = {{Ornela Dardha} and {Elena Giachino} and {Davide Sangiorgi}},
publisher = {ACM},
booktitle = {PPDP 2022: 24th International Symposium on Principles and Practice of Declarative Programming, Tbilisi, Georgia, September 20 - 22, 2022}
}
@article{journals/corr/abs-2202-03187,
title = {Eager Functions as Processes (long version).},
year = {2022},
journal = {CoRR},
author = {{Adrien Durier} and {Daniel Hirschkoff} and {Davide Sangiorgi}}
}
@article{journals/eatcs/AcetoKRS22,
title = {Interviews with the 2022 CONCUR Test-of-Time Award Recipients.},
year = {2022},
journal = {Bull. EATCS},
author = {{Luca Aceto} and {Orna Kupferman} and {Mickael Randour} and {Davide Sangiorgi}}
}
@article{journals/pacmpl/Sangiorgi22,
title = {From enhanced coinduction towards enhanced induction.},
year = {2022},
journal = {Proc. ACM Program. Lang.},
author = {{Davide Sangiorgi}}
}
@article{journals/tcs/DurierHS22,
title = {Eager functions as processes.},
year = {2022},
journal = {Theor. Comput. Sci.},
author = {{Adrien Durier} and {Daniel Hirschkoff} and {Davide Sangiorgi}}
}
@inproceedings{conf/csl/Sangiorgi23,
title = {Enhanced Induction in Behavioural Relations (Invited Talk).},
year = {2023},
booktitle = {CSL},
author = {{Davide Sangiorgi}},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik},
booktitle = {31st EACSL Annual Conference on Computer Science Logic, CSL 2023, February 13-16, 2023, Warsaw, Poland.}
}
@inproceedings{conf/lics/SakayoriS23,
title = {Extensional and Non-extensional Functions as Processes.},
year = {2023},
booktitle = {LICS},
author = {{Ken Sakayori} and {Davide Sangiorgi}}
}
@inproceedings{journals/corr/abs-2309-07303,
title = {EXPRESSing Session Types.},
year = {2023},
booktitle = {EXPRESS/SOS},
author = {{Ilaria Castellani} and {Ornela Dardha} and {Luca Padovani} and {Davide Sangiorgi}},
booktitle = {Proceedings Combined 30th International Workshop on Expressiveness in Concurrency and 20th Workshop on Structural Operational Semantics, EXPRESS/SOS 2023, and 20th Workshop on Structural Operational SemanticsAntwerp, Belgium, 18th September 2023.}
}