Formally Sound Refinement of Spi Calculus Protocol Specifications into Java Code

  • warning: preg_replace(): The /e modifier is no longer supported, use preg_replace_callback instead in /home/alfredo/Public/alfredo.pironti.eu/research/includes/unicode.inc on line 349.
  • warning: preg_replace(): The /e modifier is no longer supported, use preg_replace_callback instead in /home/alfredo/Public/alfredo.pironti.eu/research/includes/unicode.inc on line 349.
TitleFormally Sound Refinement of {S}pi {C}alculus Protocol Specifications into {J}ava Code
Publication TypeConference Paper
AuthorsPironti, A., and R. Sisto
AttachmentSize
hase08.pdf230.16 KB