Discrete event calculus with branching time Erik T. Mueller IBM Thomas J. Watson Research Center P.O. Box 704 Yorktown Heights, NYUSA Preprint of December 21, 2006 - Mueller calculus - Document - PDFSEARCH.IO

First Page	Meta Content
	Discrete event calculus with branching time Erik T. Mueller IBM Thomas J. Watson Research Center P.O. Box 704 Yorktown Heights, NYUSA Preprint of December 21, 2006 Add to Reading List Document Date: 2009-09-04 15:38:02 Open Document File Size: 180,96 KB Share Result on Facebook

Discrete event calculus with branching time Erik T. Mueller IBM Thomas J. Watson Research Center P.O. Box 704 Yorktown Heights, NYUSA Preprint of December 21, 2006Add to Reading List