|
| 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:
fairness, economic-oriented fairness, process algebra, CCS, | | | Summary | Full Text:PDF(553.1KB) | |
| |
|
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-theory, protocol life cycle, FDT, LTS, protocol, FSM, CCS, | | | Summary | Full Text:PDF(592.9KB) | |
| |
|
|