Back to Results
First PageMeta Content
Logic in computer science / Programming language semantics / Denotational semantics / Programming language / Semantics / Communications protocol / OCaml / Computer science / Computing / Theoretical computer science / Software engineering


Applied Semantics: Specifying and Developing Abstractions for Distributed Computation (Grand Challenge Discussion Paper – GC2, GC4, and GC6) Peter Sewell Keith Wansbrough
Add to Reading List

Document Date: 2005-03-28 17:11:35


Open Document

File Size: 69,67 KB

Share Result on Facebook
UPDATE