Semantics of Systems of Concurrent Processes Litp Spring School on Theoretical Computer Science, Laroche Posay, France, April 23-27, 1990) (Lecture Notes in Computer Science)

Valutazione media 0
( su 0 valutazioni fornite da Goodreads )
 
9780387534794: Semantics of Systems of Concurrent Processes Litp Spring School on Theoretical Computer Science, Laroche Posay, France, April 23-27, 1990) (Lecture Notes in Computer Science)

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.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

I migliori risultati di ricerca su AbeBooks

1.

Guessarian, I. [Editor]
Editore: Springer-Verlag (1991)
ISBN 10: 0387534792 ISBN 13: 9780387534794
Usato Paperback Quantità: 1
Da
GuthrieBooks
(Spring Branch, TX, U.S.A.)
Valutazione libreria
[?]

Descrizione libro Springer-Verlag, 1991. Paperback. Condizione libro: Used: Very Good. 3540534792 Ex-library paperback in very nice condition with the usual markings and attachments. Codice libro della libreria DA1411433

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra usato
EUR 7,80
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 3,43
In U.S.A.
Destinazione, tempi e costi

2.

Guessarian, I. (ed.)
Editore: Springer-Verlag, Berlin (1991)
ISBN 10: 0387534792 ISBN 13: 9780387534794
Usato paperback Quantità: 1
Da
PsychoBabel & Skoob Books
(Didcot, OXON, Regno Unito)
Valutazione libreria
[?]

Descrizione libro Springer-Verlag, Berlin, 1991. paperback. Condizione libro: Very Good. Condizione sovraccoperta: No Dust Jacket. Lecture Notes in Computer Science 469; Ex-Library. Previous owner's sticker on the front cover. Ink stamp and small pen inscription on title page; library catalogue sticker on colophon. Faintly bumped spine head and rubbed corners. Foot of page block slightly grubby and marked due to age. Sound, clean book with tight binding. ADG. Ex-Library. Codice libro della libreria 094556

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra usato
EUR 8,14
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 5,59
Da: Regno Unito a: U.S.A.
Destinazione, tempi e costi

3.

ISBN 10: 0387534792 ISBN 13: 9780387534794
Usato Quantità: 1
Da
Castle Rock
(Pittsford, NY, U.S.A.)
Valutazione libreria
[?]

Descrizione libro Condizione libro: Very Good. Book Condition: Very Good. Codice libro della libreria 97803875347943.0

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra usato
EUR 20,80
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 3,43
In U.S.A.
Destinazione, tempi e costi