Library Utils
Library Binders
Library Syntax
Library Semantics
Library LNProperties
- fn vs open/close and monadic operations
- bn vs open/close and monadic operations
- Relations between close/open
- Close/open vs monadic operations
- Renaming, decomposition
- Opening a concretion
Library LNSemantics
- genNu
- Tactics for fn/bn
- open vs the LTS functions
- bn_agent and decomposition
- The LTS preserves is_proc
- LTS and fn
- The LTS is stable by renaming
Library Bisimulation
Library Struct_congr
Library Howe
Library HoweSound
This page has been generated by coqdoc