Related Tags
pi-calculus × 16reference-request × 4
process-algebra × 4
pl.programming-languages × 3
type-systems × 3
concurrency × 3
formal-modeling × 3
lo.logic × 1
fl.formal-languages × 1
computability × 1
type-theory × 1
lambda-calculus × 1
proofs × 1
nondeterminism × 1
machine-models × 1
proof-techniques × 1
soundness × 1