Rapid protocol prototyping from message sequence chart based specification.

Keiji Ishikawa, Tamio Hoshino

Browse the full RSP paper archive.