Published October 15, 2024 | Version v1
Software Open

Semantic Logical Relations for Timed Message-Passing Protocols (Artifact)

Authors/Creators

  • 1. ROR icon Carnegie Mellon University
  • 2. ROR icon University at Buffalo, State University of New York

Description

This artifact is a type checker for Timed Intuitionistic Linear Logic Session Types (TILLST). 
The implementation is realized in Rust. It is a DSL providing type checking based on the typing rules from Fig. 4 in the main paper. It has corresponding syntax for both process calculus and types in TILLST. 

Files

README.md

Files (825.9 MB)

Name Size
md5:e3b2a20f9236f52cc78765dab79a4997
13.8 kB Preview Download
md5:6857814b9147ded2b7a2132e7b81462c
440.0 MB Download
md5:044d291a0c0cf586d1e9d37aa4214dff
386.0 MB Download

Additional details

Software

Programming language
Rust