software . 2019

jrclogic/SMCDEL: v1.1.0

Gattinger, Malvin;
Open Source
  • Published: 09 Dec 2019
  • Publisher: Zenodo
Abstract
<p>New:</p> <ul> <li>minimization under bisimulation</li> <li>dynamic operators in formulas via <code>Data.Dynamic</code></li> <li>multipointed models, action models, structures and events</li> <li>added Cheryl's Birthday and Cheryl's Age examples</li> <li>experimental functions for epistemic planning (with small examples)</li> <li>more instances for QuickCheck, more tests</li> <li>add S5 to K conversion in <code>SMCDEL.Translations.Convert</code></li> <li>improvements to the web interface</li> </ul> <p>Changed:</p> <ul> <li>polymorphic <code>update</code> replaces <code>productUpdate</code>, <code>transform</code>, <code>pubAnnounce</code> etc.</li> <li>factual...
Download fromView all 2 versions
Zenodo
Software . 2019
Provider: Datacite
Zenodo
Software . 2019
Provider: Zenodo
Powered by OpenAIRE Open Research Graph
Any information missing or wrong?Report an Issue
software . 2019

jrclogic/SMCDEL: v1.1.0

Gattinger, Malvin;