|
| Keyword : process algebra
| |
|
Refinement and Verification of Sequence Diagrams Using the Process Algebra CSP
Tomohiro KAIZU Yoshinao ISOBE Masato SUZUKI | Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2013/02/01
Vol. E96-A
No. 2 ;
pp. 495-504
Type of Manuscript:
Special Section PAPER (Special Section on Mathematical Systems Science and its Applications)
Category: Concurrent Systems
Keyword:
sequence diagram, process algebra, CSP, process synthesis, | | | Summary | Full Text:PDF(704.1KB) | |
|
Itinerant Agents for Network Management
Ichiro SATOH | Publication: IEICE TRANSACTIONS on Communications
Publication Date: 2003/10/01
Vol. E86-B
No. 10 ;
pp. 2865-2873
Type of Manuscript:
Special Section PAPER (IEICE/IEEE Joint Special Issue on Assurance Systems and Networks)
Category: Network Control and Management
Keyword:
network management, mobile agent, agent selection, process algebra, | | | Summary | Full Text:PDF(553.8KB) | |
|
Validation of the Detailed Design of the Label Distribution Protocol for the Multiprotocol Label Switching System
Jae-Hyun PARK | Publication: IEICE TRANSACTIONS on Communications
Publication Date: 2003/02/01
Vol. E86-B
No. 2 ;
pp. 506-517
Type of Manuscript:
Special Section PAPER (Special Issue on Internet Technology III)
Category: MPLS and Routing
Keyword:
protocol validation, MPLS, label distribution protocol, process algebra, | | | Summary | Full Text:PDF(402.4KB) | |
| |
| |
|
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) | |
| |
| |
| |
|
|
