## Colin Stirling

*A Complete Compositional Model Proof System for a Subset of CCS*

ICALP, 1985.

@inproceedings{ICALP-1985-Stirling, author = "Colin Stirling", booktitle = "{Proceedings of the 12th Colloquium on Automata, Languages and Programming}", doi = "10.1007/BFb0015773", isbn = "3-540-15650-X", pages = "475--486", publisher = "{Springer-Verlag}", series = "{Lecture Notes in Computer Science}", title = "{A Complete Compositional Model Proof System for a Subset of CCS}", volume = 194, year = 1985, }