04588nam 22007455 450 99646599830331620230406020455.03-540-74407-X10.1007/978-3-540-74407-8(CKB)1000000000490458(SSID)ssj0000316970(PQKBManifestationID)11240520(PQKBTitleCode)TC0000316970(PQKBWorkID)10276729(PQKB)10652467(DE-He213)978-3-540-74407-8(MiAaPQ)EBC3063437(MiAaPQ)EBC6709570(Au-PeEL)EBL6709570(PPN)123164427(EXLCZ)99100000000049045820100301d2007 u| 0engurnn|008mamaatxtccrCONCUR 2007 - Concurrency Theory[electronic resource] 18th International Conference, CONCUR 2007, Lisbon, Portugal, September 3-8, 2007, Proceedings /edited by Luís Caires, Vasco T. Vasconcelos1st ed. 2007.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2007.1 online resource (XIII, 510 p.) Theoretical Computer Science and General Issues,2512-2029 ;4703Bibliographic Level Mode of Issuance: Monograph3-540-74406-1 Includes bibliographical references and index.Invited Lectures -- Mapping the Security Landscape: A Role for Language Techniques -- The Saga of the Axiomatization of Parallel Composition -- Rule-Based Modelling of Cellular Signalling -- Contributed Papers -- Making Random Choices Invisible to the Scheduler -- Strategy Logic -- Solving Games Via Three-Valued Abstraction Refinement -- Linear Time Logics Around PSL: Complexity, Expressiveness, and a Little Bit of Succinctness -- On Modal Refinement and Consistency -- Equivalence Checking for Infinite Systems Using Parameterized Boolean Equation Systems -- Decidability Results for Well-Structured Transition Systems with Auxiliary Storage -- A Nice Labelling for Tree-Like Event Structures of Degree 3 -- Causal Message Sequence Charts -- Checking Coverage for Infinite Collections of Timed Scenarios -- Is Observational Congruence Axiomatisable in Equational Horn Logic? -- The Must Preorder Revisited -- Topology-Dependent Abstractions of Broadcast Networks -- On the Expressive Power of Global and Local Priority in Process Calculi -- A Marriage of Rely/Guarantee and Separation Logic -- Fair Cooperative Multithreading -- Precise Fixpoint-Based Analysis of Programs with Thread-Creation and Procedures -- Automatic Derivation of Compositional Rules in Automated Compositional Reasoning -- Compositional Event Structure Semantics for the Internal ?-Calculus -- Interpreting a Finitary Pi-calculus in Differential Interaction Nets -- Mobility Control Via Passports -- Coalgebraic Models for Reactive Systems -- Reactive Systems over Directed Bigraphs -- Asynchronous Games: Innocence Without Alternation -- Bisimulation and Logical Preservation for Continuous-Time Markov Decision Processes -- Strategy Synthesis for Markov Decision Processes and Branching-Time Logics -- Timed Concurrent Game Structures -- Pushdown Module Checking with Imperfect Information -- Alternating Automata and a Temporal Fixpoint Calculus for Visibly Pushdown Languages -- Temporal Antecedent Failure: Refining Vacuity.Theoretical Computer Science and General Issues,2512-2029 ;4703Computer scienceComputer systemsCompilers (Computer programs)Computer programmingTheory of ComputationComputer System ImplementationComputer Science Logic and Foundations of ProgrammingCompilers and InterpretersProgramming TechniquesComputer science.Computer systems.Compilers (Computer programs).Computer programming.Theory of Computation.Computer System Implementation.Computer Science Logic and Foundations of Programming.Compilers and Interpreters.Programming Techniques.004.35Caires LuísVasconcelos Vasco T.MiAaPQMiAaPQMiAaPQBOOK996465998303316CONCUR 2007 – Concurrency Theory772427UNISA