Semantics of Systems of Concurrent Processes: LITP Spring School on Theoretical Computer Science, La Roche Posay, France, April 23–27, 1990 Proceedings: 469 (Lecture Notes in Computer Science) - Tapa blanda
Sinopsis
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.
"Sinopsis" puede pertenecer a otra edición de este libro.
Reseña del editor
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.
"Sobre este título" puede pertenecer a otra edición de este libro.
Otras ediciones populares con el mismo título
Resultados de la búsqueda para Semantics of Systems of Concurrent Processes: LITP...
Imagen del vendedor
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
Publicado por
Berlin , Heidelberg , New York , London , Paris , Tokyo , Hong Kong , Barcelona : Springer, 1990
ISBN 10: 3540534792
ISBN 13: 9783540534792
Antiguo o usado
kart.
Librería: NEPO UG, Rüsselsheim am Main, Alemania
Calificación del vendedor: 5 de 5 estrellas
kart. Condición: 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. Nº de ref. del artículo: 183435
Comprar usado
EUR 18,83
Envío por EUR 24,00
Se envía de Alemania a Estados Unidos de America
Se envía de Alemania a Estados Unidos de America
Cantidad disponible: 1 disponibles
Imagen de archivo
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)
Librería: GuthrieBooks, Spring Branch, TX, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Paperback. Condición: Very Good. 0387534792 Ex-library paperback in very nice condition with the usual markings and attachments. Nº de ref. del artículo: DA1411432
Comprar usado
EUR 38,96
Envío por EUR 5,84
Se envía dentro de Estados Unidos de America
Se envía dentro de Estados Unidos de America
Cantidad disponible: 1 disponibles
Imagen de archivo
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)
Librería: Lucky's Textbooks, Dallas, TX, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Nº de ref. del artículo: ABLIING23Mar3113020169644
Comprar nuevo
EUR 51,65
Envío por EUR 3,33
Se envía dentro de Estados Unidos de America
Se envía dentro de Estados Unidos de America
Cantidad disponible: Más de 20 disponibles
Imagen del vendedor
Semantics of Systems of Concurrent Processes : Litp Spring School on Theoretical Computer Science, La Roche Posay, France, April 23?27, 1990 Proceedings
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Nº de ref. del artículo: 21868489-n
Comprar nuevo
EUR 52,78
Envío por EUR 2,21
Se envía dentro de Estados Unidos de America
Se envía dentro de Estados Unidos de America
Cantidad disponible: 15 disponibles
Imagen de archivo
Semantics of Systems of Concurrent Processes (Paperback)
Publicado por
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin, 1990
ISBN 10: 3540534792
ISBN 13: 9783540534792
Nuevo
Paperback
Librería: Grand Eagle Retail, Bensenville, IL, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Paperback. Condición: 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. Nº de ref. del artículo: 9783540534792
Comprar nuevo
EUR 55,05
Gastos de envío gratis
Se envía dentro de Estados Unidos de America
Se envía dentro de Estados Unidos de America
Cantidad disponible: 1 disponibles
Imagen del vendedor
Semantics of Systems of Concurrent Processes : Litp Spring School on Theoretical Computer Science, La Roche Posay, France, April 23?27, 1990 Proceedings
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: As New. Unread book in perfect condition. Nº de ref. del artículo: 21868489
Comprar usado
EUR 59,90
Envío por EUR 2,21
Se envía dentro de Estados Unidos de America
Se envía dentro de Estados Unidos de America
Cantidad disponible: 15 disponibles
Imagen de archivo
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)
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: New. In. Nº de ref. del artículo: ria9783540534792_new
Comprar nuevo
EUR 58,97
Envío por EUR 13,82
Se envía de Reino Unido a Estados Unidos de America
Se envía de Reino Unido a Estados Unidos de America
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
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)
Librería: Chiron Media, Wallingford, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Paperback. Condición: New. Nº de ref. del artículo: 6666-IUK-9783540534792
Comprar nuevo
EUR 56,88
Envío por EUR 17,87
Se envía de Reino Unido a Estados Unidos de America
Se envía de Reino Unido a Estados Unidos de America
Cantidad disponible: 10 disponibles
Imagen del vendedor
Semantics of Systems of Concurrent Processes:
Publicado por
Springer Berlin Heidelberg, 1990
ISBN 10: 3540534792
ISBN 13: 9783540534792
Antiguo o usado
Taschenbuch
Librería: NEPO UG, Rüsselsheim am Main, Alemania
Calificación del vendedor: 5 de 5 estrellas
Taschenbuch. Condición: Gut. 456 Seiten ex Library Book aus einer wissenschaftlichen Bibliothek Sprache: Englisch Gewicht in Gramm: 969. Nº de ref. del artículo: 269435
Comprar usado
EUR 58,42
Envío por EUR 24,00
Se envía de Alemania a Estados Unidos de America
Se envía de Alemania a Estados Unidos de America
Cantidad disponible: 1 disponibles
Imagen de archivo
Semantics of Systems of Concurrent Processes
Librería: Books Puddle, New York, NY, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
Condición: New. pp. 468. Nº de ref. del artículo: 2697559474
Comprar nuevo
EUR 89,32
Envío por EUR 3,33
Se envía dentro de Estados Unidos de America
Se envía dentro de Estados Unidos de America
Cantidad disponible: 1 disponibles