Coherence and Consistency in Domains
Carl A. Gunter and Achim Jung
Logic in Computer Science (LICS ’08), pages 309-317, Edinburgh, Scotland, July 1988.
Last updated on Thursday, June 26, 2014, 12:45 pm
Coherence and Consistency in Domains
Carl A. Gunter and Achim Jung
Logic in Computer Science (LICS ’08), pages 309-317, Edinburgh, Scotland, July 1988.
Last updated on Thursday, June 26, 2014, 12:45 pm