Author Proof A Specification Theory of Real-Time Processes Chris Chilton1 , Marta Kwiatkowska1 , Faron Moller2 , and Xu Wang2(B) 1 2

First Page		Document Content
Date: 2017-01-24 06:23:37 I0 Invariant XC		Author Proof A Specification Theory of Real-Time Processes Chris Chilton1 , Marta Kwiatkowska1 , Faron Moller2 , and Xu Wang2(B) 1 2 Add to Reading List Source URL: qav.comlab.ox.ac.uk Download Document from Source Website File Size: 482,91 KB Share Document on Facebook