First Page | Document Content | |
---|---|---|
Date: 2009-05-07 18:44:00Ring Ring theory Summation Predicate transformer semantics Mathematics Algebraic structures Structure | Under consideration for publication in Formal Aspects of Computing Guaranteeing Convergence of Distributed Systems: From Specification to Implementation via Refinement K. Mani Chandy1 , Brian Go1 , Sayan Mitra2 , ConcetAdd to Reading ListSource URL: leecenter.caltech.eduDownload Document from Source WebsiteFile Size: 364,35 KBShare Document on Facebook |