CONCUR '91
2nd International Conference on Concurrency Theory, Amsterdam, The Netherlands, August 26-29, 1991. Proceedings
Produktform: E-Buch Text Elektronisches Buch in proprietärem
CONCUR'91 is the second international conference on
concurrency theory, organized in association with the NFI
project Transfer. It is a sequel to the CONCUR'90
conference. Its basic aim is to communicate ongoing work in
concurrency theory. This proceedings volume contains 30
papers selected for presentation at the conference (from 71
submitted) together with four invited papers and abstracts
of the other invited papers. The papers are organized into
sections on process algebras, logics and model checking,
applications and specification languages, models and net
theory, design and real-time, tools and probabilities, and
programming languages. The proceedings of CONCUR'90 are
available asVolume 458 of Lecture Notes in Computer
Science.weiterlesen
Dieser Artikel gehört zu den folgenden Serien
53,49 € inkl. MwSt.
Recommended Retail Price
kostenloser Versand
sofort lieferbar - Lieferzeit 1-3 Werktage
zurück