There is a newer version of the record available.

Published July 1, 2019 | Version v1
Journal article Open

Environment for verification of Reo protocols with SPIN model checker

Authors/Creators

  • 1. CWI
  • 2. femto-st

Description

Archive for reproduction of the results presented in the paper.

Files

fifo_programs.zip

Files (3.3 kB)

Name Size Download all
md5:cf3141eb5be6d46896a36541182bb6e4
1.3 kB Preview Download
md5:4c38f5ab661f554960a55c44a52abbe6
2.0 kB Preview Download