- 5 Ergebnisse
Kleinster Preis: € 85,59, größter Preis: € 107,09, Mittelwert: € 102,79
1
CONCUR '96: Concurrency Theory - Ugo Montanari; Vladimiro Sassone
Bestellen
bei Springer.com
€ 107,09
Bestellen
Details und Versand
gesponserter Link
Ugo Montanari; Vladimiro Sassone:

CONCUR '96: Concurrency Theory - neues Buch

ISBN: 9783540706250

This book constitutes the refereed proceedings of the 7th International Conference on Concurrency Theory, CONCUR '96, held in Pisa, Italy, in August 1996. The volume presents 37 revised f… Mehr…

  - new in stock. Versandkosten:zzgl. Versandkosten.
zuklappen (X)
2
CONCUR '96: Concurrency Theory
Bestellen
bei Springer.com
€ 85,59
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
CONCUR '96: Concurrency Theory - neues Buch

ISBN: 9783540706250

This book constitutes the refereed proceedings of the 7th International Conference on Concurrency Theory, CONCUR '96, held in Pisa, Italy, in August 1996. The volume presents 37 revised f… Mehr…

Nr. 978-3-540-70625-0. Versandkosten:Worldwide free shipping, , DE. (EUR 0.00)
zuklappen (X)
3
CONCUR '96: Concurrency Theory - Ugo Montanari; Vladimiro Sassone
Bestellen
bei Springer.com
€ 107,09
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Ugo Montanari; Vladimiro Sassone:
CONCUR '96: Concurrency Theory - neues Buch

ISBN: 9783540706250

Computer Science; Theory of Computation; Computer System Implementation; Software Engineering/Programming and Operating Systems; Logics and Meanings of Programs; Computation by Abstract D… Mehr…

  - Versandkosten: EUR 0.00
zuklappen (X)
4
CONCUR '96: Concurrency Theory - Ugo Montanari; Vladimiro Sassone
Bestellen
bei Springer.com
€ 107,09
Bestellen
Details und Versand
gesponserter Link
Ugo Montanari; Vladimiro Sassone:
CONCUR '96: Concurrency Theory - neues Buch

ISBN: 9783540706250

Computer Science; Theory of Computation; Computer System Implementation; Software Engineering/Programming and Operating Systems; Logics and Meanings of Programs; Computation by Abstract D… Mehr…

  - Versandkosten:zzgl. Versandkosten.
zuklappen (X)
5
CONCUR '96: Concurrency Theory - Ugo Montanari; Vladimiro Sassone
Bestellen
bei Springer.com
€ 107,09
Bestellen
Details und Versand
gesponserter Link
Ugo Montanari; Vladimiro Sassone:
CONCUR '96: Concurrency Theory - neues Buch

ISBN: 9783540706250

Computer Science; Theory of Computation; Computer System Implementation; Software Engineering/Programming and Operating Systems; Logics and Meanings of Programs; Computation by Abstract D… Mehr…

  - Versandkosten:zzgl. Versandkosten.
zuklappen (X)
1Da einige Plattformen keine Versandkonditionen übermitteln und diese vom Lieferland, dem Einkaufspreis, dem Gewicht und der Größe des Artikels, einer möglichen Mitgliedschaft der Plattform, einer direkten Lieferung durch die Plattform oder über einen Drittanbieter (Marketplace), etc. abhängig sein können, ist es möglich, dass die von eurobuch angegebenen Versandkosten nicht mit denen der anbietenden Plattform übereinstimmen.

Bibliographische Daten des bestpassenden Buches

Details zum Buch
CONCUR '96: Concurrency Theory
Autor:
Titel:
ISBN-Nummer:

9783540706250

Detailangaben zum Buch - CONCUR '96: Concurrency Theory


EAN (ISBN-13): 9783540706250
Herausgeber: Springer Science+Business Media

Buch in der Datenbank seit 2016-12-20T11:25:38+01:00 (Berlin)
Detailseite zuletzt geändert am 2024-03-31T10:32:44+02:00 (Berlin)
ISBN/EAN: 9783540706250

ISBN - alternative Schreibweisen:
978-3-540-70625-0
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: montanari, vladimiro
Titel des Buches: concurrency

Daten vom Verlag:

Autor/in: Ugo Montanari; Vladimiro Sassone
Titel: Lecture Notes in Computer Science; CONCUR '96: Concurrency Theory - 7th International Conference, Pisa, Italy, August 26 - 29, 1996. Proceedings
Verlag: Springer; Springer Berlin
759 Seiten
Erscheinungsjahr: 2005-07-06
Berlin; Heidelberg; DE
Sprache: Englisch
96,29 € (DE)
99,00 € (AT)
118,00 CHF (CH)
Available
XIII, 759 p.

EA; E107; eBook; Nonbooks, PBS / Informatik, EDV/Informatik; Theoretische Informatik; Verstehen; Automat; automata; complexity; concurrency; constraint programming; petri net; programming; verification; C; Theory of Computation; Computer System Implementation; Software Engineering; Computer Science Logic and Foundations of Programming; Compilers and Interpreters; Computer Science; Systemanalyse und -design; Software Engineering; Compiler und Übersetzer; BC

Retracing some paths in process algebra.- Process calculus based upon evaluation to committed form.- A process algebra with distributed priorities.- Symbolic transition graph with assignment.- Models for concurrent constraint programming.- Comparing transition systems with independence and asynchronous transition systems.- A presheaf semantics of value-passing processes.- Elementary control structures.- On transformations of concurrent object programs.- On bisimulations for the asynchronous ?-calculus.- On the expressiveness of internal mobility in name-passing calculi.- Decoding choice encodings.- Infinite results.- Decidability of bisimulation equivalence for normed pushdown processes.- The modal mu-calculus alternation hierarchy is strict.- Bisimulation collapse and the process taxonomy.- On the expressive completeness of the propositional mu-calculus with respect to monadic second order logic.- A Facile tutorial.- Testing probabilistic automata.- Extended Markovian Process Algebra.- Rewriting logic as a semantic framework for concurrency: a progress report.- Truly concurrent constraint programming.- Constraints as processes.- A calculus of mobile agents.- Algebraic interpretation of lambda calculus with resources.- Concurrent graph and term graph rewriting.- Petri boxes and finite precedence.- Constrained properties, semilinear systems, and Petri nets.- Linear constraint systems as high-level nets.- A space-efficient on-the-fly algorithm for real-time model checking.- State equivalences for rectangular hybrid automata.- Verifying abstractions of timed systems.- Towards automatic temporal logic verification of value passing process algebra using abstract interpretation.- Modelling and verification of Distributed Algorithms.- An algorithmic approach for checkingclosure properties of ?-regular languages.- Towards automata for branching time and partial order.- Asynchronous cellular automata for pomsets without auto-concurrency.- Action refinement and property inheritance in systems of sequential agents.- A calculus for concurrent objects.- Refinement in Interworkings.- Equivalences of Statecharts.- Modular verification for shared-variable concurrent programs.- The impact of hardware models on shared memory consistency conditions.- Synchronous development of asynchronous systems.
< zum Archiv...