A Complete Inference System for a Class of Regular Behaviours
From BibNetWiki
- Journal of Computer and System Sciences 28:439--466, 1984
- BibtexAuthor : Robin Milner
Title : A Complete Inference System for a Class of Regular Behaviours
Publication Type : Journal of Computer and System Sciences -
Address :
Date : 1984
