Davide Sangiorgi

Affiliations:
  • University of Bologna, Italy


According to our database1, Davide Sangiorgi authored at least 138 papers between 1990 and 2023.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
EXPRESSing Session Types.
Proceedings of the Proceedings Combined 30th International Workshop on Expressiveness in Concurrency and 20th Workshop on Structural Operational Semantics, 2023

Extensional and Non-extensional Functions as Processes.
LICS, 2023

Enhanced Induction in Behavioural Relations (Invited Talk).
Proceedings of the 31st EACSL Annual Conference on Computer Science Logic, 2023

2022
Eager functions as processes.
Theor. Comput. Sci., 2022

From enhanced coinduction towards enhanced induction.
Proc. ACM Program. Lang., 2022

Interviews with the 2022 CONCUR Test-of-Time Award Recipients.
Bull. EATCS, 2022

Eager Functions as Processes (long version).
CoRR, 2022

Session Types Revisited: A Decade Later.
Proceedings of the PPDP 2022: 24th International Symposium on Principles and Practice of Declarative Programming, Tbilisi, Georgia, September 20, 2022

Games, Mobile Processes, and Functions.
Proceedings of the 30th EACSL Annual Conference on Computer Science Logic, 2022

CONCUR Test-Of-Time Award 2022 (Invited Paper).
Proceedings of the 33rd International Conference on Concurrency Theory, 2022

2021
Modular coinduction up-to for higher-order languages via first-order transition systems.
Log. Methods Comput. Sci., 2021

On sequentiality and well-bracketing in the π-calculus.
Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, 2021

2020
Towards 'up to context' reasoning about higher-order processes.
Theor. Comput. Sci., 2020

On the Representation of References in the Pi-Calculus.
Proceedings of the 31st International Conference on Concurrency Theory, 2020

The Servers of Serverless Computing: A Formal Revisitation of Functions as a Service.
Proceedings of the Recent Developments in the Design and Implementation of Programming Languages, 2020

2019
Environmental Bisimulations for Probabilistic Higher-order Languages.
ACM Trans. Program. Lang. Syst., 2019

Divergence and unique solution of equations.
Log. Methods Comput. Sci., 2019

Bisimulation and Coinduction Enhancements: A Historical Perspective.
Formal Aspects Comput., 2019

Modeling Imperative Constructs in the Pi-Calculus.
Proceedings of the 20th Italian Conference on Theoretical Computer Science, 2019

Asynchronous \pi -calculus at Work: The Call-by-Need Strategy.
Proceedings of the Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy, 2019

Playing with Bisimulation in Erlang.
Proceedings of the Models, Languages, and Tools for Concurrent and Distributed Programming, 2019

2018
Trees from Functions as Processes.
Log. Methods Comput. Sci., 2018

Unique Solutions of Contractions, CCS, and their HOL Formalisation.
Proceedings of the Proceedings Combined 25th International Workshop on Expressiveness in Concurrency and 15th Workshop on Structural Operational Semantics, 2018

Bisimilarity Via Unique-Solution Techniques.
Proceedings of the 19th Italian Conference on Theoretical Computer Science, 2018

2017
Equations, Contractions, and Unique Solutions.
ACM Trans. Comput. Log., 2017

Session types revisited.
Inf. Comput., 2017

2016
Light logics and higher-order processes.
Math. Struct. Comput. Sci., 2016

Name-passing calculi: From fusions to preorders and types.
Inf. Comput., 2016

2015
Preface: Special issue on objects and services.
Math. Struct. Comput. Sci., 2015

The Proof Technique of Unique Solutions of Contractions.
Proceedings of the Theoretical Aspects of Computing - ICTAC 2015, 2015

On Applicative Similarity, Sequentiality, and Full Abstraction.
Proceedings of the Correct System Design, 2015

2014
Concurrency Theory: A Historical Perspective on Coinduction and Process Calculi.
Proceedings of the Computational Logic, 2014

On the Discriminating Power of Testing Equivalences for Reactive Probabilistic Systems: Results and Open Problems.
Proceedings of the Quantitative Evaluation of Systems - 11th International Conference, 2014

On coinductive equivalences for higher-order probabilistic functional programs.
Proceedings of the 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2014

On the discriminating power of passivation and higher-order interaction.
Proceedings of the 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), 2014

Bisimulations Up-to: Beyond First-Order Transition Systems.
Proceedings of the CONCUR 2014 - Concurrency Theory - 25th International Conference, 2014

Higher-Order Languages: Bisimulation and Coinductive Equivalences (Extended Abstract).
Proceedings of the Coalgebraic Methods in Computer Science, 2014

Symmetries and Dualities in Name-Passing Process Calculi.
Proceedings of the Computing with New Resources, 2014

2013
On Coinductive Equivalences for Higher-Order Probabilistic Functional Programs (Long Version).
CoRR, 2013

2012
Concurrency theory: timed automata, testing, program synthesis.
Distributed Comput., 2012

An Object Group-Based Component Model.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2012

Duality and i/o-Types in the π-Calculus.
Proceedings of the CONCUR 2012 - Concurrency Theory - 23rd International Conference, 2012

Origins of bisimulation and coinduction.
Proceedings of the Advanced Topics in Bisimulation and Coinduction., 2012

Enhancements of the bisimulation proof method.
Proceedings of the Advanced Topics in Bisimulation and Coinduction., 2012

2011
Pi-Calculus.
Proceedings of the Encyclopedia of Parallel Computing, 2011

Environmental bisimulations for higher-order languages.
ACM Trans. Program. Lang. Syst., 2011

On the expressiveness and decidability of higher-order process calculi.
Inf. Comput., 2011

Strong Normalisation in λ-Calculi with References.
Proceedings of the Fundamentals of Software Engineering - 4th IPM International Conference, 2011

Ownership Types for the Join Calculus.
Proceedings of the Formal Techniques for Distributed Systems, 2011

HATS Abstract Behavioral Specification: The Architectural View.
Proceedings of the Formal Methods for Components and Objects, 10th International Symposium, 2011

Tools and Verification.
Proceedings of the Rigorous Software Engineering for Service-Oriented Systems, 2011

2010
A hybrid type system for lock-freedom of mobile processes.
ACM Trans. Program. Lang. Syst., 2010

An operational semantics for a calculus for wireless systems.
Theor. Comput. Sci., 2010

Termination in higher-order concurrent calculi.
J. Log. Algebraic Methods Program., 2010

A Model of Evolvable Components.
Proceedings of the Trustworthly Global Computing - 5th International Symposium, 2010

Functions as Processes: Termination and the lm[(m)\tilde]\lambda\mu\widetilde{\mu}-Calculus.
Proceedings of the Trustworthly Global Computing - 5th International Symposium, 2010

On the Expressiveness of Polyadic and Synchronous Communication in Higher-Order Process Calculi.
Proceedings of the Automata, Languages and Programming, 37th International Colloquium, 2010

A Component Model for the ABS Language.
Proceedings of the Formal Methods for Components and Objects - 9th International Symposium, 2010

Termination in Impure Concurrent Languages.
Proceedings of the CONCUR 2010 - Concurrency Theory, 21th International Conference, 2010

2009
On the origins of bisimulation and coinduction.
ACM Trans. Program. Lang. Syst., 2009

On the Expressiveness of Polyadicity in Higher-Order Process Calculi.
Proceedings of the Theoretical Computer Science, 11th Italian Conference, 2009

Mobile Processes and Termination.
Proceedings of the Semantics and Algebraic Specification, 2009

2008
Separability in the Ambient Logic.
Log. Methods Comput. Sci., 2008

Type Systems for Bigraphs.
Proceedings of the Trustworthy Global Computing, 4th International Symposium, 2008

Static and dynamic typing for the termination of mobile processes.
Proceedings of the Fifth IFIP International Conference On Theoretical Computer Science, 2008

2007
An efficient abstract machine for Safe Ambients.
J. Log. Algebraic Methods Program., 2007

On the Complexity of Termination Inference for Processes.
Proceedings of the Trustworthy Global Computing, Third Symposium, 2007

Logical Bisimulations and Functional Languages.
Proceedings of the International Symposium on Fundamentals of Software Engineering, 2007

2006
Towards an algebraic theory of typed mobile processes.
Theor. Comput. Sci., 2006

Safe Ambients: Abstract machine and distributed implementation.
Sci. Comput. Program., 2006

Termination of processes.
Math. Struct. Comput. Sci., 2006

On the Expressiveness of the Ambient Logic.
Log. Methods Comput. Sci., 2006

Ensuring termination by typability.
Inf. Comput., 2006

Towards a Calculus For Wireless Systems.
Proceedings of the 22nd Annual Conference on Mathematical Foundations of Programming Semantics, 2006

SCC: A Service Centered Calculus.
Proceedings of the Web Services and Formal Methods, Third International Workshop, 2006

The Bisimulation Proof Method: Enhancements and Open Problems.
Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2006

2005
On the representation of McCarthy's amb in the Pi-calculus.
Theor. Comput. Sci., 2005

Bisimulation and Co-induction: Some Problems.
Proceedings of the Workshop "Essays on Algebraic Process Calculi", 2005

Types in concurrency.
Acta Informatica, 2005

Beyond Bisimulation: The "up-to" Techniques.
Proceedings of the Formal Methods for Components and Objects, 4th International Symposium, 2005

A Correct Abstract Machine for Safe Ambients.
Proceedings of the Coordination Models and Languages, 7th International Conference, 2005

2004
On asynchrony in name-passing calculi.
Math. Struct. Comput. Sci., 2004

Bisimulation: From The Origins to Today.
Proceedings of the 19th IEEE Symposium on Logic in Computer Science (LICS 2004), 2004

2003
Mobile safe ambients.
ACM Trans. Program. Lang. Syst., 2003

On the Representation of McCarthy's <i>amb</i> in the π-calculus.
Proceedings of the 10th International Workshop on Expressiveness in Concurrency, 2003

Taming Mobile Processes Using Types.
Proceedings of the 1st International Conference on Software Engineering and Formal Methods (SEFM 2003), 2003

Minimality Results for the Spatial Logics.
Proceedings of the FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science, 2003

2002
Ninth International Conference on Concurrency Theory 1998 - Editorial.
Theor. Comput. Sci., 2002

Imperative objects as mobile processes.
Sci. Comput. Program., 2002

A Fully Abstract Model for the [pi]-calculus.
Inf. Comput., 2002

Separability, Expressiveness, and Decidability in the Ambient Logic.
Proceedings of the 17th IEEE Symposium on Logic in Computer Science (LICS 2002), 2002

Types, or: Where's the Difference Between CCS and pi?
Proceedings of the CONCUR 2002, 2002

2001
Asynchronous process calculi: the first- and higher-order paradigms.
Theor. Comput. Sci., 2001

A Partition Refinement Algorithm for the -Calculus.
Inf. Comput., 2001

Extensionality and Intensionality of the Ambient Logics.
Proceedings of the Conference Record of POPL 2001: The 28th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2001

A Distributed Abstract Machine for Safe Ambients.
Proceedings of the Automata, Languages and Programming, 28th International Colloquium, 2001

On Barbed Equivalences in pi-Calculus.
Proceedings of the CONCUR 2001, 2001

The Pi-Calculus - a theory of mobile processes.
Cambridge University Press, ISBN: 978-0-521-78177-0, 2001

2000
Review: Communicating and Mobile Systems: the -calculus, - Robin Milner, Cambridge University Press, Cambridge, 1999, 174 pages, ISBN 0-521-64320-1.
Sci. Comput. Program., 2000

Behavioral equivalence in the polymorphic pi-calculus.
J. ACM, 2000

Controlling Interference in Ambients.
Proceedings of the POPL 2000, 2000

Lazy functions and mobile processes.
Proceedings of the Proof, Language, and Interaction, Essays in Honour of Robin Milner, 2000

1999
The Name Discipline of Uniform Receptiveness.
Theor. Comput. Sci., 1999

Typed pi-calculus at Work: A Correctness Proof of Jones's Parallelisation Transformation on Concurrent Objects.
Theory Pract. Object Syst., 1999

From lambda to pi; or, Rediscovering continuations.
Math. Struct. Comput. Sci., 1999

Reasoning About Concurrent Systems Using Types.
Proceedings of the Foundations of Software Science and Computation Structure, 1999

A pi-calculus Process Semantics of Concurrent Idealised ALGOL.
Proceedings of the Foundations of Software Science and Computation Structure, 1999

1998
Some Congruence Properties for Pi-Calculus Bisimilarities.
Theor. Comput. Sci., 1998

On Bisimulations for the Asynchronous pi-Calculus.
Theor. Comput. Sci., 1998

On the Foundations of Final Coalgebra Semantics: Non-Well-Founded Sets, Partial Orders, Metric Spaces.
Math. Struct. Comput. Sci., 1998

An Interpretation of Typed Objects into Typed pi-Calculus.
Inf. Comput., 1998

A Fully Abstract Semantics for Causality in the \pi-Calculus.
Acta Informatica, 1998

Imperative objects and mobile processes.
Proceedings of the Programming Concepts and Methods, 1998

Bisimulation in Name-Passing Calculi without Matching.
Proceedings of the Thirteenth Annual IEEE Symposium on Logic in Computer Science, 1998

1997
The Name Discipline of Uniform Receptiveness (Extended Abstract).
Proceedings of the Automata, Languages and Programming, 24th International Colloquium, 1997

1996
pi-Calculus, Internal Mobility, and Agent-Passing Calculi.
Theor. Comput. Sci., 1996

Locality and Interleaving Semantics in Calculi for Mobile Processes.
Theor. Comput. Sci., 1996

Typing and Subtyping for Mobile Processes.
Math. Struct. Comput. Sci., 1996

Bisimulation for Higher-Order Process Calculi.
Inf. Comput., 1996

A Theory of Bisimulation for the pi-Calculus.
Acta Informatica, 1996

A Fully-Abstract Model for the pi-Calculus (Extended Abstract).
Proceedings of the Proceedings, 1996

A Partition Refinement Algorithm for the <i>pi</i>-Calculus (Extended Abstract).
Proceedings of the Computer Aided Verification, 8th International Conference, 1996

1995
Algebraic Theories for Name-Passing Calculi
Inf. Comput., August, 1995

Pi-I: A Symmetric Calculus Based on Internal Mobility.
Proceedings of the TAPSOFT'95: Theory and Practice of Software Development, 1995

On the Proof Method for Bisimulation (Extended Abstract).
Proceedings of the Mathematical Foundations of Computer Science 1995, 1995

Internal Mobility and Agent-Passing Calculi.
Proceedings of the Automata, Languages and Programming, 22nd International Colloquium, 1995

1994
The Lazy Lambda Calculus in a Concurrency Scenario
Inf. Comput., May, 1994

Locality and True-concurrency in Calculi for Mobile Processes.
Proceedings of the Theoretical Aspects of Computer Software, 1994

1993
Expressing mobility in process algebras : first-order and higher-order paradigms.
PhD thesis, 1993

From pi-Calculus to Higher-Order pi-Calculus - and Back.
Proceedings of the TAPSOFT'93: Theory and Practice of Software Development, 1993

An Investigation into Functions as Processes.
Proceedings of the Mathematical Foundations of Programming Semantics, 1993

1992
Classes of Systolic Y-Tree Automata and a Comparison with Systolic Trellis Automata.
Acta Informatica, 1992

The Lazy Lambda Calculus in a Concurrency Scenario (Extended Abstract)
Proceedings of the Seventh Annual Symposium on Logic in Computer Science (LICS '92), 1992

Barbed Bisimulation.
Proceedings of the Automata, Languages and Programming, 19th International Colloquium, 1992

The Problem of "Weak Bisimulation up to".
Proceedings of the CONCUR '92, 1992

1991
Nonacceptability Criteria and Closure Properties for the Class of Languages Accepted by Binary Systolic Tree Automata.
Theor. Comput. Sci., 1991

1990
Simulation of Systolic Tree Automata on Trellis Automata.
Int. J. Found. Comput. Sci., 1990

Comparisons Among Classes of Y-Tree Systolic Automata.
Proceedings of the Mathematical Foundations of Computer Science 1990, 1990


  Loading...