A Complete Modal Proof System for a Subset of SCCS
Authors:
Colin Sterling
Affiliations:
-
Venue:
CAAP '85 Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Volume 1: Colloquium on Trees in Algebra and Programming: Mathematical Foundations of Software Development