Now showing items 1-1 of 1

  • Relevance Logic and Concurrent Composition 

    Dam, Mads F (University of Edinburgh. College of Science and Engineering. School of Informatics., 1990-11)
    Compositionality, i.e. that properties of composite systems are deduced in terms of those of their immediate constituents, is crucial to the tractability and practical usefulness of program logics. A general technique for ...