Projects



Changes between Version 11 and Version 12 of ccpn


Ignore:
Timestamp:
02/02/19 23:57:18 (6 years ago)
Author:
9simon
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • ccpn

    v11 v12  
    55 - to simulate CCPN models
    66 - to generate a reachability graph for CCPN models
    7  - to be integrated as a [https://www.haskell.org Haskell] library into Haskell programs
     7 - to integrate the CCPN simulator as a [https://www.haskell.org Haskell] library into Haskell programs
    88While [https://www.haskell.org Haskell] is used as the implementations language, [http://www.curry-language.org Curry] is used as the inscription language.
    99The main advantage is that CCPN inscriptions are side effect free due to the Curry's functional pureness and the control of side effects by its strong type system.