CONCUR '91
2nd International Conference on Concurrency Theory, Amsterdam, The Netherlands, August 26-29, 1991. Proceedings
CONCUR'91 is the second international conference onconcurrency theory, organized in association with the NFIproject Transfer. It is a sequel to the CONCUR'90conference. Its basic aim is to communicate ongoing work inconcurrency theory. This proceedings volume contains 30papers selected for presentation at the conference (from 71submitted) together with four invited papers and abstractsof the other invited papers. The papers are organized intosections on process algebras, logics and model checking,applications and specification languages, models and nettheory, design and real-time, tools and probabilitie…
Mehr
CHF 136.00
Preise inkl. MwSt. und Versandkosten (Portofrei ab CHF 40.00)
V103:
Folgt in ca. 5 Arbeitstagen
Produktdetails
Weitere Autoren: Groote, Jan F. (Hrsg.)
- ISBN: 978-3-540-54430-2
- EAN: 9783540544302
- Produktnummer: 3263783
- Verlag: Springer Berlin Heidelberg
- Sprache: Englisch
- Erscheinungsjahr: 1991
- Seitenangabe: 560 S.
- Masse: H23.5 cm x B15.5 cm x D2.9 cm 838 g
- Auflage: 1991
- Abbildungen: Paperback
- Gewicht: 838
6 weitere Werke von Jos C. M. (Hrsg.) Baeten:
Bewertungen
Anmelden