The Kell calculus is a family of higher-order process calculi with hierarchical locations or components. It has been introduced to study programming models for wide-area distributed systems and component-based systems. This project is an interpreter for the language CHALK based on the Kell calculus. See documentation here.
-
Notifications
You must be signed in to change notification settings - Fork 0
phlalx/chalk
About
An interpreter for a higher-order pi-calculus with components
Topics
Resources
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published