CONCUR '95 Concurrency Theory
6th International Conference, Philadelphia, PA, USA, August 21 - 24, 1995. Proceedings
Mitarbeit:Lee, Insup; Smolka, Scott A.
CONCUR '95 Concurrency Theory
6th International Conference, Philadelphia, PA, USA, August 21 - 24, 1995. Proceedings
Mitarbeit:Lee, Insup; Smolka, Scott A.
- Broschiertes Buch
- Merkliste
- Auf die Merkliste
- Bewerten Bewerten
- Teilen
- Produkt teilen
- Produkterinnerung
- Produkterinnerung
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,…mehr
- JonssonCONCUR '94: Concurrency Theory40,99 €
- Kim G. Larsen / Mogens Nielsen (eds.)CONCUR 2001 - Concurrency Theory40,99 €
- SangiorgiCONCUR '98 Concurrency Theory77,99 €
- MazurkiewiczCONCUR'97: Concurrency Theory39,99 €
- MontanariCONCUR '96: Concurrency Theory79,99 €
- Philippa Gardner / Nobuko Yoshida (eds.)CONCUR 2004 -- Concurrency Theory40,99 €
- BjornerFormal Methods in Programming and Their Applications40,99 €
-
-
-
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.
- Produktdetails
- Lecture Notes in Computer Science 962
- Verlag: Springer / Springer Berlin Heidelberg / Springer, Berlin
- Artikelnr. des Verlages: 978-3-540-60218-7
- 1995.
- Seitenzahl: 564
- Erscheinungstermin: 9. September 1995
- Englisch
- Abmessung: 235mm x 155mm x 31mm
- Gewicht: 722g
- ISBN-13: 9783540602187
- ISBN-10: 3540602186
- Artikelnr.: 09239642
- Lecture Notes in Computer Science 962
- Verlag: Springer / Springer Berlin Heidelberg / Springer, Berlin
- Artikelnr. des Verlages: 978-3-540-60218-7
- 1995.
- Seitenzahl: 564
- Erscheinungstermin: 9. September 1995
- Englisch
- Abmessung: 235mm x 155mm x 31mm
- Gewicht: 722g
- ISBN-13: 9783540602187
- ISBN-10: 3540602186
- Artikelnr.: 09239642