3 ms·Algebra or equational logic systems to handle multi threaded concurrent systems?2 points by rubyn00bie 10y ago