Concur '97 : Concurrency Theory : 8th International Conference, Warsaw, Poland July 1-4, 1997 : Proceedings
Mazurkiewicz, Antoni (EDT)
ISBN 10: 3540631410 ISBN 13: 9783540631415
Editore: Springer, 1997
Usato
Brossura
Da
GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Venditore AbeBooks dal 6 aprile 2009
Questo articolo specifico non è più disponibile.
Riguardo questo articolo
Descrizione:
Unread book in perfect condition. Codice articolo 5905557
Riassunto:
This book constitutes the refereed proceedings of the 8th International Conference on Concurrency Theory, CONCUR'97. held in Warsaw, Poland, in July 1997.
The 24 revised full papers presented were selected by the program committee for inclusion in the volume from a total of 41 high-quality submissions. The volume covers all current topics in the science of concurrency theory and its applications, such as reactive systems, hybrid systems, model checking, partial orders, state charts, program logic calculi, infinite state systems, verification, and others.
Contenuti: Recent developments in the mathematics of reactive systems (extended abstract).- Partial-order reduction in the weak modal mu-calculus.- Cyclic vector languages.- A product version of dynamic linear time temporal logic.- Reasoning about cryptographic protocols in the spi calculus.- Modularity for timed and hybrid systems.- A universal reactive machine.- Bounded stacks, bags and queues.- Adding partial orders to linear temporal logic.- Reachability analysis of pushdown automata: Application to model-checking.- Synthesis of nets with inhibitor arcs.- An algebraic theory of multiple clocks.- Horizontal and vertical structuring techniques for statecharts.- Implicit typing à la ML for the join-calculus.- Proving safety properties of infinite state systems by compilation into Presburger arithmetic.- Axiomatizing flat iteration.- Probabilistic concurrent constraint programming.- On the complexity of verifying concurrent transition systems.- Fair simulation.- High level expressions with their SOS semantics.- How to Parallelize sequential processes.- Causal ambiguity and partial orders in event structures.- Model checking PA-processes.- Bisimulation and propositional intuitionistic logic.- A rigorous analysis of concurrent operations on B-trees.- First-order axioms for asynchrony.- On implementations and semantics of a concurrent programming language.- Algebraic characterization of petri net pomset semantics.
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
Dati bibliografici
Titolo: Concur '97 : Concurrency Theory : 8th ...
Casa editrice: Springer
Data di pubblicazione: 1997
Legatura: Brossura
Condizione: As New
I migliori risultati di ricerca su AbeBooks
Foto dell'editore
Concur '97: Concurrency Theory : 8th International Conference, Warsaw, Poland July 1-4, 1997 : Proceedings
Editore:
Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 1997
ISBN 10: 3540631410
ISBN 13: 9783540631415
Antico o usato
Softcover
Da: Ammareal, Morangis, Francia
Valutazione del venditore 5 su 5 stelle
Softcover. Condizione: Bon. Ancien livre de bibliothèque. Traces d'usure sur la couverture. Edition 1997. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Good. Former library book. Signs of wear on the cover. Edition 1997. Ammareal gives back up to 15% of this item's net price to charity organizations. Codice articolo D-568-460
Quantità: 1 disponibili
Foto dell'editore
CONCUR '97: Concurrency Theory. Lecture Notes in Computer Science, 1243
Da: Zubal-Books, Since 1961, Cleveland, OH, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: Good. 420 pp., softcover, ex library, else text clean & binding tight. - If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country. Codice articolo ZB378253
Quantità: 1 disponibili
Foto dell'editore
CONCUR'97: Concurrency Theory: 8th International Conference, Warsaw, Poland, July 1-4, 1997, Proceedings (Lecture Notes in Computer Science)
Da: GuthrieBooks, Spring Branch, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: Very Good. We are unable to ship to Canada at this time.Ex-library paperback in very nice condition with the usual markings and attachments. Text block clean and unmarked. Tight binding. Codice articolo UTD14a-1866
Quantità: 1 disponibili
Immagini fornite dal venditore
CONCUR 97: Concurrency Theory
Print on DemandDa: moluna, Greven, Germania
Valutazione del venditore 4 su 5 stelle
Condizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This book constitutes the refereed proceedings of the 8th International Conference on Concurrency Theory, CONCUR 97. held in Warsaw, Poland, in July 1997.The 24 revised full papers presented were selected by the program committee for inclusion in the vo. Codice articolo 4896208
Quantità: Più di 20 disponibili
Foto dell'editore
CONCUR'97: Concurrency Theory: 8th International Conference, Warsaw, Poland, July 1-4, 1997, Proceedings (Lecture Notes in Computer Science, 1243)
Da: Lucky's Textbooks, Dallas, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo ABLIING23Mar3113020172850
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
CONCUR'97: Concurrency Theory : 8th International Conference, Warsaw, Poland, July 1-4, 1997, Proceedings
Editore:
Springer Berlin Heidelberg, 1997
ISBN 10: 3540631410
ISBN 13: 9783540631415
Nuovo
Taschenbuch
Da: AHA-BUCH GmbH, Einbeck, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 8th International Conference on Concurrency Theory, CONCUR'97. held in Warsaw, Poland, in July 1997.The 24 revised full papers presented were selected by the program committee for inclusion in the volume from a total of 41 high-quality submissions. The volume covers all current topics in the science of concurrency theory and its applications, such as reactive systems, hybrid systems, model checking, partial orders, state charts, program logic calculi, infinite state systems, verification, and others. Codice articolo 9783540631415
Quantità: 1 disponibili
Immagini fornite dal venditore
CONCUR'97: Concurrency Theory
ISBN 10: 3540631410
ISBN 13: 9783540631415
Nuovo
Taschenbuch
Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -This book constitutes the refereed proceedings of the 8th International Conference on Concurrency Theory, CONCUR'97. held in Warsaw, Poland, in July 1997.The 24 revised full papers presented were selected by the program committee for inclusion in the volume from a total of 41 high-quality submissions. The volume covers all current topics in the science of concurrency theory and its applications, such as reactive systems, hybrid systems, model checking, partial orders, state charts, program logic calculi, infinite state systems, verification, and others.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 436 pp. Englisch. Codice articolo 9783540631415
Quantità: 1 disponibili
Immagini fornite dal venditore
CONCUR'97: Concurrency Theory
ISBN 10: 3540631410
ISBN 13: 9783540631415
Nuovo
Taschenbuch
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the 8th International Conference on Concurrency Theory, CONCUR'97. held in Warsaw, Poland, in July 1997.The 24 revised full papers presented were selected by the program committee for inclusion in the volume from a total of 41 high-quality submissions. The volume covers all current topics in the science of concurrency theory and its applications, such as reactive systems, hybrid systems, model checking, partial orders, state charts, program logic calculi, infinite state systems, verification, and others. 436 pp. Englisch. Codice articolo 9783540631415
Quantità: 2 disponibili
Foto dell'editore
CONCUR'97: Concurrency Theory (Paperback)
Editore:
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin, 1997
ISBN 10: 3540631410
ISBN 13: 9783540631415
Nuovo
Paperback
Da: Grand Eagle Retail, Bensenville, IL, U.S.A.
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: new. Paperback. This book constitutes the refereed proceedings of the 8th International Conference on Concurrency Theory, CONCUR'97. held in Warsaw, Poland, in July 1997.The 24 revised full papers presented were selected by the program committee for inclusion in the volume from a total of 41 high-quality submissions. The volume covers all current topics in the science of concurrency theory and its applications, such as reactive systems, hybrid systems, model checking, partial orders, state charts, program logic calculi, infinite state systems, verification, and others. The volume covers all current topics in the science of concurrency theory and its applications, such as reactive systems, hybrid systems, model checking, partial orders, state charts, program logic calculi, infinite state systems, verification, and others. Shipping may be from multiple locations in the US or from the UK, depending on stock availability. Codice articolo 9783540631415
Quantità: 1 disponibili
Foto dell'editore
CONCUR'97: Concurrency Theory : 8th International Conference, Warsaw, Poland, July 1-4, 1997, Proceedings
Da: Chiron Media, Wallingford, Regno Unito
Valutazione del venditore 4 su 5 stelle
PF. Condizione: New. Codice articolo 6666-IUK-9783540631415
Quantità: 10 disponibili