Concurrent Kleene algebra with tests Peter Jipsen Chapman University, Orange, California 92866, USA - Algebra - Document - PDFSEARCH.IO

First Page	Meta Content
	Concurrent Kleene algebra with tests Peter Jipsen Chapman University, Orange, California 92866, USA Add to Reading List Document Date: 2014-03-18 15:12:15 Open Document File Size: 243,71 KB Share Result on Facebook

Concurrent Kleene algebra with tests Peter Jipsen Chapman University, Orange, California 92866, USA Add to Reading List