Report copyright - Concurrent Kleene algebra with tests · 2014. 5. 5. · I L jjM = fv jjw : v 2L ;w 2M and v jjw is de ned g This makes P(GSP;T) into a complete bisemiring with a Kleene-star for sequential
Please pass captcha verification before submit form