Abstract
In this session, a number of examples are provided to illustrate how the Restriction_Spaces library works.
The simple cases are, of course, covered: trivial restriction, booleans, integers, option type, and so on.
But we also explore more elaborate constructions, such as formal power series and a trace model of the CSP process algebra.
Additionally, we provide a lightweight integration with HOLCF,
equipping restriction spaces with the inherited partial order structure when needed.
License
Topics
- Mathematics/Analysis
- Mathematics/Topology
- Mathematics/Algebra
- Computer science/Concurrency/Process calculi
Session Restriction_Spaces-Examples
- RS_Any_Type
- RS_Bool
- RS_Nat
- RS_Int
- RS_Option
- RS_List
- RS_Tree
- RS_Decimals
- RS_Trace_Model_CSP
- RS_Formal_Power_Series