An Isabelle/HOL formalization of the Reo automata semantics.
The paper that is at the basis of the formalization can be found here.
This project is put on hold, perhaps for eternity.
An Isabelle/HOL formalization of the Reo automata semantics.
The paper that is at the basis of the formalization can be found here.
This project is put on hold, perhaps for eternity.