| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Davide Sangiorgi |
Concurrency theory: timed automata, testing, program synthesis.  |
Distributed Computing  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Ivan Lanese, Jorge A. Pérez, Davide Sangiorgi, Alan Schmitt |
On the expressiveness and decidability of higher-order process calculi. |
Inf. Comput. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Davide Sangiorgi, Naoki Kobayashi, Eijiro Sumii |
Environmental bisimulations for higher-order languages. |
ACM Trans. Program. Lang. Syst. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Davide Sangiorgi |
Pi-Calculus. |
Encyclopedia of Parallel Computing |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Massimo Bartoletti, Luís Caires, Ivan Lanese, Franco Mazzanti, Davide Sangiorgi, Hugo Torres Vieira, Roberto Zunino |
Tools and Verification. |
Results of the SENSORIA Project |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Patrignani, Dave Clarke, Davide Sangiorgi |
Ownership Types for the Join Calculus. |
FMOODS/FORTE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Romain Demangeon, Daniel Hirschkoff, Davide Sangiorgi |
Strong Normalisation in λ-Calculi with References. |
FSEN |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Romain Demangeon, Daniel Hirschkoff, Davide Sangiorgi |
Termination in higher-order concurrent calculi. |
J. Log. Algebr. Program. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Ivan Lanese, Davide Sangiorgi |
An operational semantics for a calculus for wireless systems. |
Theor. Comput. Sci. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Naoki Kobayashi, Davide Sangiorgi |
A hybrid type system for lock-freedom of mobile processes. |
ACM Trans. Program. Lang. Syst. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Ugo Dal Lago, Simone Martini, Davide Sangiorgi |
Light Logics and Higher-Order Processes |
EXPRESS'10 |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Romain Demangeon, Daniel Hirschkoff, Davide Sangiorgi |
Termination in Impure Concurrent Languages. |
CONCUR |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Ivan Lanese, Jorge A. Pérez, Davide Sangiorgi, Alan Schmitt |
On the Expressiveness of Polyadic and Synchronous Communication in Higher-Order Process Calculi. |
ICALP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Lienhardt, Ivan Lanese, Mario Bravetti, Davide Sangiorgi, Gianluigi Zavattaro, Yannick Welsch, Jan Schäfer, Arnd Poetzsch-Heffter |
A Component Model for the ABS Language. |
FMCO |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Fabrizio Montesi, Davide Sangiorgi |
A Model of Evolvable Components. |
TGC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Matteo Cimini, Claudio Sacerdoti Coen, Davide Sangiorgi |
Functions as Processes: Termination and the lm[(m)\tilde]\lambda\mu\widetilde{\mu}-Calculus. |
TGC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Davide Sangiorgi |
On the origins of bisimulation and coinduction. |
ACM Trans. Program. Lang. Syst. |
2009 |
DBLP DOI BibTeX RDF |
greatest fixed points, Bisimulation, history, fixed points, coinduction |
| 1 | Ivan Lanese, Jorge A. Pérez, Davide Sangiorgi, Alan Schmitt |
On the Expressiveness of Polyadicity in Higher-Order Process Calculi. |
ICTCS |
2009 |
DBLP BibTeX RDF |
|
| 1 | Romain Demangeon, Daniel Hirschkoff, Davide Sangiorgi |
Termination in Higher-Order Concurrent Calculi. |
FSEN |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Romain Demangeon, Daniel Hirschkoff, Davide Sangiorgi |
Mobile Processes and Termination. |
Semantics and Algebraic Specification |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Étienne Lozes, Daniel Hirschkoff, Davide Sangiorgi |
Separability in the Ambient Logic. |
Logical Methods in Computer Science |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Hirschkoff, Étienne Lozes, Davide Sangiorgi |
Separability in the Ambient Logic |
CoRR |
2008 |
DBLP BibTeX RDF |
|
| 1 | Romain Demangeon, Daniel Hirschkoff, Davide Sangiorgi |
Static and dynamic typing for the termination of mobile processes. |
IFIP TCS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Naoki Kobayashi, Davide Sangiorgi |
A Hybrid Type System for Lock-Freedom of Mobile Processes. |
CAV |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Ivan Lanese, Jorge A. Pérez, Davide Sangiorgi, Alan Schmitt |
On the Expressiveness and Decidability of Higher-Order Process Calculi. |
LICS |
2008 |
DBLP DOI BibTeX RDF |
behavioral equivalences, decidability, expressiveness, process calculi, higher-order languages |
| 1 | Ebbe Elsborg, Thomas T. Hildebrandt, Davide Sangiorgi |
Type Systems for Bigraphs. |
TGC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Hirschkoff, Damien Pous, Davide Sangiorgi |
An efficient abstract machine for Safe Ambients. |
J. Log. Algebr. Program. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Davide Sangiorgi, Naoki Kobayashi, Eijiro Sumii |
Logical Bisimulations and Functional Languages. |
FSEN |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Davide Sangiorgi, Naoki Kobayashi, Eijiro Sumii |
Environmental Bisimulations for Higher-Order Languages. |
LICS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Romain Demangeon, Daniel Hirschkoff, Naoki Kobayashi, Davide Sangiorgi |
On the Complexity of Termination Inference for Processes. |
TGC |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Paola Giannini, Davide Sangiorgi, Andrea Valente |
Safe Ambients: Abstract machine and distributed implementation. |
Sci. Comput. Program. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Yuxin Deng, Davide Sangiorgi |
Towards an algebraic theory of typed mobile processes. |
Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Davide Sangiorgi |
Termination of processes. |
Mathematical Structures in Computer Science |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Yuxin Deng, Davide Sangiorgi |
Ensuring termination by typability. |
Inf. Comput. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Hirschkoff, Étienne Lozes, Davide Sangiorgi |
On the Expressiveness of the Ambient Logic. |
Logical Methods in Computer Science |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Davide Sangiorgi |
Bisimulation and Co-induction: Some Problems. |
Electr. Notes Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicola Mezzetti, Davide Sangiorgi |
Towards a Calculus For Wireless Systems. |
Electr. Notes Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Davide Sangiorgi |
The Bisimulation Proof Method: Enhancements and Open Problems. |
FMOODS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
SCC: A Service Centered Calculus. |
WS-FM |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Arnaud Carayol, Daniel Hirschkoff, Davide Sangiorgi |
On the representation of McCarthy's amb in the Pi-calculus. |
Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Rocco De Nicola, Davide Sangiorgi |
Types in concurrency. |
Acta Inf. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Hirschkoff, Étienne Lozes, Davide Sangiorgi |
On the Expressiveness of the Ambient Logic |
CoRR |
2005 |
DBLP BibTeX RDF |
|
| 1 | Daniel Hirschkoff, Damien Pous, Davide Sangiorgi |
A Correct Abstract Machine for Safe Ambients. |
COORDINATION |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Davide Sangiorgi |
Beyond Bisimulation: The "up-to" Techniques. |
FMCO |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Rocco De Nicola, Davide Sangiorgi (eds.) |
Trustworthy Global Computing, International Symposium, TGC 2005, Edinburgh, UK, April 7-9, 2005, Revised Selected Papers |
TGC |
2005 |
DBLP BibTeX RDF |
|
| 1 | Massimo Merro, Davide Sangiorgi |
On asynchrony in name-passing calculi. |
Mathematical Structures in Computer Science |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Arnaud Carayol, Daniel Hirschkoff, Davide Sangiorgi |
On the Representation of McCarthy's amb in the -calculus. |
Electr. Notes Theor. Comput. Sci. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Yuxin Deng, Davide Sangiorgi |
Towards an Algebraic Theory of Typed Mobile Processes. |
ICALP |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Yuxin Deng, Davide Sangiorgi |
Ensuring Termination by Typability. |
IFIP TCS |
2004 |
DBLP BibTeX RDF |
|
| 1 | Davide Sangiorgi |
Bisimulation: From The Origins to Today. |
LICS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Francesca Levi, Davide Sangiorgi |
Mobile safe ambients. |
ACM Trans. Program. Lang. Syst. |
2003 |
DBLP DOI BibTeX RDF |
behavioral equivalences, Mobility, interferences |
| 1 | Davide Sangiorgi |
Taming Mobile Processes Using Types. |
SEFM |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Hirschkoff, Étienne Lozes, Davide Sangiorgi |
Minimality Results for the Spatial Logics. |
FSTTCS |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Josva Kleist, Davide Sangiorgi |
Imperative objects as mobile processes. |
Sci. Comput. Program. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Davide Sangiorgi, Robert de Simone |
Ninth International Conference on Concurrency Theory 1998 - Editorial. |
Theor. Comput. Sci. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Marcelo P. Fiore, Eugenio Moggi, Davide Sangiorgi |
A Fully Abstract Model for the [pi]-calculus. |
Inf. Comput. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Davide Sangiorgi |
Types, or: Where's the Difference Between CCS and pi? |
CONCUR |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Hirschkoff, Étienne Lozes, Davide Sangiorgi |
Separability, Expressiveness, and Decidability in the Ambient Logic. |
LICS |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Davide Sangiorgi |
Asynchronous process calculi: the first- and higher-order paradigms. |
Theor. Comput. Sci. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Pistore, Davide Sangiorgi |
A Partition Refinement Algorithm for the -Calculus. |
Inf. Comput. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Davide Sangiorgi, David Walker |
The Pi-Calculus - a theory of mobile processes. |
|
2001 |
RDF |
|
| 1 | Davide Sangiorgi, David Walker |
On Barbed Equivalences in pi-Calculus. |
CONCUR |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Davide Sangiorgi, Andrea Valente |
A Distributed Abstract Machine for Safe Ambients. |
ICALP |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Davide Sangiorgi |
Extensionality and Intensionality of the Ambient Logics. |
POPL |
2001 |
DBLP BibTeX RDF |
|
| 1 | Davide Sangiorgi |
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 |
DBLP DOI BibTeX RDF |
|
| 1 | Benjamin C. Pierce, Davide Sangiorgi |
Behavioral equivalence in the polymorphic pi-calculus. |
J. ACM |
2000 |
DBLP DOI BibTeX RDF |
abstract data types, pi-calculus |
| 1 | Francesca Levi, Davide Sangiorgi |
Controlling Interference in Ambients. |
POPL |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Davide Sangiorgi |
Lazy functions and mobile processes. |
Proof, Language, and Interaction |
2000 |
DBLP BibTeX RDF |
|
| 1 | Davide Sangiorgi |
The Name Discipline of Uniform Receptiveness. |
Theor. Comput. Sci. |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Davide Sangiorgi |
From lambda to pi; or, Rediscovering continuations. |
Mathematical Structures in Computer Science |
1999 |
DBLP BibTeX RDF |
|
| 1 | Davide Sangiorgi |
Typed pi-calculus at Work: A Correctness Proof of Jones's Parallelisation Transformation on Concurrent Objects. |
TAPOS |
1999 |
DBLP BibTeX RDF |
|
| 1 | Davide Sangiorgi |
Reasoning About Concurrent Systems Using Types. |
FoSSaCS |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Christine Röckl, Davide Sangiorgi |
A pi-calculus Process Semantics of Concurrent Idealised ALGOL. |
FoSSaCS |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto M. Amadio, Ilaria Castellani, Davide Sangiorgi |
On Bisimulations for the Asynchronous pi-Calculus. |
Theor. Comput. Sci. |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Michele Boreale, Davide Sangiorgi |
Some Congruence Properties for Pi-Calculus Bisimilarities. |
Theor. Comput. Sci. |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Davide Sangiorgi |
On the Foundations of Final Coalgebra Semantics: Non-Well-Founded Sets, Partial Orders, Metric Spaces. |
Mathematical Structures in Computer Science |
1998 |
DBLP BibTeX RDF |
|
| 1 | Michele Boreale, Davide Sangiorgi |
A Fully Abstract Semantics for Causality in the \pi-Calculus. |
Acta Inf. |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Davide Sangiorgi |
An Interpretation of Typed Objects into Typed pi-Calculus. |
Inf. Comput. |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Davide Sangiorgi, Robert de Simone (eds.) |
CONCUR '98: Concurrency Theory, 9th International Conference, Nice, France, September 8-11, 1998, Proceedings |
CONCUR |
1998 |
DBLP BibTeX RDF |
|
| 1 | Massimo Merro, Davide Sangiorgi |
On Asynchrony in Name-Passing Calculi. |
ICALP |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Josva Kleist, Davide Sangiorgi |
Imperative objects and mobile processes. |
PROCOMET |
1998 |
DBLP BibTeX RDF |
|
| 1 | Michele Boreale, Davide Sangiorgi |
Bisimulation in Name-Passing Calculi without Matching. |
LICS |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Davide Sangiorgi |
The Name Discipline of Uniform Receptiveness (Extended Abstract). |
ICALP |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Benjamin C. Pierce, Davide Sangiorgi |
Behavioral Equivalence in the Polymorphic Pi-calculus. |
POPL |
1997 |
DBLP DOI BibTeX RDF |
ML |
| 1 | Davide Sangiorgi |
pi-Calculus, Internal Mobility, and Agent-Passing Calculi. |
Theor. Comput. Sci. |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Davide Sangiorgi |
Locality and Interleaving Semantics in Calculi for Mobile Processes. |
Theor. Comput. Sci. |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Benjamin C. Pierce, Davide Sangiorgi |
Typing and Subtyping for Mobile Processes. |
Mathematical Structures in Computer Science |
1996 |
DBLP BibTeX RDF |
|
| 1 | Davide Sangiorgi |
A Theory of Bisimulation for the pi-Calculus. |
Acta Inf. |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Davide Sangiorgi |
Bisimulation for Higher-Order Process Calculi. |
Inf. Comput. |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto M. Amadio, Ilaria Castellani, Davide Sangiorgi |
On Bisimulations for the Asynchronous pi-Calculus. |
CONCUR |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Pistore, Davide Sangiorgi |
A Partition Refinement Algorithm for the pi-Calculus (Extended Abstract). |
CAV |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Marcelo P. Fiore, Eugenio Moggi, Davide Sangiorgi |
A Fully-Abstract Model for the pi-Calculus (Extended Abstract). |
LICS |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Joachim Parrow, Davide Sangiorgi |
Algebraic Theories for Name-Passing Calculi |
Inf. Comput. |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Davide Sangiorgi |
Internal Mobility and Agent-Passing Calculi. |
ICALP |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Davide Sangiorgi |
Pi-I: A Symmetric Calculus Based on Internal Mobility. |
TAPSOFT |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Davide Sangiorgi |
On the Proof Method for Bisimulation (Extended Abstract). |
MFCS |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Michele Boreale, Davide Sangiorgi |
A Fully Abstract Semantics for Causality in the Pi-Calculus. |
STACS |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Davide Sangiorgi |
The Lazy Lambda Calculus in a Concurrency Scenario |
Inf. Comput. |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Davide Sangiorgi |
Locality and True-concurrency in Calculi for Mobile Processes. |
TACS |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Davide Sangiorgi |
Bisimulation in Higher-Order Process Calculi. |
PROCOMET |
1994 |
DBLP BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")