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

Be the first to leave a comment!

Similar Items