No hot answers found
Only top voted, non community-wiki answers of a minimum length are eligible
Related Tags
pi-calculus × 13process-algebra × 4
pl.programming-languages × 3
formal-modeling × 3
reference-request × 2
type-systems × 2
concurrency × 2
lo.logic × 1
fl.formal-languages × 1
type-theory × 1
nondeterminism × 1
machine-models × 1
proof-techniques × 1
soundness × 1