Logic

Field

▾

Select a category to explore research frontiers

Loading categories...

Research Frontiers in Concurrent Logic and Process Algebra

Formal methods for reasoning about concurrent systems using modal and temporal logics integrated with process algebraic semantics.