Analysis of Concurrent Systems
» McScM
Overview
Download
Roadmap
Issues
Documents
Wiki
Files
Previous
Up
Next
Module type
Model.SEMANTICS_CLOSURE
module type
SEMANTICS_CLOSURE =
sig
..
end
Aggregation of SEMANTICS and CLOSURE over the same region algebra.
include
Model.SEMANTICS
include
Model.CLOSURE
Loading...