Richard M. Thomas – författare
Visar alla böcker från författaren Richard M. Thomas. Handla med fri frakt och snabb leverans.
2 produkter
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 …
