Pedro R. D’Argenio Hernán Melgratti (Eds.) S S o C R A 2 CONCUR 2013 – 5 0 8 S Concurrency Theory C N L 24th International Conference, CONCUR 2013 Buenos Aires, Argentina, August 2013 Proceedings 123 Lecture Notes in Computer Science 8052 CommencedPublicationin1973 FoundingandFormerSeriesEditors: GerhardGoos,JurisHartmanis,andJanvanLeeuwen EditorialBoard DavidHutchison,UK TakeoKanade,USA JosefKittler,UK JonM.Kleinberg,USA AlfredKobsa,USA FriedemannMattern,Switzerland JohnC.Mitchell,USA MoniNaor,Israel OscarNierstrasz,Switzerland C.PanduRangan,India BernhardSteffen,Germany MadhuSudan,USA DemetriTerzopoulos,USA DougTygar,USA GerhardWeikum,Germany Advanced Research in Computing and Software Science SublineofLecturesNotesinComputerScience SublineSeriesEditors GiorgioAusiello,UniversityofRome‘LaSapienza’,Italy VladimiroSassone,UniversityofSouthampton,UK SublineAdvisoryBoard SusanneAlbers,UniversityofFreiburg,Germany BenjaminC.Pierce,UniversityofPennsylvania,USA BernhardSteffen,UniversityofDortmund,Germany MadhuSudan,MicrosoftResearch,Cambridge,MA,USA DengXiaotie,CityUniversityofHongKong JeannetteM.Wing,MicrosoftResearch,Redmond,WA,USA Pedro R. D’Argenio Hernán Melgratti (Eds.) CONCUR 2013 – Concurrency Theory 24th International Conference, CONCUR 2013 Buenos Aires, Argentina, August 27-30, 2013 Proceedings 1 3 VolumeEditors PedroR.D’Argenio UniversidadNacionaldeCórdoba–CONICET FacultaddeMatemáticas,AstronomíayFísica MedinaAllendes/n X5000HUACórdoba,Argentina E-mail:[email protected] HernánMelgratti UniversidaddeBuenosAires-CONICET DepartamentodeComputación IntendenteGüirales2160,Pabellón1,CiudadUniversitaria C1428EGACiudadAutónomadeBuenosAires,Argentina E-mail:[email protected] ISSN0302-9743 e-ISSN1611-3349 ISBN978-3-642-40183-1 e-ISBN978-3-642-40184-8 DOI10.1007/978-3-642-40184-8 SpringerHeidelbergDordrechtLondonNewYork LibraryofCongressControlNumber:2013944556 CRSubjectClassification(1998):F.3,D.2,F.1,D.3,F.4,G.3,C.2,H.4 LNCSSublibrary:SL1–TheoreticalComputerScienceandGeneralIssues ©Springer-VerlagBerlinHeidelberg2013 Thisworkissubjecttocopyright.AllrightsarereservedbythePublisher,whetherthewholeorpartof thematerialisconcerned,specificallytherightsoftranslation,reprinting,reuseofillustrations,recitation, broadcasting,reproductiononmicrofilmsorinanyotherphysicalway,andtransmissionorinformation storageandretrieval,electronicadaptation,computersoftware,orbysimilarordissimilarmethodology nowknownorhereafterdeveloped.Exemptedfromthislegalreservationarebriefexcerptsinconnection withreviewsorscholarlyanalysisormaterialsuppliedspecificallyforthepurposeofbeingenteredand executedonacomputersystem,forexclusiveusebythepurchaserofthework.Duplicationofthispublication orpartsthereofispermittedonlyundertheprovisionsoftheCopyrightLawofthePublisher’slocation, inistcurrentversion,andpermissionforusemustalwaysbeobtainedfromSpringer.Permissionsforuse maybeobtainedthroughRightsLinkattheCopyrightClearanceCenter.Violationsareliabletoprosecution undertherespectiveCopyrightLaw. Theuseofgeneraldescriptivenames,registerednames,trademarks,servicemarks,etc.inthispublication doesnotimply,evenintheabsenceofaspecificstatement,thatsuchnamesareexemptfromtherelevant protectivelawsandregulationsandthereforefreeforgeneraluse. Whiletheadviceandinformationinthisbookarebelievedtobetrueandaccurateatthedateofpublication, neithertheauthorsnortheeditorsnorthepublishercanacceptanylegalresponsibilityforanyerrorsor omissionsthatmaybemade.Thepublishermakesnowarranty,expressorimplied,withrespecttothe materialcontainedherein. Typesetting:Camera-readybyauthor,dataconversionbyScientificPublishingServices,Chennai,India Printedonacid-freepaper SpringerispartofSpringerScience+BusinessMedia(www.springer.com) Preface This volume contains the proceedings of the 24th Conference on Concurrency Theory(CONCUR2013)heldinBuenosAires,Argentina,duringAugust27–30, 2013. CONCUR 2013 was organized by the Universidad de Buenos Aires and the Universidad Nacional de C´ordoba. The purpose of the CONCUR conference is to bring together researchers, developers,andstudentsinorderto advancethe theoryofconcurrencyandpro- mote its applications. The principal topics include basic models of concurrency such as abstract machines, domain theoretic models, game theoretic models, process algebras, and Petri nets; logics for concurrency such as modal logics, probabilistic and stochastic logics, temporal logics, and resource logics; models of specialized systems suchasbiology-inspiredsystems,circuits,hybridsystems, mobile and collaborative systems, multi-core processors, probabilistic systems, real-time systems, service-oriented computing, and synchronous systems; ver- ification and analysis techniques for concurrent systems such as abstract in- terpretation, atomicity checking, model checking, race detection, pre-order and equivalence checking, run-time verification, state-space exploration, static anal- ysis,synthesis,testing,theoremproving,andtypesystems;related programming models suchasdistributed,component-based,object-oriented,andWebservices. This edition of the conference attracted 115 submissions. We would like to thankalltheirauthorsfortheirinterestinCONCUR2013.Aftercarefulreview- inganddiscussions,the ProgramCommitteeselected34papersforpresentation attheconference.Eachsubmissionwasreviewedbyatleastthreereviewers,who wrotedetailedevaluationsandgaveinsightfulcomments.TheConferenceChairs wouldlike to thank the ProgramCommittee members andall the additional re- viewers for their excellent work, as well as for the constructive discussions. We are grateful to the authors for having revised their papers so as to address the comments and suggestions by the referees. TheconferenceprogramwasgreatlyenrichedbytheinvitedtalksbyLorenzo Alvisi (joint invited speaker with QEST 2013), Joost-Pieter Katoen, Philippe Schnoebelen, and Reinhard Wilhelm (joint invited speaker with FORMATS 2013). This year the conference was jointly organized with the 10th International Conference on Quantitative Evaluation of Systems (QEST 2013), the 11th In- ternational Conference on Formal Modeling and Analysis of Timed Systems (FORMATS2013),andthe8thInternationalSymposiumonTrustworthyGlobal Computing (TGC 2013). In addition, CONCUR 2013 included six satellite events: – Combined 20th International Workshop on Expressiveness in Concurrency and 10th Workshop on Structural Operational Semantics (EXPRESS/SOS 2013), organized by Bas Luttik and Johannes Borgstr¨om VI Preface – 9th International Workshop on Developments in Computational Models (DCM 2013), organized by Mauricio Ayala-Rinc´on, Eduardo Bonelli, and Ian Mackie – Latin American Workshop on Formal Methods (LAFM 2013), organizedby Leila Ribeiro and Nazareno Aguirre – IFIPWG1.8WorkshoponTrendsinConcurrencyTheory(TRENDS2013), organized by Bas Luttik and Jos Baeten – YoungResearchersWorkshoponConcurrencyTheory(YR-CONCUR2013), organized by Nicol´as D’Ippolito – MEALS Momentum Gathering, organized by Marcelo Frias WewouldliketothankeverybodywhocontributedtotheorganizationofCON- CUR 2013, especially the Workshop Organization Chairs Eduardo Bonelli and DiegoGarbervetsky,theProceedingsChairNicola´sWolovick,thePublicityChair Dami´an Barsotti, as well as the Organizing Committee, including Renata D’Amore,DanielaBonomo,SilviaPelozo,andMat´ıasD.Lee.Wealsothankthe Facultad de Ciencias Econo´micas of the Universidad de Buenos Aires for pro- viding the venue location. Furthermore, we gratefully acknowledgethe financial supportoftheConsejoNacionaldeInvestigacionesCient´ıficasyT´ecnicas(CON- ICET), the Agencia Nacional de Promocio´n Cient´ıfica y Tecnolo´gica (through the RC program of FONCYT and FONSOFT), and the EU FP7 grant agree- ment 295261MEALS (Mobility betweenEurope andArgentina applying Logics to Systems). We are also grateful to Andrei Voronkov for providing us with his confer- ence software system EasyChair, which was extremely helpful for the Program Committee discussions and the production of the proceedings. August 2013 Pedro R. D’Argenio Hern´an Melgratti Organization Steering Committee Roberto Amadio Universit´e Paris Diderot, France Jos Baeten CWI, The Netherlands Eike Best Universit¨at Oldenburg, Germany Kim G. Larsen Aalborg University, Denmark Ugo Montanari Universita` di Pisa, Italy Scott Smolka Stony Brook University, USA Program Committee Christel Baier Technical University of Dresden, Germany Paolo Baldan Universita` di Padova, Italy Eike Best Universit¨at Oldenburg, Germany Patricia Bouyer LSV, CNRS, and ENS Cachan, France Tomas Brazdil Masaryk University, Czech Republic Krishnendu Chatterjee Institute of Science and Technology, Austria Rance Cleaveland University of Maryland, USA Pedro R. D’Argenio Universidad Nacional de Co´rdoba, CONICET, Argentina Wan Fokkink VrijeUniversiteitAmsterdam,TheNetherlands Daniele Gorla University of Rome “La Sapienza”, Italy Holger Hermanns Saarland University, Germany Radha Jagadeesan DePaul University, USA Bengt Jonsson Uppsala University, Sweden Kim G. Larsen Aalborg University, Denmark Hern´an Melgratti Universidad de Buenos Aires, CONICET, Argentina Ugo Montanari Universita` di Pisa, Italy Prakash Panangaden McGill University, Canada David Parker University of Birmingham, UK Frank Pfenning Carnegie Mellon University, USA Nir Piterman University of Leicester, UK Shaz Qadeer Microsoft Research, USA Jean-Francois Raskin Universit´e Libre de Bruxelles, Belgium Jan Rutten CWI, The Netherlands Davide Sangiorgi University of Bologna, Italy Geoffrey Smith Florida International University, USA P.S. Thiagarajan National University of Singapore VIII Organization Frits Vaandrager Radboud University Nijmegen, The Netherlands Frank Valencia E´cole Polytechnique de Paris, CNRS, France Franck Van Breugel York University, UK Rob Van Glabbeek NICTA, Australia Nobuko Yoshida Imperial College London, UK Lijun Zhang Technical University of Denmark Additional Reviewers Abbes, Samy de Vink, Erik Abdulla, Parosh Demangeon, Romain Accattoli, Beniamino Deng, Yuxin Aceto, Luca Deni´elou, Pierre-Malo Ahmad, Arbob Derrick, John Ancona, Davide Dhar, Amit Kumar Atig, Mohamed Faouzi Dodds, Mike Bacci, Giorgio Doyen, Laurent Bacci, Giovanni Dubslaff, Clemens Bakhshi, Rena Eisentraut, Christian Barbanera, Franco Elmas, Tayfun Bartoletti, Massimo Emmi, Michael Beffara, Emmanuel Engelbredt Dalsgaard, Andreas Bollig, Benedikt Esparza, Javier Bonchi, Filippo Fages, Franc¸ois Bonelli, Eduardo Fantechi, Alessandro Bono, Viviana Feng, Yuan Bourke, Timothy Ferrer Fioriti, Luis Mar´ıa Brenguier, Romain Fleischhack, Hans Bruni, Roberto Fontana, Peter Bujorianu, Marius Forejt, Vojtech Buscemi, Marzia Froeschle, Sibylle Caltais, Georgiana Gadducci, Fabio Chadha, Rohit Ganty, Pierre Chen, Xiwen Garbervetsky, Diego Chen, Yu-Fang Gebler, Daniel Cirstea, Corina Geeraerts, Gilles Corin, Ricardo Giachino, Elena Courcelle, Bruno Giunti, Marco Crafa, Silvia Goltz, Ursula Dardha, Ornela Gutierrez, Julian David, Alexandre Habel, Annegret de Frutos-Escrig, David Hahn, Ernst Moritz De Gouw, Stijn Hashemi, Vahid De Nicola, Rocco Hatefi, Hassan Organization IX Hayman, Jonathan Oshman, Rotem Haziza, Fr´ed´eric Oskevskaya, Elena Heckel, Reiko Padovani, Luca Heljanko, Keijo Palamidessi, Catuscia Helouet, Loic Peters, Kirstin Helvensteijn, Michiel Petri, Gustavo Hooman, Jozef Phillips, Iain Howar, Falk Pino, Luis Jackson, Ethan K. Pitcher, Corin Jancar, Petr Place, Thomas Katoen, Joost-Pieter Pouzet, Marc Kiefer, Stefan Prabhu, Vinayak Klein, Joachim P´erez, Jorge A. Klueppelholz, Sascha Randour, Mickael Knight, Sophia Ranzato, Francesco Krcal, Jan Rehak, Vojtech Kretinsky, Jan Reniers, Michael Kucera, Antonin Reniers, Michel Lanese, Ivan Rensink, Arend Laneve, Cosimo Rubin, Sasha Laroussinie, Francois Ruppert, Eric Lazic, Ranko Saivasan, Prakash Lee, Matias David Salaun, Gwen Leonardsson, Carl Sankur, Ocan Liang, Hongjin Sassolas, Mathieu Liu, Wanwei Schicke-Uffmann, Jens-Wolfhard Loeding, Christof Schlachter, Uli Loreti, Michele Schmitt, Alan Mardare, Radu Schmitz, Sylvain Markovski, Jasen Schwoon, Stefan Marques, Eduardo R.B. Silva, Alexandra Martins, Francisco Song, Fu Matteplackel, Raj Mohan Spieler, David Minea, Marius Srba, Jiri Mio, Matteo Stahl, Christian Mousavi, Mohammadreza Strejcek, Jan Musuvathi, Madanlal Sznajder, Nathalie Møller, Mikael H. Tiezzi, Francesco Narayan, Kumar Tuosto, Emilio Niebert, Peter Turrini, Andrea Noll, Thomas Tzevelekos, Nikos Norman, Gethin Ulidowski, Irek Novotny´, Petr Vafeiadis, Viktor Obdrzalek, Jan van Raamsdonk, Femke Ong, Luke Vandin, Andrea X Organization Velner, Yaron Wimmel, Harro Vijzelaar, Stefan Worrell, James Virbitskaite, Irina Xue, Bingtian Vogler, Walter Yang, Shaofa Wachter, Bjo¨rn Zarko, Luke Wang, Bow-Yaw Zavattaro, Gianluigi Wehrheim, Heike