NTHRYS › PhD Assistance › Theoretical Computer Science

Theoretical Computer Science

Field

▾

Select a category to explore research frontiers

Loading categories...

Research Frontiers in Process Algebra and Behavioral Equivalences

Explores formal semantics of concurrent processes using calculi like CCS and pi-calculus with focus on bisimulation and trace equivalence.