CONCUR 2010 - Concurrency Theory 21th International Conference, CONCUR 2010, Paris, France, August 31-September 3, 2010, Proceedings Paul Gastin (u. a.) Taschenbuch Englisch 2010 - Taschenbuch
2010, ISBN: 9783642153747
[ED: Taschenbuch], [PU: Springer Berlin], This volume contains the proceedings of the 21st Conference on C- currency Theory (CONCUR 2010), held in Paris, at UniversiteDenis Diderot, Augus… Mehr…
booklooker.de |
2010, ISBN: 9783642153747
This volume contains the proceedings of the 21st Conference on C- currency Theory (CONCUR 2010), held in Paris, at Universit´eDenis Diderot, August 31-September 3, 2010. CONC… Mehr…
Indigo.ca new in stock. Versandkosten:zzgl. Versandkosten. Details... |
2010, ISBN: 9783642153747
This volume contains the proceedings of the 21st Conference on C- currency Theory (CONCUR 2010), held in Paris, at Universit´eDenis Diderot, August 31-September 3, 2010. CONCUR 2010 was … Mehr…
Indigo.ca new in stock. Versandkosten:zzgl. Versandkosten. Details... |
2010, ISBN: 9783642153747
Paperback, [PU: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG], Constitutes the refereed proceedings of the 20th International Conference on Concurrency Theory, CONCUR 2010, held in… Mehr…
BookDepository.com Versandkosten:Versandkostenfrei. (EUR 0.00) Details... |
2010, ISBN: 9783642153747
21th International Conference, CONCUR 2010, Paris, France, August 31-September 3, 2010, Proceedings, Buch, Softcover, [PU: Springer Berlin], Springer Berlin, 2010
lehmanns.de Versandkosten:sofort lieferbar. (EUR 0.00) Details... |
CONCUR 2010 - Concurrency Theory 21th International Conference, CONCUR 2010, Paris, France, August 31-September 3, 2010, Proceedings Paul Gastin (u. a.) Taschenbuch Englisch 2010 - Taschenbuch
2010, ISBN: 9783642153747
[ED: Taschenbuch], [PU: Springer Berlin], This volume contains the proceedings of the 21st Conference on C- currency Theory (CONCUR 2010), held in Paris, at UniversiteDenis Diderot, Augus… Mehr…
2010, ISBN: 9783642153747
This volume contains the proceedings of the 21st Conference on C- currency Theory (CONCUR 2010), held in Paris, at Universit´eDenis Diderot, August 31-September 3, 2010. CONC… Mehr…
2010
ISBN: 9783642153747
This volume contains the proceedings of the 21st Conference on C- currency Theory (CONCUR 2010), held in Paris, at Universit´eDenis Diderot, August 31-September 3, 2010. CONCUR 2010 was … Mehr…
2010, ISBN: 9783642153747
Paperback, [PU: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG], Constitutes the refereed proceedings of the 20th International Conference on Concurrency Theory, CONCUR 2010, held in… Mehr…
2010, ISBN: 9783642153747
21th International Conference, CONCUR 2010, Paris, France, August 31-September 3, 2010, Proceedings, Buch, Softcover, [PU: Springer Berlin], Springer Berlin, 2010
Bibliographische Daten des bestpassenden Buches
Autor: | |
Titel: | |
ISBN-Nummer: |
Detailangaben zum Buch - Concur 2010 - Concurrency Theory by Paul Gastin Paperback | Indigo Chapters
EAN (ISBN-13): 9783642153747
ISBN (ISBN-10): 3642153747
Gebundene Ausgabe
Taschenbuch
Erscheinungsjahr: 2010
Herausgeber: Paul Gastin
600 Seiten
Gewicht: 0,917 kg
Sprache: eng/Englisch
Buch in der Datenbank seit 2008-06-13T07:59:30+02:00 (Vienna)
Detailseite zuletzt geändert am 2023-01-09T12:12:09+01:00 (Vienna)
ISBN/EAN: 9783642153747
ISBN - alternative Schreibweisen:
3-642-15374-7, 978-3-642-15374-7
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: paul francois, gast, paul franco
Titel des Buches: third international theory, september, concurrency, beyond 2010, paris, lecture notes computer science
Daten vom Verlag:
Autor/in: Paul Gastin; Francois Laroussinie
Titel: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues; CONCUR 2010 - Concurrency Theory - 21th International Conference, CONCUR 2010, Paris, France, August 31-September 3, 2010, Proceedings
Verlag: Springer; Springer Berlin
600 Seiten
Erscheinungsjahr: 2010-08-18
Berlin; Heidelberg; DE
Sprache: Englisch
106,99 € (DE)
109,99 € (AT)
118,00 CHF (CH)
Available
XIII, 600 p. 134 illus.
BC; Hardcover, Softcover / Informatik, EDV/Informatik; Software Engineering; Verstehen; Simulation; abstract machines; atomicity checki; biology-inspired systems; concurrency models; design; domain theoretic modelsi; learning; model checking; model logics; modeling; pervasive computing; process algebras; resource logicsq; verification; Software Engineering; Computer Science Logic and Foundations of Programming; Computer Communication Networks; Compilers and Interpreters; Computer and Information Systems Applications; Theoretische Informatik; Netzwerk-Hardware; Compiler und Übersetzer; Angewandte Informatik; EA
Dating Concurrent Objects: Real-Time Modeling and Schedulability Analysis.- Applications of Shellable Complexes to Distributed Computing.- Concurrency and Composition in a Stochastic World.- Taming Distributed Asynchronous Systems.- Trust in Anonymity Networks.- Learning I/O Automata.- Constrained Monotonic Abstraction: A CEGAR for Parameterized Verification.- Information Flow in Interactive Systems.- From Multi to Single Stack Automata.- A Geometric Approach to the Problem of Unique Decomposition of Processes.- A Logic for True Concurrency.- A Theory of Design-by-Contract for Distributed Multiparty Interactions.- Bisimilarity of One-Counter Processes Is PSPACE-Complete.- Nash Equilibria for Reachability Objectives in Multi-player Timed Games.- Stochastic Real-Time Games with Qualitative Timed Automata Objectives.- Session Types as Intuitionistic Linear Propositions.- Session Types for Access and Information Flow Control.- Simulation Distances.- Mean-Payoff Automaton Expressions.- Obliging Games.- Multipebble Simulations for Alternating Automata.- Parameterized Verification of Ad Hoc Networks.- Termination in Impure Concurrent Languages.- Buffered Communication Analysis in Distributed Multiparty Sessions.- Efficient Bisimilarities from Second-Order Reaction Semantics for ?-Calculus.- On the Use of Non-deterministic Automata for Presburger Arithmetic.- Reasoning about Optimistic Concurrency Using a Program Logic for History.- Theory by Process.- On the Compositionality of Round Abstraction.- A Linear Account of Session Types in the Pi Calculus.- Generic Forward and Backward Simulations II: Probabilistic Simulation.- Kleene, Rabin, and Scott Are Available.- Reversing Higher-Order Pi.- Modal Logic over Higher Dimensional Automata.- A Communication Based Model for Games ofImperfect Information.- Flat Coalgebraic Fixed Point Logics.- Conditional Automata: A Tool for Safe Removal of Negligible Events.- Representations of Petri Net Interactions.- Communicating Transactions.- Consistent Correlations for Parameterised Boolean Equation Systems with Applications in Correctness Proofs for Manipulations.Up to date results Fast conference proceedings State-of-the-art report
Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:
Neuestes ähnliches Buch:
9783642153754 CONCUR 2010 - Concurrency Theory (Springer)
- 9783642153754 CONCUR 2010 - Concurrency Theory (Springer)
- 9783642040801 CONCUR 2009 - Concurrency Theory: 20th International Conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009, Proceedings (Lecture Notes in Computer Science, Band 5710) (Mario Bravetti; Gianluigi Zavattaro)
- CONCUR 2010 - Concurrency Theory: 21th International Conference, CONCUR 2010, Paris, France, August 31-September 3, 2010. Proceedings (English Edition) (Boer, Frank S. de, Jaghoori (auth.), Mohammad Mahdi, Gastin, Paul, Laroussinie (eds.), François)
< zum Archiv...