NTHRYS › PhD Assistance › Mathematical Logic Foundations

Mathematical Logic Foundations

Field

▾

Select a category to explore research frontiers

Loading categories...

Research Frontiers in Concurrent Separation Logic and Atomicity

Research on extending separation logic to concurrent settings with reasoning about shared resources and atomic operations.