Limit search to available items
Book Cover
Author International Conference on Concurrency Theory (25th : 2014 : Rome, Italy)

Title CONCUR 2014-- Concurrency theory : 25th International Conference, CONCUR 2014, Rome, Italy, September 2-5, 2014. Proceedings / Paolo Baldan, Daniele Gorla (eds.)
Published Heidelberg : Springer, 2014
Online access available from:
Springer eBooks    View Resource Record  


Description 1 online resource (xxii, 594 pages) : illustrations
Series Lecture Notes in Computer Science, 0302-9743 ; 8704
Advanced research in computing and software science
LNCS sublibrary. SL 1, Theoretical computer science and general issues
Lecture notes in computer science ; 8704. 0302-9743
Lecture notes in computer science. Advanced research in computing and software science.
LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Contents Laws of Programming: The Algebraic Unification of Theories of Concurrency -- The Benefits of Sometimes Not Being Discrete -- Deterministic Negotiations: Concurrency for Free -- Generalized Bisimulation Metrics -- Choreographies, Logically -- Deadlock Analysis of Unbounded Process Networks -- Trees from Functions as Processes -- Bisimulations Up-to: Beyond First-Order Transition Systems -- Parameterized Model Checking of Rendezvous Systems -- On the Completeness of Bounded Model Checking for Threshold-Based Distributed Algorithms: Reachability -- Lost in Abstraction: Monotonicity in Multi-threaded Programs -- Synthesis from Component Libraries with Costs -- Compositional Controller Synthesis for Stochastic Games -- Synchronizing Strategies under Partial Observability -- Probabilistic Robust Timed Games -- Perturbation Analysis in Verification of Discrete-Time Markov Chains -- Robust Synchronization in Markov Decision Processes -- Probabilistic Bisimulation: Naturally on Distributions -- Averaging in LTL -- Decidable Topologies for Communicating Automata with FIFO and Bag Channels -- Controllers for the Verification of Communicating Multi-pushdown Systems -- Pairwise Reachability Analysis for Higher Order Concurrent Programs by Higher-Order Model Checking -- A Linear-Time Algorithm for the Orbit Problem over Cyclic Groups -- A Nearly Optimal Upper Bound for the Self-Stabilization Time in Herman's Algorithm -- Bounds on Mobility -- Typing Messages for Free in Security Protocols: The Case of Equivalence Properties -- Using Higher-Order Contracts to Model Session Types (Extended Abstract) -- A Semantic Deconstruction of Session Types -- Timed Multiparty Session Types -- A Categorical Semantics of Signal Flow Graphs -- Generic Forward and Backward Simulations III: Quantitative Simulations by Matrices -- A General Framework for Well-Structured Graph Transformation Systems -- (Un)decidable Problems about Reachability of Quantum Systems -- Ordered Navigation on Multi-attributed Data Words -- Verification for Timed Automata Extended with Unbounded Discrete Data Structures -- Reducing Clocks in Timed Automata while Preserving Bisimulation -- Qualitative Concurrent Parity Games: Bounded Rationality -- Adding Negative Prices to Priced Timed Games -- Tight Game Abstractions of Probabilistic Automata
Notes International conference proceedings
Bibliography Includes bibliographical references and author index
Notes Online resource; title from PDF title page (SpringerLink, viewed Sept. 3, 2014)
Subject Parallel processing (Electronic computers) -- Congresses.
Computer multitasking -- Congresses.
Genre/Form Conference papers and proceedings.
Conference papers and proceedings.
Form Electronic book
Author Baldan, Paolo (Mathematician), editor
Gorla, Daniele, editor
ISBN 9783662445846 (electronic bk.)
3662445840 (electronic bk.)