![Theoretical computer science / Logic in computer science / Software engineering / Formal methods / Programming language semantics / Models of computation / Operational semantics / Semantics / Bisimulation / Process calculus / Programming language / Transition system Theoretical computer science / Logic in computer science / Software engineering / Formal methods / Programming language semantics / Models of computation / Operational semantics / Semantics / Bisimulation / Process calculus / Programming language / Transition system](https://www.pdfsearch.io/img/a2e9cc015e87437d9e9a0a18c3b77a6c.jpg) Date: 2010-12-15 21:39:09Theoretical computer science Logic in computer science Software engineering Formal methods Programming language semantics Models of computation Operational semantics Semantics Bisimulation Process calculus Programming language Transition system | | Semantics for core Concurrent ML using computation types Alan Jeffrey Abstract This paper presents two typed higher-order concurrent functional programming languages, based on Reppy’s Concurrent ML. The first is a simpAdd to Reading ListSource URL: ect.bell-labs.comDownload Document from Source Website File Size: 213,81 KBShare Document on Facebook
|