Keyword : CCS


Introduction of Economic-Oriented Fairness to Process Algebras
Shigetomo KIMURA Yoshihiko EBIHARA 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 1996/11/25
Vol. E79-A  No. 11 ; pp. 1768-1773
Type of Manuscript:  Special Section PAPER (Special Section on Description Models for Concurrent Systems and Their Applications)
Category: 
Keyword: 
fairnesseconomic-oriented fairnessprocess algebraCCS
 Summary | Full Text:PDF

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

An Effective Application of Net-Theory to Communication Protocol Development
Norio SHIRATORI Eun-Seok LEE Ken TERUYA 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 1994/10/25
Vol. E77-A  No. 10 ; pp. 1588-1593
Type of Manuscript:  INVITED PAPER (Special Section on Net Theory and Its Applications)
Category: 
Keyword: 
Net-theoryprotocol life cycleFDTLTSprotocolFSMCCS
 Summary | Full Text:PDF

Algebraic Approaches for Nets Using Formulas to Describe Practical Software Systems
kazuhito OHMAKI Yutaka SATO Ichiro OGATA Kokichi FUTATSUGI 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 1993/10/25
Vol. E76-A  No. 10 ; pp. 1580-1590
Type of Manuscript:  Special Section PAPER (Special Section on Nets-Oriented Software Specification and Design)
Category: 
Keyword: 
Petri netprocess algebraCCSLOTOSuser interface management system
 Summary | Full Text:PDF