Analysis of Concurrent Systems
» McScM
Overview
Download
Roadmap
Issues
Documents
Wiki
Files
sig
module
Make
:
functor
(
A
:
Model
.
S
)
->
sig
val
control : unit
->
unit
end
end
Loading...