NTHRYS › PhD Assistance › Mathematical Logic Foundations

Mathematical Logic Foundations

Field

▾

Select a category to explore research frontiers

Loading categories...

Research Frontiers in Type Theory for Concurrent Programs

Constructs type systems capturing concurrency properties, analyzing race conditions, atomicity, and synchronization through refined type disciplines.