Tell your friends about this item:
Semantics for Concurrency: Proceedings of the International BCS-FACS Workshop, Sponsored by Logic for IT (S.E.R.C.), 23-25 July 1990, University of Leicester, UK - Workshops in Computing Marta Z Kwiatkowska Edition. Ed. edition
Semantics for Concurrency: Proceedings of the International BCS-FACS Workshop, Sponsored by Logic for IT (S.E.R.C.), 23-25 July 1990, University of Leicester, UK - Workshops in Computing
Marta Z Kwiatkowska
The semantics of concurrent systems is one of the most vigorous areas of research in theoretical computer science, but suffers from disagree ment due to different, and often incompatible, attitudes towards abstracting non-sequential behaviour.
346 pages, 1 black & white illustrations, biography
| Media | Books Paperback Book (Book with soft cover and glued back) |
| Released | July 23, 1990 |
| ISBN13 | 9783540196259 |
| Publishers | Springer-Verlag Berlin and Heidelberg Gm |
| Pages | 346 |
| Dimensions | 170 × 240 × 19 mm · 566 g |
| Language | German |
| Editor | Kwiatkowska, Marta Zofia |
| Editor | Shields, Michael W. |
| Editor | Thomas, Richard M. |