Semantics of Systems of Concurrent Processes: LITP Spring School on Theoretical Computer Science, La Roche Posay, France, April 23–27, 1990 Proceedings: 469 - Brossura
Sinossi
This volume is the proceedings of a 1990 Spring School devoted to the semantics of concurrency. Surveys and tutorials introduce the subject to novices and students and give updates of the state of the art, and research papers present recent achievements in the field.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Contenuti
Processes as data types: Observational semantics and logic.- Metric pomset semantics for a concurrent language with recursion.- Fault-tolerant naming and mutual exclusion.- Flow event structures and flow nets.- Three equivalent semantics for CCS.- Towards a semantic approach to SIMD architectures and their languages.- Concerning the size of clocks.- Transition systems with algebraic structure as models of computations.- Concurrency and computability.- Causal trees interleaving + causality.- Partially commutative formal power series.- Infinite traces.- Equivalences and refinement.- CCS and petri nets.- About fixpoints for concurrency.- Observers, experiments, and agents: A comprehensive approach to parallelism.- Action versus state based logics for transition systems.- Approaching fair computations by ultra metrics.- On distributed languages and models for distributed computation.
Product Description
Hard to Find book
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 Semantics of Systems of Concurrent Processes: LITP...
Immagini fornite dal venditore
Semantics of systems of concurrent processes : proceedings. LITP Spring School on Theoretical Computer Science, La Roche Posay, France, April 23 - 27, 1990. I. Guessarian (ed.), Lecture notes in computer science
Editore:
Berlin , Heidelberg , New York , London , Paris , Tokyo , Hong Kong , Barcelona : Springer, 1990
ISBN 10: 3540534792
ISBN 13: 9783540534792
Antico o usato
kart.
Da: NEPO UG, Rüsselsheim am Main, Germania
Valutazione del venditore 5 su 5 stelle
kart. Condizione: Gut. IV, 456 S. : graph. Darst. , 25 cm Sofort verfügbar Versand spätestens am nächsten Arbeitstag Rechnung mit ausgewiesener MwSt. liegt bei daily shipping worldwide with invoice ex library in good condition aus Bibliothek in guten Zustand, Literaturangaben. - Später zeitschr.-artige Reihe mit Stücktiteln. - Später auch angezeigt u.d.T.: Laboratoire d'Informatique Théorique et Programmation : . Spring school Sprache: Englisch Gewicht in Gramm: 550. Codice articolo 183435
Compra usato
EUR 18,83
Spedizione EUR 24,00
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
Quantità: 1 disponibili
Foto dell'editore
Semantics of Systems of Concurrent Processes: LITP Spring School on Theoretical Computer Science, La Roche Posay, France, April 23-27, 1990 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. 0387534792 Ex-library paperback in very nice condition with the usual markings and attachments. Codice articolo DA1411432
Compra usato
EUR 39,32
Spedizione EUR 5,90
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: 1 disponibili
Immagini fornite dal venditore
Semantics of Systems of Concurrent Processes : Litp Spring School on Theoretical Computer Science, La Roche Posay, France, April 23?27, 1990 Proceedings
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo 21868489-n
Compra nuovo
EUR 53,24
Spedizione EUR 2,23
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: 15 disponibili
Foto dell'editore
Semantics of Systems of Concurrent Processes: LITP Spring School on Theoretical Computer Science, La Roche Posay, France, April 23-27, 1990 Proceedings (Lecture Notes in Computer Science)
Da: Lucky's Textbooks, Dallas, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo ABLIING23Mar3113020169644
Compra nuovo
EUR 52,12
Spedizione EUR 3,37
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: Più di 20 disponibili
Foto dell'editore
Semantics of Systems of Concurrent Processes (Paperback)
Editore:
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin, 1990
ISBN 10: 3540534792
ISBN 13: 9783540534792
Nuovo
Paperback
Da: Grand Eagle Retail, Bensenville, IL, U.S.A.
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: new. Paperback. This volume contains the proceedings of the 1990 Spring School of Theoretical Computer Science, devoted to the semantics of concurrency. The papers are of two kinds: - surveys and tutorials introducing the subject to novices and students and giving updates of the state of the art, - research papers presenting recent achievements in the semantics of concurrency. The contributions explicate the connections, similarities and differences between various approaches to the semantics of concurrency, such as pomsets and metric semantics, event structures, synchronization trees, fixpoints and languages, traces, CCS and Petri nets, and categorical models. They also cover and compare the various notions of observation and bisimulation equivalences, logics for concurrency, and applications to dis- tributed systems. This volume contains the proceedings of the 1990 Spring School of Theoretical Computer Science, devoted to the semantics of concurrency. Shipping may be from multiple locations in the US or from the UK, depending on stock availability. Codice articolo 9783540534792
Compra nuovo
EUR 55,54
Spedizione gratuita
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: 1 disponibili
Immagini fornite dal venditore
Semantics of Systems of Concurrent Processes : Litp Spring School on Theoretical Computer Science, La Roche Posay, France, April 23?27, 1990 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 21868489
Compra usato
EUR 60,46
Spedizione EUR 2,23
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: 15 disponibili
Foto dell'editore
Semantics of Systems of Concurrent Processes: LITP Spring School on Theoretical Computer Science, La Roche Posay, France, April 23-27, 1990 Proceedings (Lecture Notes in Computer Science)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. In. Codice articolo ria9783540534792_new
Compra nuovo
EUR 59,01
Spedizione EUR 13,83
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: Più di 20 disponibili
Foto dell'editore
Semantics of Systems of Concurrent Processes: Litp Spring School on Theoretical Computer Science, La Roche Posay, France, April 23 27, 1990 . (Lecture Notes in Computer Science)
Da: Chiron Media, Wallingford, Regno Unito
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: New. Codice articolo 6666-IUK-9783540534792
Compra nuovo
EUR 56,92
Spedizione EUR 17,88
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: 10 disponibili
Immagini fornite dal venditore
Semantics of Systems of Concurrent Processes:
Editore:
Springer Berlin Heidelberg, 1990
ISBN 10: 3540534792
ISBN 13: 9783540534792
Antico o usato
Taschenbuch
Da: NEPO UG, Rüsselsheim am Main, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: Gut. 456 Seiten ex Library Book aus einer wissenschaftlichen Bibliothek Sprache: Englisch Gewicht in Gramm: 969. Codice articolo 269435
Compra usato
EUR 58,42
Spedizione EUR 24,00
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
Quantità: 1 disponibili
Foto dell'editore
Semantics of Systems of Concurrent Processes
Da: Books Puddle, New York, NY, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: New. pp. 468. Codice articolo 2697559474
Compra nuovo
EUR 90,14
Spedizione EUR 3,37
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: 1 disponibili