CONCUR 2014 – Concurrency Theory [[electronic resource] ] : 25th International Conference, CONCUR 2014, Rome, Italy, September 2-5, 2014. Proceedings |
Edizione | [1st ed. 2014.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2014 |
Descrizione fisica | 1 online resource (XXII, 594 p. 90 illus.) |
Disciplina | 004.35 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Computer science
Software engineering Computer science—Mathematics Mathematical statistics Machine theory Computer Science Logic and Foundations of Programming Software Engineering Probability and Statistics in Computer Science Formal Languages and Automata Theory |
ISBN | 3-662-44584-0 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | 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. |
Record Nr. | UNISA-996202528103316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2014 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
CONCUR 2014 – Concurrency Theory [[electronic resource] ] : 25th International Conference, CONCUR 2014, Rome, Italy, September 2-5, 2014. Proceedings |
Edizione | [1st ed. 2014.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2014 |
Descrizione fisica | 1 online resource (XXII, 594 p. 90 illus.) |
Disciplina | 004.35 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Computer science
Software engineering Computer science—Mathematics Mathematical statistics Machine theory Computer Science Logic and Foundations of Programming Software Engineering Probability and Statistics in Computer Science Formal Languages and Automata Theory |
ISBN | 3-662-44584-0 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | 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. |
Record Nr. | UNINA-9910484824503321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2014 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|