Skip to content

A New Strategy for Proving omega-Completeness applied to Process Algebra.

Jan Friso Groote

VenueBCONCUR
Year1990
ProceedingsCONCUR

Browse the full CONCUR paper archive.