Alcove

swMATH41058MaRDI QIDQ5972433FDOQ5972433

Author name not available (Why is that?)

Described by source

• A concurrent constraint programming interpretation of access permissions

Cited In (3)

• A focused linear logical framework and its application to metatheory of object logics
• Hybrid linear logic, revisited
• Slicing concurrent constraint programs

This page was built for software: Alcove