Protocol Synthesis from Service Specifications Described by Graph Rewriting Rules(Theory of Rewriting Systems and Its Applications)
スポンサーリンク
概要
著者
-
Ohta Tadashi
ATR Communication Systems Research Laboratories
-
TAKURA Akira
ATR Communication Systems Research Laboratories
-
Sera Takafumi
ATR Communication Systems Research Laboratories
関連論文
- An Access Control Mechanism for Object-Oriented Database Systems (Special Section on Cryptography and Information Security)
- Requirement Specification Acquisition of Communications Services
- Protocol Synthesis from Service Specifications Described by Graph Rewriting Rules(Theory of Rewriting Systems and Its Applications)
- Stepwise Refinement of Communications Service Specifications for Conforming to a Functional Model (Special Issue on Distributed Architecture for Next Generation Communication Networks)
- Completing Protocols Synthesized from Service Specifications
- Reachability Analysis for Specified Processes in a Behavior Description
- A Requirement Description Approach in Natural Language Based on Communication Service Knowledge