Inference Systems with Corules for Combined Safety and Liveness Properties of Binary Session Types
From MaRDI portal
Publication:5043586
DOI10.46298/lmcs-18(3:27)2022OpenAlexW3189323669MaRDI QIDQ5043586
Publication date: 6 October 2022
Published in: Logical Methods in Computer Science (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/2108.01503
Uses Software
Cites Work
- Results on the propositional \(\mu\)-calculus
- Fair testing
- Fundamental properties of infinite trees
- Defining liveness
- Recognizing safety and liveness
- Testing equivalences for processes
- Depending on session-typed processes
- Subtyping for session types in the pi calculus
- Generalizing Inference Systems by Coaxioms
- Introduction to Bisimulation and Coinduction
- Subtyping Supports Safe Session Substitution
- Semantic subtyping
- Proving Liveness Properties of Concurrent Programs
- Fairness and hyperfairness
- Fair Subtyping for Open Session Types
- Using higher-order contracts to model session types
- Fair subtyping for multi-party session types
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: Inference Systems with Corules for Combined Safety and Liveness Properties of Binary Session Types