Michael W. Shields – författare
Visar alla böcker från författaren Michael W. Shields. Handla med fri frakt och snabb leverans.
4 produkter
Semantics of Parallelism
Non-Interleaving Representation of Behaviour
E-bok, 2012
1459 kr
Lägg i varukorg
Semantics of Parallelism is the only book which provides a unified treatment of the non-interleaving approach to process semantics (as opposed to the interleaving approach of the process algebraists). Many results found in this book are collected for the first time outside conference and journal …
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
Av Richard M. Thomas, Michael W. Shields m. fl.
E-bok, 2013
755 kr
Lägg i varukorg
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. When confronted with process algebras, which give rise …
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
Av Marta Z. Kwiatkowska, Michael W. Shields m. fl.
Häftad, 1990
567 kr
Lägg i varukorg
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. When confronted with process algebras, which give rise …
Semantics of Parallelism
Non-Interleaving Representation of Behaviour
Häftad, 1997
1094 kr
Lägg i varukorg
Semantics of Parallelism is the only book which provides a unified treatment of the non-interleaving approach to process semantics (as opposed to the interleaving approach of the process algebraists). Many results found in this book are collected for the first time outside conference and journal …
