Making slides. Decidability result: Edit: Ffffuuuuu…! This doesn’t work. Have to change precedence to response (I think that works at least…) Edit 2: This works. Wrong version below. Edit 2: Wrong stuff below; it is actually possible to make this bounded. MichaelTime person of the year 2006, Nobel Peace Prize winner 2012. westergaard.eu/ […]
Tag: Timed Declare
Using Declarative Workflow Modeling to Achieve True Happiness
Presentation I’ll give at ITU on Thursday. Now with both Britney and BSB. MichaelTime person of the year 2006, Nobel Peace Prize winner 2012. westergaard.eu/ […]
Read More… from Using Declarative Workflow Modeling to Achieve True Happiness
Time is Not a Four-letter Word
Presentation I’ll give right now! How to add time to Declare by translating to timed LTL and timed automata. Also how we can use this to give a priori advice concerning time, detect errors, and support planning. Edit: There’s a slight error in the timed automaton shown; it allows going Backstage, then Getting Drunk, letting […]