5 comments

[ 3.2 ms ] story [ 26.3 ms ] thread
Interesting.. I've been trying/playing with a home-made modelling language to describe concurrent program flow and job conditions. Mostly in the context of queue-based-workers. The idea that a job can be split up in different parts and be run concurrently. Haven't cracked it yet :/
Have you tried TLA+ and PlusCal?
Nope! But looking into it now :) Thank you sir !