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 QIDQ5043586FDOQ5043586
Authors: Luca Ciccone, Luca Padovani 
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
Recommendations
Cites Work
- Title not available (Why is that?)
- Handbook of modal logic
- Testing equivalences for processes
- Results on the propositional \(\mu\)-calculus
- Fundamental properties of infinite trees
- Title not available (Why is that?)
- Subtyping for session types in the pi calculus
- Introduction to bisimulation and coinduction
- Fairness and hyperfairness
- Fair testing
- Title not available (Why is that?)
- Defining liveness
- Recognizing safety and liveness
- Proving Liveness Properties of Concurrent Programs
- Fair subtyping for open session types
- Fair subtyping for multi-party session types
- Semantic subtyping, dealing set-theoretically with function, union, intersection, and negation types
- Title not available (Why is that?)
- Using higher-order contracts to model session types
- Depending on session-typed processes
- Subtyping Supports Safe Session Substitution
- Title not available (Why is that?)
- Generalizing inference systems by coaxioms
- Title not available (Why is that?)
- Title not available (Why is that?)
Uses Software
This page was built for publication: Inference Systems with Corules for Combined Safety and Liveness Properties of Binary Session Types
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5043586)
