Keyword : bisimulation


Behavioral Equivalence of Security-Oriented Interactive Systems
Guanjun LIU Changjun JIANG 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2016/08/01
Vol. E99-D  No. 8 ; pp. 2061-2068
Type of Manuscript:  Special Section PAPER (Special Section on Security, Privacy and Anonymity of Internet of Things)
Category: 
Keyword: 
interactive systemslabelled petri netslabelled transition systemsbisimulationsecurity
 Summary | Full Text:PDF(563.6KB)

A Formal Approach for Milk-Run Transport Logistics
Ichiro SATOH 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2008/11/01
Vol. E91-A  No. 11 ; pp. 3261-3268
Type of Manuscript:  Special Section PAPER (Special Section on Concurrent/Real-time and Hybrid Systems: Theory and Applications)
Category: 
Keyword: 
transport logisticstruck routeprocess calculusbisimulation
 Summary | Full Text:PDF(314.4KB)

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)
Category: 
Keyword: 
inductive inferencealgebraic processCCSHennessy-Milner logicbisimulationprocess calculusprocess algebra
 Summary | Full Text:PDF(643.6KB)