Giters

leithaus / pi4u

A collection of papers about new models and applications of mobile process calculi

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

This repository is not active

About

A collection of papers about new models and applications of mobile process calculi

License:Creative Commons Zero v1.0 Universal

Languages

Language:TeX 98.2%Language:OCaml 1.7%Language:Makefile 0.0%Language:Standard ML 0.0%Language:D 0.0%