#

milner

Here are 4 public repositories matching this topic...

ComputerScience-Projects / Calculus-of-Communicating-Systems

The Calculus of Communicating Systems (CCS) is a process calculus introduced by Robin Milner around 1980 and the title of a book describing the calculus. Its actions model indivisible communications between exactly two participants. The formal language includes primitives for describing parallel composition, choice between actions and scope rest…

calculus parallel sml robin ccs metalanguage communicating standardml milner sapienza-university ocalm sapienza sapienza-student robinmilner pietrocenciarelli

Updated Sep 2, 2019
Standard ML

chrisnevers / type-inference

Implementation of Algorithm W

lambda-calculus menhir programming-languages polymorphism type-inference milner algorithm-w

Updated Mar 6, 2019
OCaml

eloipereira / scalabigraph

Scala Bigraph is a Scala implementation of Robin Milner's Bigraph model

scala bigraph milner

Updated Aug 8, 2017
Scala

golovach-ivan / Correct-by-Construction

Tools for RHO-Lang smart contracts formal verification (with Namespace/Spatial/Hennessy-Milner Logics)

logic spatial namespace ccs higher-order reflective hennessy milner

Updated Oct 20, 2018
Scala

Improve this page

Add a description, image, and links to the milner topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the milner topic, visit your repo's landing page and select "manage topics."