Title: A logical process calculus
Subjects: Algebra, Heterogeneity, Specifications