- Home
- » Tags
- » Robin Milner
Top View
- Introduction to the Literature on Programming Language Design Gary T
- Federated Computing Research Conference, FCRC’96, Which Is David Wise, Steering Being Held May 20 - 28, 1996 at the Philadelphia Downtown Marriott
- Concurrency Theory Name Passing, Contextual Equivalences
- Summary of the Core Contributions of My Dissertation
- UC Berkeley UC Berkeley Electronic Theses and Dissertations
- Fi Nal Report
- On the Origins of Bisimulation and Coinduction
- CALCULI for SYNCHRONY and ASYNCHRONY* Robin MILNER
- Keith WANSBROUGH
- Robin Milner 1934–2010 Verification, Languages, and Concurrency
- Shapechecker: Inferring and Reasoning About Shapes in Tensorflow
- Co-Authorship Proximity of A. M. Turing Award and John Von Neumann Medal Winners to the Disciplinary Boundaries of Computer Science
- The Space and Motion of Communicating Agents Robin Milner Frontmatter More Information
- Turing, Computing and Communication
- Mathematical Logic in Computer Science
- 3 Sep 2001 H Aresasmto.As,Tefc Htw Ieteslto Na in Solution the Give N We Do That We Case Fact Our the in Also, but Assumption
- Programs, Types, and Bayes Lucas Eduardo Morales
- Fundamentals of Programming Languages V Abstract Interpretation
- Spam: It's Not Just for Inboxes and Search Engines! Making Hirsch H
- David Michael Ritchie Park (193.51990) CORE View Metadata, Citation and Similar Papers at Core.Ac.Uk
- Contents U U U
- A Historical Account of My Early Research Interests ∗
- Monographs in Computer Science
- The Origins of Structural Operational Semantics
- Language Sequence Algol 60 Sample ML Goals in Study of ML Robin
- CS 6110 S16 Handout 2A Proof of Confluence 29 January 2016 1
- CS3110 Spring 2016 Lecture 5 Modules for Rational Numbers
- Reserved Books for CS 812 - Programing Language Semantics - Spring 2006
- What Is Computation? the Evolution of Computation by Peter Wegner, Brown University
- BRICS Newsletter No 9
- Chaining and the Process of Scientific Innovation
- Robin Milner – Verification, Languages, and Concurrency
- A Calculus of Mobile Processes, I
- Robin Milner: the Elegant Pragmatist Remembering a Rich Legacy in Verification, Languages, and Concurrency
- Mobile Reactive Systems Over Bigraphical Machines - a Programming Model and Its Implementation
- Introduction to the Literature on Semantics Gary T
- Cambridge Computing
- Bibliography
- Curriculum Vitae
- Algorithmic Λ-Calculus for the Design, Analysis, and Implementation of Parallel Algorithms
- An Interview with Robin Milner
- BCS08: Visions of Computer Science
- Processes, Systems & Tests: Defining Contextual Equivalences
- Department of Computer Science
- It Is Time to Mechanize Programming Language Metatheory*
- Algebraic Process Calculi: the First Twenty Five Years and Beyond PA ’05