LEADER 06223nam 22007095 450 001 996465918203316 005 20230406052922.0 024 7 $a10.1007/11539452 035 $a(CKB)1000000000213192 035 $a(SSID)ssj0000316968 035 $a(PQKBManifestationID)11222202 035 $a(PQKBTitleCode)TC0000316968 035 $a(PQKBWorkID)10287266 035 $a(PQKB)11777238 035 $a(DE-He213)978-3-540-31934-4 035 $a(MiAaPQ)EBC3067891 035 $a(PPN)123096790 035 $a(EXLCZ)991000000000213192 100 $a20100725d2005 u| 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aCONCUR 2005 - Concurrency Theory$b[electronic resource] $e16th International Conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005, Proceedings /$fedited by Martín Abadi, Luca de Alfaro 205 $a1st ed. 2005. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2005. 215 $a1 online resource (XXIV, 1280 p.) 225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v3653 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-31934-4 311 $a3-540-28309-9 320 $aIncludes bibliographical references and index. 327 $aInvited Lectures -- Static Analysis Versus Model Checking for Bug Finding -- The Benefits of Exposing Calls and Returns -- A Compositional Approach to the Stochastic Dynamics of Gene Networks -- Contributed Papers -- Games Other People Play -- Type-Directed Concurrency -- Multiport Interaction Nets and Concurrency -- Model Checking for ?-Calculus Using Proof Search -- A Game Semantics of the Asynchronous ?-Calculus -- Efficient On-the-Fly Algorithms for the Analysis of Timed Games -- Modal Logics for Timed Control -- Timed Shuffle Expressions -- A New Modality for Almost Everywhere Properties in Timed Automata -- The Coarsest Congruence for Timed Automata with Deadlines Contained in Bisimulation -- A Behavioural Pseudometric for Metric Labelled Transition Systems -- On Probabilistic Program Equivalence and Refinement -- Probabilistic Anonymity -- Secrecy Despite Compromise: Types, Cryptography, and the Pi-Calculus -- Timed Spi-Calculus with Types for Secrecy and Authenticity -- Selecting Theories and Recursive Protocols -- Constraint Solving for Contract-Signing Protocols -- A Ground-Complete Axiomatization of Finite State Processes in Process Algebra -- Decomposition and Complexity of Hereditary History Preserving Bisimulation on BPP -- Bisimulations Up-to for the Linear Time Branching Time Spectrum -- Deriving Weak Bisimulation Congruences from Reduction Systems -- SOS for Higher Order Processes -- The Individual and Collective Token Interpretations of Petri Nets -- Merged Processes ? A New Condensed Representation of Petri Net Behaviour -- Concurrent Clustered Programming -- A Theory of System Behaviour in the Presence of Node and Link Failures -- Comparing Two Approaches to Compensable Flow Composition -- Transactions in RCCS -- Two-Player Nonzero-Sum ?-Regular Games -- Games Where You Can Play Optimally Without Any Memory -- On Implementation of Global Concurrent Systems with Local Asynchronous Controllers -- Defining Fairness -- Regular Symbolic Analysis of Dynamic Networks of Pushdown Systems -- Termination Analysis of Integer Linear Loops -- A Practical Application of Geometric Semantics to Static Analysis of Concurrent Programs -- Verification of Qualitative ? Constraints -- Uniform Satisfiability Problem for Local Temporal Logics over Mazurkiewicz Traces -- Taming Interface Specifications -- Synthesis of Distributed Systems from Knowledge-Based Specifications. 330 $aThis volume contains the papers presented at CONCUR 2005, the 16th - ternational Conference on Concurrency Theory. The purpose of the CONCUR series of conferences is to bring together researchers,developers, and students in order to advance the theory of concurrency and to promote its applications. This year?s conference was in San Francisco, California, from August 23 to August 26. We received 100 submissions in response to a call for papers. Each subm- sionwasassignedto at leastthreemembers ofthe ProgramCommittee; in many cases, reviews were solicited from outside experts. The ProgramCommittee d- cussed the submissions electronically, judging them on their perceived imp- tance, originality, clarity, and appropriateness to the expected audience. The Program Committee selected 38 papers for presentation. Because of the format of the conference and the high number of submissions, many good papers could not be included. Although submissions werereadand evaluated, the papers that appear in this volume may di?er in form and contents from the corresponding submissions. It is expected that many of the papers will be further revised and submitted to refereed archival journals for publication. 410 0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v3653 606 $aComputer systems 606 $aComputer science 606 $aCompilers (Computer programs) 606 $aComputer programming 606 $aComputer System Implementation 606 $aTheory of Computation 606 $aComputer Science Logic and Foundations of Programming 606 $aCompilers and Interpreters 606 $aProgramming Techniques 615 0$aComputer systems. 615 0$aComputer science. 615 0$aCompilers (Computer programs). 615 0$aComputer programming. 615 14$aComputer System Implementation. 615 24$aTheory of Computation. 615 24$aComputer Science Logic and Foundations of Programming. 615 24$aCompilers and Interpreters. 615 24$aProgramming Techniques. 676 $a004/.35 702 $aAbadi$b Martín$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $ade Alfaro$b Luca$4edt$4http://id.loc.gov/vocabulary/relators/edt 712 12$aInternational Conference on Concurrency Theory 906 $aBOOK 912 $a996465918203316 996 $aCONCUR 2005 – Concurrency Theory$9772500 997 $aUNISA