CONCUR 2005 - Concurrency Theory : 16th International Conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005, Proceedings - neues Buch
2005, ISBN: 9783540319344
This 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 rese… Mehr…
| hive.co.uk No. 9783540319344. Versandkosten:Instock, Despatched same working day before 3pm, zzgl. Versandkosten. Details... |
2005, ISBN: 9783540319344
CONCUR 2005 - Concurrency Theory ab 96.49 € als pdf eBook: 16th International Conference CONCUR 2005 San Francisco CA USA August 23-26 2005 Proceedings. Aus dem Bereich: eBooks, Sachtheme… Mehr…
| Hugendubel.de Nr. 25493033. Versandkosten:, , DE. (EUR 0.00) Details... |
CONCUR 2005 - Concurrency Theory : 16th International Conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005, Proceedings - neues Buch
2005, ISBN: 9783540319344
; PDF; Computing > Computer science > Mathematical theory of computation, Springer Berlin Heidelberg
| hive.co.uk No. 9783540319344. Versandkosten:Instock, Despatched same working day before 3pm, zzgl. Versandkosten. Details... |
2005, ISBN: 9783540319344
16th International Conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005, Proceedings, eBooks, eBook Download (PDF), [PU: Springer Berlin Heidelberg], Springer Berlin Heidel… Mehr…
| lehmanns.de Versandkosten:Download sofort lieferbar. (EUR 0.00) Details... |
2005, ISBN: 9783540319344
CONCUR 2005 - Concurrency Theory - 16th International Conference CONCUR 2005 San Francisco CA USA August 23-26 2005 Proceedings: ab 96.49 € Medien > Bücher > E-books, [PU: Springer, Berli… Mehr…
| eBook.de Nr. 25493033. Versandkosten:, , DE. (EUR 0.00) Details... |
CONCUR 2005 - Concurrency Theory : 16th International Conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005, Proceedings - neues Buch
2005, ISBN: 9783540319344
This 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 rese… Mehr…
2005, ISBN: 9783540319344
CONCUR 2005 - Concurrency Theory ab 96.49 € als pdf eBook: 16th International Conference CONCUR 2005 San Francisco CA USA August 23-26 2005 Proceedings. Aus dem Bereich: eBooks, Sachtheme… Mehr…
CONCUR 2005 - Concurrency Theory : 16th International Conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005, Proceedings - neues Buch
2005
ISBN: 9783540319344
; PDF; Computing > Computer science > Mathematical theory of computation, Springer Berlin Heidelberg
2005, ISBN: 9783540319344
16th International Conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005, Proceedings, eBooks, eBook Download (PDF), [PU: Springer Berlin Heidelberg], Springer Berlin Heidel… Mehr…
2005, ISBN: 9783540319344
CONCUR 2005 - Concurrency Theory - 16th International Conference CONCUR 2005 San Francisco CA USA August 23-26 2005 Proceedings: ab 96.49 € Medien > Bücher > E-books, [PU: Springer, Berli… Mehr…
Bibliographische Daten des bestpassenden Buches
| Autor: | |
| Titel: | |
| ISBN-Nummer: |
Detailangaben zum Buch - CONCUR 2005 - Concurrency Theory
EAN (ISBN-13): 9783540319344
Erscheinungsjahr: 2005
Herausgeber: Springer Berlin Heidelberg
Buch in der Datenbank seit 2017-04-19T00:53:53+02:00 (Berlin)
Detailseite zuletzt geändert am 2022-09-02T22:42:54+02:00 (Berlin)
ISBN/EAN: 9783540319344
ISBN - alternative Schreibweisen:
978-3-540-31934-4
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: abadi
Titel des Buches: theory, concurrency
Daten vom Verlag:
Autor/in: Martín Abadi; Luca de Alfaro
Titel: Theoretical Computer Science and General Issues; Lecture Notes in Computer Science; CONCUR 2005 - Concurrency Theory - 16th International Conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005, Proceedings
Verlag: Springer; Springer Berlin
1280 Seiten
Erscheinungsjahr: 2005-09-07
Berlin; Heidelberg; DE
Sprache: Englisch
53,49 € (DE)
55,00 € (AT)
59,00 CHF (CH)
Available
XXIV, 1280 p.
EA; E107; eBook; Nonbooks, PBS / Informatik, EDV/Informatik; Systemanalyse und -design; Verstehen; algorithm; algorithms; concurrency; distributed programming; logic; logic programming; model checking; petri net; programming; real-time; semantics; verification; C; Computer System Implementation; Theory of Computation; Computer Science Logic and Foundations of Programming; Compilers and Interpreters; Programming Techniques; Computer Science; Theoretische Informatik; Compiler und Übersetzer; Computerprogrammierung und Softwareentwicklung; BC
Invited 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 PlayOptimally 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.Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:
Neuestes ähnliches Buch:
9783540744078 CONCUR 2007 - Concurrency Theory (Luis Caires; Vasco T. Vasconcelos)
< zum Archiv...