View in EDS PDF Full Text

Convolution as a Unifying Concept: Applications in Separation Logic, Interval Calculi, and Concurrency.

Saved in:
Bibliographic Details
Title: Convolution as a Unifying Concept: Applications in Separation Logic, Interval Calculi, and Concurrency.
Authors: DONGOL, BRIJESH1, HAYES, IAN J.2, STRUTH, GEORG3
Source: ACM Transactions on Computational Logic; Jun2016, p1-25, 25p
Database: Applied Science & Technology Source
Description
ISSN:15293785
DOI:10.1145/2874773