Back to Results
First PageMeta Content
Theoretical 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, Edinburgh
Add to Reading List

Document Date: 2012-10-10 03:52:01


Open Document

File Size: 3,63 MB

Share Result on Facebook