%%% ==================================================================== %%% BibTeX-file{ %%% author = "Davide Sangiorgi", %%% date = "October 1997", %%% filename = "DSbib.bib", %%% url = %%% "http://www.cs.unibo.it/~sangio/DOC_public/DSbib.bib'', %%% www-home = %%% "http://www.cs.unibo.it/~sangio/", %%% address = " Dipartimento di Scienze dell'Informazione %%% Universita' di Bologna %%% Mura Anteo Zamboni, 7 %%% 40127 Bologna ITALY %%% telephone = "+39 051 2094980", %%% FAX = "+39 051 2094510", %%% FTP-archive = "http://www.cs.unibo.it/~sangio/DOC_public/", %%% email = "davide.sangiorgi at cs.unibo.it", %%% keywords = "", %%% supported = "yes", %%% supported-by = "Davide Sangiorgi ", %%% abstract = "Bibliography for Davide Sangiorgi" %%% } %%% ==================================================================== %Publisher @string{ap="Academic Press"} @string{cup="Cambridge University Press"} @string{mcgh="Mc Graw-Hill"} @string{nh="North Holland"} @string{sv="Springer Verlag"} @string{aw="Addison-Wesley"} @string{ph="Prentice Hall"} @string{mp="The {MIT} {P}ress"} % Institutions-Schools @string{cmum="Carnegie-Mellon Univ., Dept. of Math."} @string{cucs="Cornell Univ., Dept. of Comp. Sci."} @string{eth="E.T.H. Zurich"} @string{eucs="Edinburgh Univ., Dept. of Comp. Sci."} @string{mit="Massachusetts Institute of Technology"} @string{lfcs="{LFCS}, Dept. of Comp. Sci., Edinburgh Univ."} % Organizations @string{acm="ACM"} @string{ieee="IEEE"} @string{bl="Bell Laboratories"} % Journals @string{acta="Acta Informatica"} @string{acmsigp="{ACM} Sigplan Notices"} @string{a&l="Algebra and Logic"} @string{aml="Annals of Mathematical Logic"} @string{amstran="Trans. AMS"}, @string{au="Algebra Universalis"} @string{cmsjb="Colloquia Mathematica Societatis Janos Bolyai"}, @string{dm="Dissertationes Mathematicae"} @string{fm="Fundamenta Matematicae"} @string{ic="Information and Computation"} @string{im="Indagationes Mathematicae"} @string{jcss="JCSS"} @string{jmscs="Journal of Mathematical Structures in Computer Science"} @string{jpaa="Journal of Pure and Applied Algebra"} @string{jsl="Journal of Symbolic Logic"} @string{mpcps="Math. Proc. Camb. Phil. Soc."} @string{mst="Mathematical System Theory"} @string{rmup="Rivista Matematica dell' Universita' di Parma"} @string{siamjc="SIAM Journal of Computing"} @string{tpls="ACM Trans. on Progr. Lang. and Sys."} @string{tcs="Theoretical Computer Science"} @string{zml="Zeitschrift fur Mathematische Logik"} @string{zmlgm="Zeitschr. f. math. Logik und Grundlagen d. Math."} % Series @string{lncs="Lecture Notes in Computer Science"} @string{lnm="Lecture Notes in Mathematics"} @string{csam="Cambridge Studies in Advanced Mathematics"} @string{sl="Studies in Logic"} % Collections @string{ash="Applications of Sheaves"} @string{asls82="Atti della Scuola di Logica di Siena, 1982"} @string{bcs="The L.E.J. Brouwer Centenary Symposium"} @string{hbc="To H.B. Curry: essays in Combinatory Logic, lambda calculus and Formalisms"} @string{hml="Handbook of Mathematical Logic"} @string{hphl="Handbook of Philosophical Logic"} %Proceedings @string{caap85="Proc.\ CAAP '85"} @string{cics89="Category in Computer Science '89"}i @string{conc91="Proc.\ 2nd {CONCUR}"} @string{conc92="Proc.\ 3rd {CONCUR}"} @string{esop86="ESOP '86"} @string{fcs22="22th Symp. on Foundations of Computer Science"} @string{fcs25="25th Symp. on Foundations of Computer Science"} @string{icalp9="9th Colloquium on Automata, Languages and Programming"} @string{icalp85="Proc.\ 12th {ICALP}"} @string{icalp88="Proc.\ 15th {ICALP}"} @string{icalp92="Proc.\ 19th {ICALP}"} @string{icalp97="Proc.\ 24th {ICALP}"} @string{icalp98="Proc.\ 25th {ICALP}"} @string{lc73="Logic Colloquium '73"} @string{lc75="Logic Colloquium '75"} @string{lc82="Logic Colloquium '82"} @string{lp83="Logics of Programs '83"} @string{lp84="Logics of Programs '84"} @string{lp85="Logics of Programs '85"} @string{lics1="Proc.\ 1st LICS Conf."} @string{lics2="Proc.\ 2nd LICS Conf."} @string{lics3="Proc.\ 3rd LICS Conf."} @string{lics4="Proc.\ 4th LICS Conf."} @string{lics7="Proc.\ 7th LICS Conf."} @string{lics92="Proc.\ 7th LICS Conf."} @string{lics93="Proc.\ 8th LICS Conf."} @string{lics96="Proc.\ 11th LICS Conf."} @string{lics98="Proc.\ 13th LICS Conf."} @string{lics02="Proc.\ 17th LICS Conf."} @string{mfcs84="Proc.\ MFCS '84"} @string{mfcs86="Proc.\ MFCS '86"} @string{mfcs89="Proc.\ MFCS '89"} @string{popl1="Proc.\ 1st POPL"} @string{popl4="Proc.\ 4th POPL"} @string{popl6="Proc.\ 6th POPL"} @string{popl10="Proc.\ 10th POPL"} @string{popl11="Proc.\ 11th POPL"} @string{popl12="Proc.\ 12th POPL"} @string{popl13="Proc.\ 13th POPL"} @string{popl14="Proc.\ 14th POPL"} @string{popl15="Proc.\ 15th POPL"} @string{popl17="Proc.\ 17th POPL"} @string{popl24="Proc.\ 24th POPL"} @string{popl27="Proc.\ 27th POPL"} @string{popl28="Proc.\ 28th POPL"} @string{ps74="Programming Symposium '74"} @string{sls2="2nd Scandinavian Logic Symp."} @string{stacs86="Proc.\ {STACS} '86"} @string{stacs88="Proc.\ {STACS} '88"} @string{tapsoft87="Proc.\ {TAPSOFT} '87"} @string{tapsoft89="Proc.\ {TAPSOFT} '89"} @inproceedings{AmCaSa96, author = {Amadio, R. and Castellani, I. and Sangiorgi, D.}, booktitle = {Proc.\ {CONCUR} '96}, title = {On Bisimulations for the Asynchronous $\pi$-calculus}, publisher = sv, volume = {1119}, series = lncs, year = {1996} } @techreport{AmCaSa96-TR, author = {Amadio, R. and Castellani, I. and Sangiorgi, D.}, title = {On Bisimulations for the Asynchronous $\pi$-calculus}, institution = {{INRIA} Sophia Antipolis}, number = {{RR}-2913}, year = {1996} } @article{AmCaSa98, author = {Amadio, R. and Castellani, I. and Sangiorgi, D.}, title = {On Bisimulations for the Asynchronous $\pi$-calculus}, journal = tcs, year = {1998}, volume= {195}, pages = {291--324}, comment = {Special issue dedicated to {CONCUR'96}. {An extended abstract in {\em Proc.\ CONCUR 96}, LNCS 1119, Springer Verlag}} } @inproceedings{BoSa97, author = {Boreale, M. and Sangiorgi, D.}, title = {Bisimulation in name-passing calculi without matching}, booktitle = lics98, year = {1998}, publisher = {{IEEE} Computer Society Press} } @inproceedings{BoSa94a, author = {Boreale, M. and Sangiorgi, D.}, title = {A fully abstract semantics for causality in the $\pi$-calculus}, year = {1995}, booktitle = {Proc.\ 12th {S}ymposium on {T}heoretical {A}spects of {C}omputer {S}cience {(STACS'95)}}, series = lncs, publisher = sv, editor = {Mayr, E.W. and Puech, C.}, volume = {900}, note = {To appear in {\em Acta Informatica}} } @article{BoSa98acta, author = {Boreale, M. and Sangiorgi, D.}, title = {A fully abstract semantics for causality in the $\pi$-calculus}, journal = acta, year = {1998}, volume = {35}, pages = {353--400}, comment = {{A summary in Proc. {STACS}'95, {LNCS} 900, Springer Verlag.}} } @article{BoSa98tcs, author = {Boreale, M. and Sangiorgi, D.}, title = {Some Congruence Properties for $\pi$-calculus Bisimilarities}, journal = tcs, year = {1998}, volume= {198}, pages = {159--176}, comment = {Appeared as {INRIA} {Tec.} {R}ep. {RR}-2870, 1996.} } @article{FaMaReSa89, author = {Fachini, E. and Maggiolo-Schettini, A. and Resta, G. and Sangiorgi, D.}, title = {Some Structural Properties of Systolic Tree Automata}, journal = {Fundamenta Informaticae}, year = {1989}, volume = {XII}, pages = {571--585} } @article{FaMaReSa91, author = {Fachini, E. and Maggiolo-Schettini, A. and Resta, G. and Sangiorgi, D.}, title = {Non Acceptability Criteria and Closure Properties for the Class of Languages Accepted by Binary Systolic Tree Automata}, journal = tcs, year = {1991}, volume = {83}, pages = {249--260} } @article{FaGrMaSa90, author = {Fachini, E. and Gruska, J. and Maggiolo-Schettini, A. and Sangiorgi, D.}, title = {Simulation of Systolic Tree Automata on Trellis Automata}, journal = {International Journal of Foundations of Computer Science}, year = {1990}, volume = {1}, pages = {87--110} } @article{FaMaSa92, author = {Fachini, E. and Maggiolo-Schettini, A. and Sangiorgi, D.}, title = {Classes of Y-Tree Systolic Automata and Regular Systolic Trellis Automata}, journal = acta, year = {1992}, volume = {29}, pages = {623--643} } @inproceedings{FaMaSa90, author = {Fachini, E. and Maggiolo-Schettini, A. and Sangiorgi, D.}, title = {Comparisons among Classes of Y-Tree Systolic Automata}, year = {1990}, booktitle = {Proc.\ {MFCS'90}}, series = lncs, publisher = sv, volume = {452}, pages = {254--260} } @inproceedings{FiMoSa96, author = {Fiore, M. and Moggi, E. and Sangiorgi, D.}, title = {A Fully-Abstract Model for the $\pi$-calculus}, booktitle = lics96, year = {1996}, publisher = {{IEEE} Computer Society Press}, note = {Full version in Information and Computation, 179, 76--117, 2002} } @inproceedings{KlSa98, author = {Kleist, J. and Sangiorgi, D.}, title = {Imperative Objects and Mobile Processes}, booktitle = {Proc.\ {IFIP} {W}orking {C}onference on {P}rogramming {C}oncepts and {M}ethods ({PROCOMET}'98)}, year = {1998}, publisher = {North-Holland}, } @inproceedings{LeSa90, author = {Lengauer, C. and Sangiorgi, D.}, title = {An Improved Systolic Array for String Correction}, year = {1992}, booktitle = {Proc.\ Advanced Research Workshop on Correct Hardware Design Methodologies}, publisher = {Elsevier}, pages = {205--218}, editor ={Prinetto, P. and Camurati P.} } @inproceedings{HLS02, author = {Hirschkoff, D. and Lozes, E. and Sangiorgi, D.}, title = {Separability, Expressiveness, and Decidability in the Ambient Logic}, booktitle = lics02, pages = {423--432}, year = {2002}, publisher = {{IEEE} Computer Society Press} } @inproceedings{MiSa92, author = {Milner, R. and Sangiorgi, D.}, title = {Barbed Bisimulation}, booktitle = icalp92, year = {1992}, series = lncs, volume = {623}, pages = {685--695}, editor = {Kuich, W.}, publisher = sv } @article{PaSa95, author = {Parrow, J. and Sangiorgi, D.}, title = {Algebraic Theories for Name-Passing Calculi}, journal = ic, volume = {120}, number = {2}, year = {1995}, pages = {174--197}, comment= {Short version in {\em {P}roc.\ {REX} {S}ummer {S}chool/Symposium 1993}, {LNCS} 803, {S}pringer {V}erlag} } @article{PiSa96b, author = {Pierce, B. and Sangiorgi, D.}, title = {Typing and Subtyping for Mobile Processes}, journal =jmscs, volume = {6}, number = {5}, pages = {409--454}, year = {1996}, note= {An extended abstract in {\em Proc.\ LICS 93}, {IEEE} Computer Society Press.} } @Article{PiSa00acm, author = "Pierce, B. and Sangiorgi, D.", title = "Behavioral equivalence in the polymorphic pi-calculus", journal = "Journal of the ACM", volume = "47", number = "3", pages = "531--584", year = "2000", url = "http://www.acm.org/pubs/citations/journals/jacm/2000-47-5/p531-pierce/", abstract = "We investigate {\em parametric polymorphism\/} in message-based concurrent programming, focusing on behavioral equivalences in a typed process calculus analogous to the polymorphic lambda-calculus of Girard and Reynolds.\par Polymorphism constrains the power of observers by preventing them from directly manipulating data values whose types are abstract, leading to notions of equivalence much coarser than the standard untyped ones. We study the nature of these constraints through simple examples of concurrent abstract data types and develop basic theoretical machinery for establishing bisimilarity of polymorphic processes.\par We also observe some surprising interactions between polymorphism and aliasing, drawing examples from both the polymorphic pi-calculus and ML.", keywords = "abstract data types; pi-calculus", } @inproceedings{PiSa97, author = {Pierce, B. and Sangiorgi, D.}, booktitle = popl24, title = {Behavioral Equivalence in the Polymorphic Pi-Calculus}, year = {1997}, publisher = {{ACM} {P}ress}, note = {Full paper to appear in {J}ournal of the {ACM}} } @inproceedings{San92, author = {Sangiorgi, D.}, booktitle = lics92, title = {The Lazy Lambda Calculus in a Concurrency Scenario}, year = {1992}, pages = {102--109}, publisher = {{IEEE} Computer Society Press} } @article{San94, author = {Sangiorgi, D.}, journal = ic, title = {The Lazy Lambda Calculus in a Concurrency Scenario}, year = {1994}, volume = {111}, number = {1}, pages = {120--153}, comment = {Special issue dedicated to {LICS'92}.} } @article{San94sce, author = {Sangiorgi, D.}, journal = ic, title = {The Lazy Lambda Calculus in a Concurrency Scenario}, year = {1994}, volume = {111}, number = {1}, pages = {120--153}, note = {A summary in Proc. {Lics}'92, {IEEE}.} } @phdthesis{San923, author = {Sangiorgi, D.}, title = {Expressing Mobility in Process Algebras: First-Order and Higher-Order Paradigms}, school = {Department of Computer Science, University of Edinburgh}, year = {1992}, type = {{PhD} thesis {CST}--99--93} } @inproceedings{SaMi92, author = {Sangiorgi, D. and Milner, R.}, booktitle = {Proc.\ {CONCUR} '92}, title = {The problem of ``{W}eak {B}isimulation up to''}, publisher = sv, series = lncs, year = {1992}, editor = {Cleveland, W.R.}, volume = {630}, pages = {32--46} } @article{San96acta, author = {Sangiorgi, D.}, title = {A Theory of Bisimulation for the $\pi$-calculus}, journal = acta, year = {1996}, volume = {33}, pages = {69--97}, note = {An extract appeared in {\em {P}roc. {CONCUR} '93}, Lecture Notes in Computer Science 715, Springer Verlag} } @article{San93c, author = {Sangiorgi, D.}, title = {Locality and Non-interleaving Semantics in Calculi for Mobile Processes}, journal = tcs, year = {1996}, volume= {155}, pages = {39--83}, comment = {An extract appeared in {\em {P}roc. {TACS} '94}, Lecture Notes in Computer Science 789, Springer Verlag} } @inproceedings{San93cc, author = {Sangiorgi, D.}, title = {From $\pi$-calculus to {H}igher-{O}rder $\pi$-calculus --- and back}, booktitle = {Proc.\ {TAPSOFT}'93}, year = {1993}, series = lncs, volume = {668}, editor = {Gaudel,M.-C. and Jouannaud, J.-P.}, publisher = sv, pages = {151--166} } @inproceedings{San93d, author = {Sangiorgi, D.}, title = {An investigation into Functions as Processes}, booktitle = {Proc.\ Ninth International Conference on the {M}athematical {F}oundations of {P}rogramming {S}emantics ({MFPS}'93)}, year = {1993}, series = lncs, volume = {802}, publisher = sv, pages = {143--159} } @inproceedings{San94b, author = {Sangiorgi, D.}, title = {Bisimulation in higher-order calculi}, booktitle = {Proc.\ {IFIP} {W}orking {C}onference on {P}rogramming {C}oncepts, {M}ethods and {C}alculi ({PROCOMET}'94)}, year = {1994}, pages = {207--224}, publisher = {North-Holland}, } @article{San96H, author = {Sangiorgi, D.}, journal = ic, title = {Bisimulation for {H}igher-{O}rder {P}rocess {C}alculi}, year = {1996}, volume = {131}, number = {2}, pages = {141--178} } @inproceedings{San95i, author = {Sangiorgi, D.}, title = {$\pi${I}: A Symmetric Calculus based on Internal Mobility}, year = {1995}, booktitle = {Proc.\ {TAPSOFT'95}}, editor = {Mosses P.\ et al.\}, series = lncs, publisher = sv, volume = {915}, pages = {172--186} } @inproceedings{San95ia, author = {Sangiorgi, D.}, title = {Internal Mobility and Agent Passing Calculi}, year = {1995}, booktitle = {Proc.\ {ICALP`95}}, series = lncs, publisher = sv, volume = {944}, pages = {672--684} } @inproceedings{San95MFCS, author = {Sangiorgi, D.}, title = {On the bisimulation proof method}, year = {1995}, booktitle = {Proc.\ {MFCS'95}}, series = lncs, publisher = sv, editor = {Wiedermann, J. and H\'aiek, P.}, volume = {969 }, pages = {479--488}, note = {Full version to appear in J.\ Math.\ Structures in Comp. Sci.} } @article{San98MFCS, author = {Sangiorgi, D.}, title = {On the bisimulation proof method}, journal =jmscs, volume = {8}, pages = {447--479}, year = {1998}, comment= {An extended abstract in {\em Proc.\ MFCS 95}, {LNCS} 969, Springer Verlag.} } @article{San96int, author = {Sangiorgi, D.}, title = {$\pi$-calculus, internal mobility and agent-passing calculi}, year = {1996}, journal = tcs, volume = {167}, number = {2}, pages = {235--274}, comment = {Special issue dedicated to {TAPSOFT'95}.} } @techreport{San95lazyTR, author = {Sangiorgi, D.}, title = {Lazy functions and mobile processes}, year = {1995}, institution = {INRIA Sophia Antipolis}, number = {RR-2515} } @inproceedings{San95lazy, author = {Sangiorgi, D.}, title = {Lazy functions and mobile processes}, booktitle = "Proof, Language and Interaction: Essays in Honour of Robin Milner", year = "2000", editor = "Plotkin, G. and Stirling, C. and Tofte, M.", publisher = "{MIT} {P}ress" } @article{San96, author = {Sangiorgi, D.}, title = {A Theory of Bisimulation for the $\pi$-calculus}, journal = {Acta {I}nformatica}, year = {1996}, volume={33}, pages= {69--97}, note = {An extract appeared in {\em {P}roc. {CONCUR} '93}, volume 715 of Lecture Notes in Computer Science, Springer Verlag} } @article{PistoreS01, author = {Marco Pistore and Davide Sangiorgi}, title = {A Partition Refinement Algorithm for the -Calculus}, journal = {Inf. Comput.}, volume = {164}, number = {2}, year = {2001}, pages = {264-321}, bibsource = {DBLP, http://dblp.uni-trier.de} } @Inproceedings{PiSa96, author = {Pistore, M. and Sangiorgi, D.}, title = {A Partition Refinement Algorithm for the $\pi$-calculus}, series = lncs, booktitle = {Proc.\ CAV'96}, year = {1996}, volume = {1102}, pages= {38--49}, publisher = sv, note = {Extended version in {I}nformation and {C}omputation 164(2): 264-321 (2001).} } @article{San98OO, author = {Sangiorgi, D.}, journal = ic, title = {An interpretation of Typed Objects into Typed $\pi$-calculus}, year = {1998}, volume = {143}, number = {1}, pages = {34--73}, note = {Also Tec.\ Rep.\ RR-3000, {INRIA}, 1996.} } @techreport{San96OO, author = {Sangiorgi, D.}, title = {An interpretation of Typed Objects into Typed $\pi$-calculus}, year = {1996}, institution = {INRIA Sophia Antipolis}, number = {RR-3000} } @article{San98Udine, author = {Sangiorgi, D.}, title = {Asynchronous process calculi: the first-order and higher-order paradigms (Tutorial)}, year = {2001}, journal = tcs, volume = {253}, pages = {311--350}, comment = {Special issue dedicated to the {IC-EATCS} Annual {A}dvanced {S}chool on {M}odels and {P}aradigms for {C}oncurrency, {U}dine, {I}taly, 1997.}, } @article{San98hindley, title = {From $\lambda$ to $\pi$, or: Rediscovering continuations}, author = {Sangiorgi, D}, journal = jmscs, volume = {9}, number = {4}, year = {1999}, note = {Special Issue on "Lambda-Calculus and Logic" in Honour of Roger Hindley} } @article{San99tapos, author = {Sangiorgi, D.}, journal = {Theory and Practice of {O}bject {S}ystems}, title = {Typed $\pi$-calculus at Work: a Correctness Proof of {J}ones's Parallelisation Transformation on Concurrent Objects}, year = {1999}, volume = {5}, number = {1}, pages = {25--34}, comment = {Special issue dedicated to {FOOL'97}.} } @unpublished{San96-FOOL, author = {Sangiorgi, D.}, title = {Typed $\pi$-calculus at work: a proof of {J}ones's parallelisation transformation on concurrent objects}, note = {Proc.\ Fourth Workshop on {F}oundations of {O}bject-{O}riented {L}anguages (FOOL 4).}, year = {1997} } @unpublished{SKS06, author = {Sangiorgi, D. and Kobayashi, N. and Sumii E.}, title = {\Environmental Bisimulations for Higher-Order Languages}, note = {Draft, June}, year = { 2006} } @inproceedings{SangiorgiKS07, author = {Davide Sangiorgi and Naoki Kobayashi and Eijiro Sumii}, title = {Environmental Bisimulations for Higher-Order Languages}, booktitle = {Proc.\ 22nd IEEE Symposium on Logic in Computer Science (LICS 2007)}, year = {2007}, publisher = {IEEE Computer Society}, pages = {293--302}, } @inproceedings{San97-rece, author = {Sangiorgi, D.}, booktitle = icalp97, title = {The name discipline of uniform receptiveness}, publisher = sv, volume = {1256}, series = lncs, year = {1997} } @article{San99rece, author = {Sangiorgi, D.}, title = {The name discipline of uniform receptiveness}, year = {1999}, journal = tcs, volume = {221}, pages = {457--493}, notes= {Earlier version in Proc.\ {ICALP}~'97}, comment = {Special issue dedicated to {ICALP'97}.} } @inproceedings{MeSa98, author = {Merro, M. and Sangiorgi, D.}, booktitle = icalp98, title = {On asynchrony in name-passing calculi}, publisher = sv, volume = {1443}, series = lncs, year = {1998} } @article{MeSa04, author = {Merro, M. and Sangiorgi, D.}, title = {On asynchrony in name-passing calculi}, year = {2004}, journal = mscs, volume = {14}, number = {5}, pages = {715--767}, notes= {Earlier version in Proc.\ {ICALP}~'98}, } @unpublished{San95-BL, author = {Sangiorgi, D.}, title = {L\'evy-{L}ongo {T}rees and {B}\"{o}hm {T}rees from encodings of $\lambda$-calculus into $\pi$-calculus }, note = {Notes}, year = {1995} } @techreport{San98-TRold, author = {Sangiorgi, D.}, title = {Interpreting functions as pi-calculus processes: a tutorial}, institution = {{INRIA} Sophia Antipolis}, number = {{RR}-3470}, year = {1998} } @article{Sangiorgi99, author = {Davide Sangiorgi}, title = {From lambda to pi; or, Rediscovering continuations}, journal = {Mathematical Structures in Computer Science}, volume = {9}, number = {4}, year = {1999}, pages = {367--401}, bibsource = {DBLP, http://dblp.uni-trier.de} } @unpublished{San98-TR, author = {Sangiorgi, D.}, title = {Interpreting functions as pi-calculus processes: a tutorial}, note = {Revised version of {TR} {RR}-3470, {INRIA} Sophia Antipolis. {A}vailable as ftp://ftp-sop/meije/theorie-par/davides/functionPItutorial.ps.gz}, year = {1999} } @inproceedings{RoSa99, author = {Röckl, C. and Sangiorgi, D.}, title = {A pi-calculus Semantics of {C}oncurrent {I}dealised {ALGOL}}, publisher = sv, volume = {1578}, series = lncs, pages = {306--322}, booktitle = {Proc.\ {Fossacs}'99}, year = {1999} } @inproceedings{San99rea, publisher = sv, volume = {1578}, series = lncs, pages = {31--40}, author = {Sangiorgi, D.}, title = {Reasoning about concurrent systems using types}, booktitle = {Proc.\ {Fossacs}'99}, year = {1999} } @inproceedings{San03au, publisher = {IEEE}, volume = {}, series = {}, pages = {}, author = {Sangiorgi, D.}, title = {Taming mobile processes using types}, booktitle = {}, year = {2003} } @inproceedings{San01, author = {Sangiorgi, D.}, booktitle = popl28, title = {Extensionality and Intensionality of the Ambient Logic}, year = {2001}, publisher = {{ACM} {P}ress} } @inproceedings{LeSa00, author = {Levi, F. and Sangiorgi, D.}, booktitle = popl27, title = {Controlling Interference in Ambients}, year = {2000}, publisher = {{ACM} {P}ress} } @unpublished{LeSa00full, author = {Levi, F. and Sangiorgi, D.}, title = {Controlling Interference in Ambients}, note = {Short version appeared in \emph{Proc.\ 27th {POPL}}, {ACM} {P}ress}, year = {2000} } @Article{Levi:2003:MSA, author = "Francesca Levi and Davide Sangiorgi", title = "Mobile safe ambients", journal = "ACM Transactions on Programming Languages and Systems", volume = "25", number = "1", pages = "1--69", month = jan, year = "2003", CODEN = "ATPSDT", ISSN = "0164-0925", bibdate = "Wed Apr 9 18:34:46 MDT 2003", acknowledgement = ack-nhfb, } @unpublished{San00review, author = {Sangiorgi, D.}, title = {Book review}, note = {\emph{Communicating and mobile systems: the $\pi$-calculus, by Robin Milner. Cambridge University Press, 1999.} To appear in the journals `Science of Computer Programming' and `Theory and Practice of Logic Programming'}, year = {2000} } @InProceedings{SaVa01, author = {Sangiorgi, D. and Valente, A.}, title = {A distributed abstract machine for {S}afe {A}mbients}, year = {2001}, booktitle = {Proc.\ {ICALP'01}}, series = lncs, publisher = sv, volume = {2076}, } @book{SaWabook, author = {Sangiorgi, D. and Walker, D.}, publisher = {{C}ambridge {U}niversity {P}ress}, title = {The $\pi$-calculus: a {T}heory of {M}obile {P}rocesses}, year = {2001} } @inproceedings{SaWa01, author = {Sangiorgi, D. and Walker, D.}, booktitle = {Proc.\ {CONCUR} '01}, title = {Some results on barbed equivalences in pi-calculus}, publisher = sv, series = lncs, year = {2001}, volume = {2154} } @article{Sangiorgi06, author = {Davide Sangiorgi}, title = {Termination of processes}, journal = {Mathematical Structures in Computer Science}, volume = {16}, number = {1}, year = {2006}, pages = {1--39}, } @unpublished{San02ter, author = {Sangiorgi, D.}, title = {Termination of processes }, note = {ftp://ftp-sop.inria.fr/mimosa/personnel/davides/ter.ps}, year = {December 2001}, } @unpublished{San06ter, author = {Sangiorgi, D.}, title = {Termination of processes }, note = {To appear in the journal \emph{Mathematical Structures in Computer Science}}, year = {2006}, } @article{Sangiorgi06ter, author = {Davide Sangiorgi}, title = {Termination of processes}, journal = {Mathematical Structures in Computer Science}, volume = {16}, number = {1}, year = {2006}, pages = {1--39}, } @inproceedings{Sa02, author = {Sangiorgi, D.}, booktitle = {Proc.\ {CONCUR} '02}, title = {Types, or: \mbox{Where's the difference between CCS and $\pi$?}}, publisher = sv, series = lncs, year = {2002}, volume = {2421}, note ={accompanying paper for an invited talk} } @InProceedings{sangiorgi:reasoning-about, author = "Davide Sangiorgi", title = "Reasoning About Concurrent Systems Using Types", booktitle = "Proceedings of the Second International Conference on Foundations of Software Science and Computation Structures ({FoSSaCS} '99), Held as Part of the Joint European Conferences on Theory and Practice of Software ({ETAPS}'99), (Amsterdam, The Netherlands, April 1999)", year = "1999", editor = "Wolfgang Thomas", volume = "1578", series = "LNCS", publisher = "Springer", pages = "31--40", } @InProceedings{huttel.kleist.ea:surrogates-jeblik, author = "Hans H{\"u}ttel and Josva Kleist and Uwe Nestmann and Davide Sangiorgi", title = "Surrogates in {\O}jeblik: Towards Migration in Obliq", booktitle = "{SOAP} '98: Semantics of Objects as Processes (Aalborg, Denmark, July 18, 1998)", year = "1998", editor = "Hans H{\"u}ttel and Uwe Nestmann", volume = "NS-98-5", series = "BRICS Notes Series", publisher = "brics", pages = "43--50", } @Article{Sangiorgi:2000:CMS, author = "Davide Sangiorgi", title = "{{\em Communicating and Mobile Systems: the $\pi$-calculus}, Robin Milner, Cambridge University Press, Cambridge, 1999, 174 pages, ISBN 0-521-64320-1}", journal = "Science of Computer Programming", volume = "38", number = "1--3", pages = "151--153", day = "??", month = aug, year = "2000", coden = "SCPGD4", ISSN = "0167-6423", bibdate = "Tue Oct 31 12:37:52 MST 2000", url = "http://www.elsevier.nl/gej-ng/10/39/21/42/21/27/abstract.html; http://www.elsevier.nl/gej-ng/10/39/21/42/21/27/article.pdf", acknowledgement = ack-nhfb, } @inproceedings{LanesePSS08, author = {Ivan Lanese and Jorge A. P{\'e}rez and Davide Sangiorgi and Alan Schmitt}, title = {On the Expressiveness and Decidability of Higher-Order Process Calculi}, booktitle = {Proc.\ 23rd IEEE Symposium on Logic in Computer Science (LICS'08)}, year = {2008}, pages = {145--155}, publisher = {IEEE Computer Society}, } @Article{HLS03, author = {Hirschkoff, D. and Lozes, E. and Sangiorgi, D.}, title = {Separability, Expressiveness, and Decidability in the Ambient Logic}, journal = "Schedae Informaticae", volume = "12", pages = "77--84", month = "June", publisher = "Jagellonian University Press", year = "2003" } @inproceedings{CaHiSa03, author = {Carayol, A. and Hirschkoff, D. and Sangiorgi, D.}, booktitle = {Proc.\ {Express} '03}, title = {On the Representation of McCarthy's amb in the pi-calculus}, publisher = {Elsevier}, series = {Electr. Notes Theor. Comput. Sci.}, year = {2004}, volume = {96}, pages= {73--89}, note ={Full paper to apper in {Inf. and Comp.}} } @Article{CaHiSa05, author = {Carayol, A. and Hirschkoff, D. and Sangiorgi, D.}, title = {On the Representation of McCarthy's amb in the pi-calculus}, journal = tcs, volume = "330", number = "3", pages = "439--473", publisher = {Elsevier}, year = "2005" } @article{DengS06, author = {Yuxin Deng and Davide Sangiorgi}, title = {Ensuring termination by typability}, journal = {Inf. Comput.}, volume = {204}, number = {7}, year = {2006}, pages = {1045--1082}, } @inproceedings{DeSa04, author = {Deng, Y. and Sangiorgi, D.}, booktitle = {Proc.\ {Icalp} '04}, title = {Towards an Algebraic Theory of Typed Mobile Processes}, publisher = sv, series = lncs, year = {2004}, volume = {3142}, pages= {445--456}, } @inproceedings{DeSa04b, author = {Deng, Y. and Sangiorgi, D.}, booktitle = {Proc.\ {IFIP TCS} '04}, title = {Ensuring termination by typability}, publisher = {Kluwer}, year = {2004}, pages= {619--632}, } @inproceedings{SaMe06, author = {Mezzetti, N. and Sangiorgi, D.}, booktitle = {Proc.\ {MFPS} '06}, title = {Towards a calculus for Wireless Systems}, publisher = {Elsevier}, series = {Electr. Notes Theor. Comput. Sci.}, year = {2006}, volume = {158}, pages= {331--354} } @inproceedings{DemangeonHS08, author = {Romain Demangeon and Daniel Hirschkoff and Davide Sangiorgi}, title = {Static and dynamic typing for the termination of mobile processes}, booktitle = {Fifth IFIP Int.\ Conf.\ on Theoretical Computer Science (TCS'08), IFIP 20th World Computer Congress}, editor = {Giorgio Ausiello and Juhani Karhum{\"a}ki and Giancarlo Mauri and C.-H. Luke Ong}, publisher = sv, series = {IFIP}, volume = {273}, year = {2008}, pages = {413--427}, } @inproceedings{KobayashiS08, author = {Naoki Kobayashi and Davide Sangiorgi}, title = {A Hybrid Type System for Lock-Freedom of Mobile Processes}, year = {2008}, pages = {80--93}, editor = {Aarti Gupta and Sharad Malik}, booktitle = {Proc.\ 20th Int.\ Conf.\ on Computer Aided Verification (CAV'08)}, publisher = sv, series = lncs, volume = {5123}, } @InProceedings{HPS05, title = "A Correct Abstract Machine for Safe Ambients", author = "Daniel Hirschkoff and Damien Pous and Davide Sangiorgi", year = "2005", bibdate = "2005-05-09", bibsource = "DBLP, http://dblp.uni-trier.de/db/conf/coordination/coordination2005.html#HirschkoffPS05", booktitle = "COORDINATION", pages = "17--32", URL = "http://dx.doi.org/10.1007/11417019_2", } @inproceedings{SangiorgiKS07fsen, author = {Davide Sangiorgi and Naoki Kobayashi and Eijiro Sumii}, title = {Logical Bisimulations and Functional Languages}, booktitle = {Proc.\ Int.\ Symposium on Fundamentals of Software Engineering (FSEN 2007)}, year = {2007}, pages = {364--379}, editor = {Farhad Arbab and Marjan Sirjani}, publisher = sv, series = lncs, volume = {4767}, } @inproceedings{DemangeonHKS07, author = {Romain Demangeon and Daniel Hirschkoff and Naoki Kobayashi and Davide Sangiorgi}, title = {On the Complexity of Termination Inference for Processes}, pages = {140--155}, editor = {Gilles Barthe and C{\'e}dric Fournet}, booktitle = {Trustworthy Global Computing, Third Symposium, TGC 2007, Sophia-Antipolis, France, November 5-6, 2007, Revised Selected Papers}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, volume = {4912}, year = {2008}, } @Incollection{SP09, title = "Enhancements of the bisimulation proof method", author = "Damien Pous and Davide Sangiorgi", crossref = {SRbook} } @Incollection{Pitts09, title = "Howe's Method", author = "Andrew Pitts", crossref = {SRbook} } @Incollection{SanHistory, title = "The origins of Bisimulation and Coinduction ", author = "Davide Sangiorgi", crossref = {SRbook} } @Incollection{Rutten09, title = "(Co)Algebras and (Co)Induction", author = "Jan Rutten and Bart Jacobs", crossref = {SRbook} } @Incollection{Aceto09, title = "The Algorithmics of Bisimilarity", author = "Luca Aceto and Anna Ingolfsdottir and Ji\v{r}\'{i} Srba", crossref = {SRbook} } @Incollection{Stirling09, title = "Bisimulation and Logic", author = "Colin Stirling", crossref = {SRbook} } @inproceedings{DemangeonHS09, author = {Romain Demangeon and Daniel Hirschkoff and Davide Sangiorgi}, title = {Termination in Higher-Order Concurrent Calculi}, pages = {81--96}, editor = {Farhad Arbab and Marjan Sirjani}, booktitle = {Fundamentals of Software Engineering (FSEN 2009)}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, volume = {5961}, year = {2010}, } @unpublished{DemangeonHS10, author = {Romain Demangeon and Daniel Hirschkoff and Davide Sangiorgi}, title = {Termination in impure concurrent langages}, note = {Proc. Concur'10, to appear}, year = {2010}, } @inproceedings{DemangeonHS09, author = {Romain Demangeon and Daniel Hirschkoff and Davide Sangiorgi}, title = {Mobile Processes and Termination}, year = {2009}, pages = {250--273}, editor = {Jens Palsberg}, booktitle = {Semantics and Algebraic Specification, Essays Dedicated to Peter D. Mosses on the Occasion of His 60th Birthday}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, volume = {5700}, } @book{DSbook, title = {An introduction to Bisimulation and Coinduction}, year = {2011}, author = "Davide Sangiorgi", publisher = {{C}ambridge {U}niversity {P}ress}, } @article{SanHistorytoplas, author = {Davide Sangiorgi}, title = {On the origins of bisimulation and coinduction}, journal = {ACM Trans. Program. Lang. Syst.}, volume = {31}, number = {4}, year = {2009}, } @inproceedings{MoSan2010, author = {Fabrizio Montesi, Davide Sangiorgi}, title = {A model of evolvable components}, booktitle = {Proceedings of TGC 2010, 5th International Symposium on Trustworty Global Computing}, series = {LNCS}, volume = {6084}, editor = {Martin Hofmann, Martin Wirsing, Axel Rauschmayer}, publisher = {Springer}, pages = {153--171}, year = {2010}, url = {http://www.cs.unibo.it/~sangio/DOC_public/evolv.pdf}, } @inproceedings{CiSan2010, author = {Matteo Cimini, Claudio Sacerdoti Coen, Davide Sangiorgi}, title = {Functions as processes: termination and the lambda mu mu~ - calculus }, booktitle = {Proceedings of TGC 2010, 5th International Symposium on Trustworty Global Computing}, series = {LNCS}, volume = {6084}, editor = {Martin Hofmann, Martin Wirsing, Axel Rauschmayer}, publisher = {Springer}, pages = {73--86}, year = {2010}, url = {http://www.cs.unibo.it/~sangio/DOC_public/lambdamu.pdf}, } @article{KobayashiS10, author = {Naoki Kobayashi and Davide Sangiorgi}, title = {A hybrid type system for lock-freedom of mobile processes}, journal = {ACM Trans. Program. Lang. Syst.}, volume = {32}, number = {5}, year = {2010}, } @article{LaneseS10, author = {Ivan Lanese and Davide Sangiorgi}, title = {An operational semantics for a calculus for wireless systems}, journal = {Theor. Comput. Sci.}, volume = {411}, number = {19}, year = {2010}, pages = {1928--1948}, }