Protocol Synthesis from Time Petri Net Based Service Specification - researchr publication related

researchr

You are not signed in
Sign in
Sign up

Hirozumi Yamaguchi, Kozo Okano, Teruo Higashino, Kenichi Taniguchi. Protocol Synthesis from Time Petri Net Based Service Specification. In 1997 International Conference on Parallel and Distributed Systems (ICPADS 97), 11-13 December 1997, Seoul, Korea, Proceedings. pages 236-243, IEEE Computer Society, 1997. [doi]

The following publications are possibly variants of this publication:

Synthesis of Protocol Entities Specifications from Service Specifications in a Petri Net Model with RegistersHirozumi Yamaguchi, Kozo Okano, Teruo Higashino, Kenichi Taniguchi. icdcs 1995: 510-517

Protocol synthesis from timed and structured specificationsAkio Nakata, Teruo Higashino, Kenichi Taniguchi. icnp 1995: 74 [doi]

runs on WebDSL