Behavioral Verification of Distributed Concurrent Systems with BOBJ Joseph Goguen Dept. Computer Science - Joseph Goguen - Document - PDFSEARCH.IO

First Page		Document Content
Date: 2005-07-09 15:47:18 Algebraic structures Group theory Module Congruence relation Subalgebra Group action Monad Abstract algebra Mathematics Algebra		Behavioral Verification of Distributed Concurrent Systems with BOBJ Joseph Goguen Dept. Computer Science & Engineering University of California at San Diego Abstract Add to Reading List Source URL: cseweb.ucsd.edu Download Document from Source Website File Size: 242,37 KB Share Document on Facebook