Hets - the Heterogeneous Tool Set

Copyright(c) Till Mossakowski and Uni Bremen 2004
LicenseGPLv2 or higher, see LICENSE.txt
Maintainertill@informatik.uni-bremen.de
Stabilityprovisional
Portabilitynon-portable (imports Logic.Logic)
Safe HaskellNone

Comorphisms.CspCASL2Modal

Description

The embedding comorphism from CspCASL to ModalCASL. It keeps the CASL part and interprets the CspCASL LTS semantics as Kripke structure

Synopsis

Documentation