Logical reasoning for disjoint permissions

Logical reasoning for disjoint permissions

10.1007/978-3-319-89884-1_14

Saved in:
Bibliographic Details
Main Authors: Le X.-B., Hobor A.
Other Authors: YALE-NUS COLLEGE
Format: Conference or Workshop Item
Published: Springer Verlag 2020
Subjects:
Algebra
Computer programming
Formal logic
Separation
Common resources
Concurrent programming
Fractional permissions
Logical reasoning
Rational numbers
Resource sharing
Separation logic
Verification task
Computer circuits
Online Access:https://scholarbank.nus.edu.sg/handle/10635/175138
Tags: Add Tag
No Tags, Be the first to tag this record!
Institution: National University of Singapore
Description
Summary:10.1007/978-3-319-89884-1_14

Similar Items