CONCUR 2005 - Concurrency Theory : 16th International Conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005, Proceedings - nouveau livre
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… Plus…
hive.co.uk No. 9783540319344. Frais d'envoiInstock, Despatched same working day before 3pm, zzgl. Versandkosten., Livraison non-comprise 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… Plus…
Hugendubel.de Nr. 25493033. Frais d'envoi, , DE. (EUR 0.00) Details... |
CONCUR 2005 - Concurrency Theory : 16th International Conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005, Proceedings - nouveau livre
2005, ISBN: 9783540319344
; PDF; Computing > Computer science > Mathematical theory of computation, Springer Berlin Heidelberg
hive.co.uk No. 9783540319344. Frais d'envoiInstock, Despatched same working day before 3pm, zzgl. Versandkosten., Livraison non-comprise 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… Plus…
lehmanns.de Frais d'envoiDownload 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… Plus…
eBook.de Nr. 25493033. Frais d'envoi, , DE. (EUR 0.00) Details... |
CONCUR 2005 - Concurrency Theory : 16th International Conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005, Proceedings - nouveau livre
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… Plus…
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… Plus…
CONCUR 2005 - Concurrency Theory : 16th International Conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005, Proceedings - nouveau livre
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… Plus…
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… Plus…
Données bibliographiques du meilleur livre correspondant
Auteur: | |
Titre: | |
ISBN: |
Informations détaillées sur le livre - CONCUR 2005 - Concurrency Theory
EAN (ISBN-13): 9783540319344
Date de parution: 2005
Editeur: Springer Berlin Heidelberg
Livre dans la base de données depuis 2017-04-19T00:53:53+02:00 (Paris)
Page de détail modifiée en dernier sur 2022-09-02T22:42:54+02:00 (Paris)
ISBN/EAN: 9783540319344
ISBN - Autres types d'écriture:
978-3-540-31934-4
Autres types d'écriture et termes associés:
Auteur du livre: abadi
Titre du livre: theory, concurrency
Données de l'éditeur
Auteur: Martín Abadi; Luca de Alfaro
Titre: 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
Editeur: Springer; Springer Berlin
1280 Pages
Date de parution: 2005-09-07
Berlin; Heidelberg; DE
Langue: Anglais
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.Autres livres qui pourraient ressembler au livre recherché:
Dernier livre similaire:
9783540744078 CONCUR 2007 - Concurrency Theory (Luis Caires; Vasco T. Vasconcelos)
< pour archiver...