Keyword : process algebra


A Formal Model to Enforce Trustworthiness Requirements in Service Composition
Ning FU Yingfeng ZHANG Lijun SHAN Zhiqiang LIU Han PENG 
Publication:   
Publication Date: 2017/09/01
Vol. E100-D  No. 9 ; pp. 2056-2067
Type of Manuscript:  PAPER
Category: Software System
Keyword: 
trustworthy softwareprocess algebrapi-calculusQ-algebrasemi-ring
 Summary | Full Text:PDF(798KB)

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 diagramprocess algebraCSPprocess 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 managementmobile agentagent selectionprocess 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 validationMPLSlabel distribution protocolprocess algebra
 Summary | Full Text:PDF(402.4KB)

Least Fixpoint and Greatest Fixpoint in a Process Algebra with Conjunction and Disjunction
Yoshinao ISOBE Yutaka SATO Kazuhito OHMAKI 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2000/03/25
Vol. E83-A  No. 3 ; pp. 401-411
Type of Manuscript:  Special Section PAPER (Special Section of Selected Papers from the 12th Workshop on Circuits and Systems in Karuizawa)
Category: 
Keyword: 
process algebraprocess logicprocess synthesisleast fixpointgreatest fixpoint
 Summary | Full Text:PDF(584.4KB)

Evaluating Adaptability of Software Systems Based on Algebraic Equivalency
Yoshiyuki SHINKAWA Masao J. MATSUMOTO 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 1999/12/25
Vol. E82-D  No. 12 ; pp. 1524-1534
Type of Manuscript:  PAPER
Category: Sofware System
Keyword: 
formal methodcolored Petri netssoftware adaptabilityprocess algebrabusiness process modeling
 Summary | Full Text:PDF(372.6KB)

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(553.1KB)

Analysis of Database Production Rules by Process Algebra
Yoshinao ISOBE Isao KOJIMA Kazuhito OHMAKI 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 1995/08/25
Vol. E78-D  No. 8 ; pp. 992-1002
Type of Manuscript:  PAPER
Category: Databases
Keyword: 
active databaseproduction ruleprocess algebraprocess creationprocess treemulti-way communication
 Summary | Full Text:PDF(839KB)

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)

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(891KB)