It’s important to formally specify your protocol. Hence: You can see it’s formal because I added a gratuitous sigma. We implemented the protocol in two different tools, written in two different languages and after two minor tweaks, it worked. Thank you formal specification! […]
The Greek Family
Thus, the family decides to democratically decide whether to pay back the loan. Unsurprisingly the result is to continue as before and default on the loan, completely ignoring the liabilities they have accepted and signed for. […]
Britney in London
Seeing Britney in London was my third concert on the Femme Fatale tour (following Herning and Rotterdam). As I’d see the concert three times ((Unfortunately, I’ll have to give a presentation next Thursday, so I cannot make it to Lisbon as was my plan 🙁 )), I set goals so none of the concert would […]
Modular Declare
This week I am in Nijmegen with the purpose of integrating Declare and iTasks. The idea is to allow components in either language to be used as sub-components in either. This makes it possible to mix paradigms (declarative and functional workflow modeling), introduces modules in Declare, and makes Declare (and iTasks) distributed. We are still […]
The Tour that Keeps on Giving
First concert: Meet and greet with Britney. Second concert: Best spot in the concert. Third concert: Meet and greet with Destinee & Paris. Actually, I was first in line and snuck to he back I the line for this great picture: […]
Custom B-shirt (Awesome)
Some of my colleagues got me this awesome B-shirt: I have awesome colleagues! I’ll let them live another day as thanks 😉 The model on the back is one I usually use in presentations ((It models the requirements: If you are bored, you should go to a concert. No sane person (Britney fan) would ever […]