First Page | Document Content | |
---|---|---|
Date: 2012-10-10 03:52:01Theoretical computer science Logic in computer science Formal methods Programming language semantics Models of computation Denotational semantics Process calculi Matthew Hennessy Semantics Maurice Nivat Bisimulation Negation | Revisiting: Algebraic laws for nondeterminism and concurrency Matthew Hennessy Milner-Symposium, EdinburghAdd to Reading ListSource URL: events.inf.ed.ac.ukDownload Document from Source WebsiteFile Size: 3,63 MBShare Document on Facebook |