Inference Systems with Corules for Combined Safety and Liveness Properties of Binary Session Types

DOI10.46298/lmcs-18(3:27)2022OpenAlexW3189323669MaRDI QIDQ5043586

Luca Padovani, Luca Ciccone

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

zbMATH Keywords

livenesssafetyinductionsession typescoinductioninference systems

Mathematics Subject Classification ID

Logic in computer science (03B70) Computer science (68-XX)

Uses Software

• GitHub

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