Login / Signup

Deriving Deadlock and Unspecified Reception Free Protocol Converters from Message Mapping Sets.

Mohammad PeyravianChin-Tau A. Lea
Published in: Comput. Networks ISDN Syst. (1996)
Keyphrases
  • email
  • message delivery
  • lightweight
  • cryptographic protocols
  • security protocols
  • tcp ip
  • messages exchanged
  • coloured petri nets