Lecture Notes in Computer Science

Name: Lecture Notes in Computer Science
Brand: Springer
SKU: 9783540534792
Price: 19305 HUF
Availability: InStock

LITP Spring School on Theoretical Computer Science, La Roche Posay, France, April 23–27, 1990 Proceedings

Szerző: Irene Guessarian

Nyelv:

Kötés: Puha kötésű

Kiadó: Springer

Elérhetőség: Beszállítói készleten

Küldés 5-8 napon belül

19 305 Ft

This volume contains the proceedings of the 1990 Spring School of Theoretical Computer Science, devo...

Információk a könyvről

Szerző

Irene Guessarian

Nyelv

Angol

Kötés

Könyv - Puha kötésű

Kiadva

1990

oldal

457

EAN

9783540534792

ISBN

3540534792

Enbook ID

03618796

Kiadó

Springer

Súly

840

Méretek

170 x 244 x 25

Teljes leírás

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.

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Lecture Notes in Computer Science

LITP Spring School on Theoretical Computer Science, La Roche Posay, France, April 23–27, 1990 Proceedings

Információk a könyvről

Teljes leírás

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták