Automated Synthesis of Protocol Specifications from Service Specifications with Parallelly Executable Multiple Primitives (Special Section on Net Theory and Its Applications)

@inproceedings{Kakuda1994AutomatedSO,
  title={Automated Synthesis of Protocol Specifications from Service Specifications with Parallelly Executable Multiple Primitives (Special Section on Net Theory and Its Applications)},
  author={Yoshiaki Kakuda and Masahide Nakamura and Tohru Kikuno},
  year={1994}
}

Similar Papers

Topics from this paper.

Citations

Publications citing this paper.
SHOWING 1-10 OF 13 CITATIONS

Service-Oriented Synthesis of Distributed and Concurrent Protocol Specifications

  • Journal Comp. Netw. and Communic.
  • 2008
VIEW 4 EXCERPTS
CITES METHODS & BACKGROUND
HIGHLY INFLUENCED

State-expansion-based techniques for synthesizing concurrent protocol specifications in distributed systems

  • Int. J. Communication Systems
  • 2013
VIEW 7 EXCERPTS
CITES METHODS & BACKGROUND
HIGHLY INFLUENCED

A delay-constrained least-cost path routing protocol and the synthesis method

  • Proceedings Fifth International Conference on Real-Time Computing Systems and Applications (Cat. No.98EX236)
  • 1998
VIEW 2 EXCERPTS
CITES METHODS & BACKGROUND

A synthesis method for fault-tolerant and flexible multipath routing protocols

  • Proceedings. Third IEEE International Conference on Engineering of Complex Computer Systems (Cat. No.97TB100168)
  • 1997

Automated generation of communications software from service specifications described by state transition rules

  • Proceedings of the Thirtieth Hawaii International Conference on System Sciences
  • 1997
VIEW 2 EXCERPTS
CITES METHODS