Keyword : Hennessy-Milner logic

Inductive Inference of Algebraic Processes Based on Hennessy-Milner Logic
Atsushi TOGASHI Shigetomo KIMURA 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 1994/10/25
Vol. E77-A  No. 10 ; pp. 1594-1601
Type of Manuscript:  INVITED PAPER (Special Section on Net Theory and Its Applications)
inductive inferencealgebraic processCCSHennessy-Milner logicbisimulationprocess calculusprocess algebra
 Summary | Full Text:PDF(643.6KB)