A Decade of Concurrency: Reflections and Perspectives. REX School/Symposium Noordwijkerhout, The Netherlands, June 1 - 4, 1993. Proceedings: 803 - Brossura
Sinossi
The REX School/Symposium "A Decade of Concurrency - Reflections and Perspectives" was the final event of a ten-year period of cooperation between three Dutch research groups working on the foundations of concurrency.
Ever since its inception in 1983, the goal of the project has been to contribute to the cross-fertilization between formal methods from the fields of syntax, semantics, and proof theory, aimed at an improved understanding of the nature of parallel computing. The material presented in this volume was prepared by the lecturers (and their coauthors) after the meeting took place.
In total, the volume constitutes a thorough state-of-the-art report of the research activities in concurrency.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Contenuti
Data-flow synchronous languages.- Process algebra with backtracking.- Some Chemical Abstract Machines.- Verification tools for finite-state concurrent systems.- Linear logic on Petri nets.- An introduction to the theoretical aspects of Coloured Petri Nets.- Temporal verification of simulation and refinement.- Verification and specification of concurrent programs.- Simulation techniques for proving properties of real-time systems.- Relationships between models of concurrency.- Interaction diagrams.- Algebraic theories for name-passing calculi.- Initial algebra and final coalgebra semantics for concurrency.- Logical specifications of infinite computations.- Partial order based design of concurrent systems.
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
Altre edizioni note dello stesso titolo
Risultati della ricerca per A Decade of Concurrency: Reflections and Perspectives....
Foto dell'editore
A Decade of Concurrency: Reflections and Perspectives. Reflections and Perspectives. REX School/Symposium Noordwijkerhout, The Netherlands, June 1 - 4, 1993. Proceedings.
Editore:
Berlin/ Heidelberg, Springer Berlin., 1994
ISBN 10: 3540580433
ISBN 13: 9783540580430
Antico o usato
Brossura
Da: Universitätsbuchhandlung Herta Hold GmbH, Berlin, Germania
Valutazione del venditore 4 su 5 stelle
1994. 16 x 24 cm. VIII, 692 S. VIII, 692 p. Softcover. Versand aus Deutschland / We dispatch from Germany via Air Mail. Einband bestoßen, daher Mängelexemplar gestempelt, sonst sehr guter Zustand. Imperfect copy due to slightly bumped cover, apart from this in very good condition. Stamped. (Lecture Notes in Computer Science). Sprache: Englisch. Codice articolo 222ZB
Compra usato
EUR 19,00
Spedizione EUR 30,00
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
Quantità: 1 disponibili
Foto dell'editore
A Decade of Concurrency : Reflections and Perspectives - REX School/Symposium Noordwijkerhout, the Netherlands, June 1 - 4, 1993 - Proceedings
Editore:
Springer Berlin / Heidelberg, 1994
ISBN 10: 3540580433
ISBN 13: 9783540580430
Antico o usato
Brossura
Da: Better World Books, Mishawaka, IN, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: Very Good. Former library copy. Pages intact with possible writing/highlighting. Binding strong with minor wear. Dust jackets/supplements may not be included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good. Codice articolo 56619173-6
Compra usato
EUR 81,60
Spedizione gratuita
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: 1 disponibili
Immagini fornite dal venditore
Decade of Concurrency : Reflections and Perspectives. Rex School/Symposium Noordwijkerhout, the Netherlands, June 1 - 4, 1993. Proceedings
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: As New. Unread book in perfect condition. Codice articolo 5905832
Compra usato
EUR 122,89
Spedizione EUR 2,27
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: Più di 20 disponibili
Foto dell'editore
A Decade of Concurrency: Reflections and Perspectives: Reflections and Perspectives. REX School/Symposium Noordwijkerhout, The Netherlands, June 1 - ... (Lecture Notes in Computer Science, 803)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. In. Codice articolo ria9783540580430_new
Compra nuovo
EUR 115,35
Spedizione EUR 13,85
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: Più di 20 disponibili
Foto dell'editore
Decade of Concurrency : Reflections and Perspectives. Rex School/Symposium Noordwijkerhout, the Netherlands, June 1 - 4, 1993. Proceedings
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo 5905832-n
Compra nuovo
EUR 115,33
Spedizione EUR 17,34
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: Più di 20 disponibili
Foto dell'editore
Decade of Concurrency : Reflections and Perspectives. Rex School/Symposium Noordwijkerhout, the Netherlands, June 1 - 4, 1993. Proceedings
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo 5905832-n
Compra nuovo
EUR 130,71
Spedizione EUR 2,27
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
A Decade of Concurrency
Print on DemandDa: moluna, Greven, Germania
Valutazione del venditore 5 su 5 stelle
Condizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. The REX School/Symposium A Decade of Concurrency - Reflections and Perspectives was the final event of a ten-year period of cooperation between three Dutch research groups working on the foundations of concurrency. Ever since its inception in 1983, th. Codice articolo 4894549
Compra nuovo
EUR 92,27
Spedizione EUR 48,99
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Decade of Concurrency : Reflections and Perspectives. Rex School/Symposium Noordwijkerhout, the Netherlands, June 1 - 4, 1993. Proceedings
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: As New. Unread book in perfect condition. Codice articolo 5905832
Compra usato
EUR 128,64
Spedizione EUR 17,34
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
A Decade of Concurrency: Reflections and Perspectives
Editore:
Springer Berlin Heidelberg Jun 1994, 1994
ISBN 10: 3540580433
ISBN 13: 9783540580430
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 -The REX School/Symposium 'A Decade of Concurrency - Reflections and Perspectives' was the final event of a ten-year period of cooperation between three Dutch research groups working on the foundations of concurrency. Ever since its inception in 1983, the goal of the project has been to contribute to the cross-fertilization between formal methods from the fields of syntax, semantics, and proof theory, aimed at an improved understanding of the nature of parallel computing. The material presented in this volume was prepared by the lecturers (and their coauthors) after the meeting took place. In total, the volume constitutes a thorough state-of-the-art report of the research activities in concurrency. 700 pp. Englisch. Codice articolo 9783540580430
Compra nuovo
EUR 128,39
Spedizione EUR 23,00
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
Quantità: 2 disponibili
Immagini fornite dal venditore
A Decade of Concurrency: Reflections and Perspectives
Editore:
Springer-Verlag Berlin and Heidelberg GmbH and Co. KG, DE, 1994
ISBN 10: 3540580433
ISBN 13: 9783540580430
Nuovo
Paperback
Da: Rarewaves.com USA, London, LONDO, Regno Unito
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: New. 1994 ed. The REX School/Symposium "A Decade of Concurrency - Reflections and Perspectives" was the final event of a ten-year period of cooperation between three Dutch research groups working on the foundations of concurrency. Ever since its inception in 1983, the goal of the project has been to contribute to the cross-fertilization between formal methods from the fields of syntax, semantics, and proof theory, aimed at an improved understanding of the nature of parallel computing. The material presented in this volume was prepared by the lecturers (and their coauthors) after the meeting took place. In total, the volume constitutes a thorough state-of-the-art report of the research activities in concurrency. Codice articolo LU-9783540580430
Compra nuovo
EUR 151,74
Spedizione gratuita
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: Più di 20 disponibili