CONCUR 2006 - Concurrency Theory: 17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006: Lecture Notes in Computer Science, cartea 4137
Editat de Christel Baier, Holger Hermannsen Limba Engleză Paperback – 10 aug 2006
Din seria Lecture Notes in Computer Science
- 20% Preț: 1061.55 lei
- 20% Preț: 307.71 lei
- 20% Preț: 438.69 lei
- 20% Preț: 645.28 lei
- Preț: 410.88 lei
- 15% Preț: 580.46 lei
- 17% Preț: 427.22 lei
- 20% Preț: 596.46 lei
- Preț: 381.21 lei
- 20% Preț: 353.50 lei
- 20% Preț: 1414.79 lei
- 20% Preț: 309.90 lei
- 20% Preț: 583.40 lei
- 20% Preț: 1075.26 lei
- 20% Preț: 310.26 lei
- 20% Preț: 655.02 lei
- 20% Preț: 580.93 lei
- 20% Preț: 340.32 lei
- 15% Preț: 438.59 lei
- 20% Preț: 591.51 lei
- 20% Preț: 649.49 lei
- 20% Preț: 337.00 lei
- Preț: 449.57 lei
- 20% Preț: 607.39 lei
- 20% Preț: 1024.44 lei
- 20% Preț: 579.30 lei
- 20% Preț: 763.23 lei
- 20% Preț: 453.32 lei
- 20% Preț: 575.48 lei
- 20% Preț: 585.88 lei
- 20% Preț: 825.93 lei
- 20% Preț: 763.23 lei
- 17% Preț: 360.19 lei
- 20% Preț: 1183.14 lei
- 20% Preț: 340.32 lei
- 20% Preț: 504.57 lei
- 20% Preț: 369.12 lei
- 20% Preț: 583.40 lei
- 20% Preț: 343.62 lei
- 20% Preț: 350.21 lei
- 20% Preț: 764.89 lei
- 20% Preț: 583.40 lei
- Preț: 389.48 lei
- 20% Preț: 341.95 lei
- 20% Preț: 238.01 lei
- 20% Preț: 538.29 lei
Preț: 659.31 lei
Preț vechi: 824.13 lei
-20% Nou
Puncte Express: 989
Preț estimativ în valută:
126.17€ • 130.93$ • 105.46£
126.17€ • 130.93$ • 105.46£
Carte tipărită la comandă
Livrare economică 17-31 martie
Preluare comenzi: 021 569.72.76
Specificații
ISBN-13: 9783540373766
ISBN-10: 3540373764
Pagini: 544
Ilustrații: XIII, 528 p.
Dimensiuni: 155 x 235 x 35 mm
Greutate: 0.8 kg
Ediția:2006
Editura: Springer Berlin, Heidelberg
Colecția Springer
Seriile Lecture Notes in Computer Science, Theoretical Computer Science and General Issues
Locul publicării:Berlin, Heidelberg, Germany
ISBN-10: 3540373764
Pagini: 544
Ilustrații: XIII, 528 p.
Dimensiuni: 155 x 235 x 35 mm
Greutate: 0.8 kg
Ediția:2006
Editura: Springer Berlin, Heidelberg
Colecția Springer
Seriile Lecture Notes in Computer Science, Theoretical Computer Science and General Issues
Locul publicării:Berlin, Heidelberg, Germany
Public țintă
ResearchCuprins
Invited Contributions.- Modeling Timed Concurrent Systems.- Some Remarks on Definability of Process Graphs.- Sanity Checks in Formal Verification.- Invited Tutorials.- Welcome to the Jungle: A Subjective Guide to Mobile Process Calculi.- Probability and Nondeterminism in Operational Models of Concurrency.- Model Checking.- A Livelock Freedom Analysis for Infinite State Asynchronous Reactive Systems.- Proving Liveness by Backwards Reachability.- Model Checking Quantified Computation Tree Logic.- Process Calculi.- Liveness, Fairness and Impossible Futures.- Checking a Mutex Algorithm in a Process Algebra with Fairness.- A Complete Axiomatic Semantics for the CSP Stable-Failures Model.- Transition Systems of Elementary Net Systems with Localities.- Minimization and Equivalence Checking.- Operational Determinism and Fast Algorithms.- Minimization, Learning, and Conformance Testing of Boolean Programs.- A Capability Calculus for Concurrency and Determinism.- Types.- A New Type System for Deadlock-Free Processes.- Sortings for Reactive Systems.- Dynamic Access Control in a Concurrent Object Calculus.- Semantics.- Concurrent Rewriting for Graphs with Equivalences.- Event Structure Semantics for Nominal Calculi.- Encoding ?Duce in the ??-Calculus.- Probability.- A Complete Axiomatisation of Branching Bisimulation for Probabilistic Systems with an Application in Protocol Verification.- Probabilistic I/O Automata: Theories of Two Equivalences.- Reachability in Recursive Markov Decision Processes.- Strategy Improvement for Stochastic Rabin and Streett Games.- Bisimulation and Simulation.- Weak Bisimulation Up to Elaboration.- Generic Forward and Backward Simulations.- On Finite Alphabets and Infinite Bases III: Simulation.- Real Time.- Inference of Event-Recording Automata Using Timed Decision Trees.- Controller Synthesis for MTL Specifications.- On Interleaving in Timed Automata.- Formal Languages.- A Language for Task Orchestration and Its Semantic Properties.- Finding Shortest Witnesses to the Nonemptiness of Automata on Infinite Words.- Second-Order Simple Grammars.