Protocol Synthesis from Time Petri Net Based Service Specification.

Hirozumi Yamaguchi Kozo Okano Teruo Higashino Kenichi Taniguchi

Published in: ICPADS (1997)

Keyphrases

protocol specification
communication protocols
formal specification
formal methods
web services
service providers
database systems
service oriented
semantic web services
message delivery
colored petri nets
internet protocol
tcp ip
formal verification
formal analysis
texture synthesis
model checking
high level