CONCUR '95 Concurrency Theory

Name: CONCUR '95 Concurrency Theory
Brand: Springer, Berlin
SKU: 9783540602187
Price: 276.42 RON
Availability: InStock

6th International Conference, Philadelphia, PA, USA, August 21-24,1995. Proceedings

Autor: Scott Smolka

Limbă:

Legare: Carte broșată

Editura: Springer, Berlin

Disponibilitate: În depozitul extern

Expediem în 5-8 zile

276.42 lei

This book constitutes the proceedings of the 6th International Conference on Concurrency Theory, CON...

Informații despre carte

Autor

Scott Smolka

Limbă

engleză

Legare

Carte - Carte broșată

Publicat

1995

Pagini

553

EAN

9783540602187

ISBN

3540602186

Enbook ID

05274490

Editura

Springer, Berlin

Greutate

722

Dimensiuni

216 x 279 x 29

Descriere completă

This book constitutes the proceedings of the 6th International Conference on Concurrency Theory, CONCUR '95, held in Philadelphia, Pennsylvania in August 1995.The volume presents seven invited contributions by outstanding researchers and 33 refereed full research papers selected by the program committee out of a total of 91 submissions. The collection of articles gives a representative overview on what happened in this area of research, since the last CONCUR conference took place. There are sections on model checking, mobile processes, process theory, true concurrency, process algebra, probabilistic automata, real-time systems, testing semantics, decidability results, refinement theory, and linear-time logics.

S-ar putea să te intereseze

Clienții care au cumpărat această carte au mai cumpărat și

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

CONCUR '95 Concurrency Theory

6th International Conference, Philadelphia, PA, USA, August 21-24,1995. Proceedings

Informații despre carte

Descriere completă

S-ar putea să te intereseze

Clienții care au cumpărat această carte au mai cumpărat și