scientific article; zbMATH DE number 7566072
From MaRDI portal
Publication:5094146
Jesper Bengtson, Robbert Krebbers, Jonas Kastberg Hinrichsen
Publication date: 2 August 2022
Full work available at URL: https://arxiv.org/abs/2010.15030
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (1)
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- The category-theoretic solution of recursive metric-space equations
- Fundamentals of session types
- Solving reflexive domain equations in a category of complete metric spaces
- The revised report on the syntactic theories of sequential control and state
- A linear logical framework
- Depending on session-typed processes
- The KRAKATOA tool for certification of JAVA/JAVACARD programs annotated in JML
- Session typing and asynchronous subtyping for the higher-order \(\pi\)-calculus
- Session types revisited
- Subtyping for session types in the pi calculus
- Transfinite Step-Indexing: Decoupling Concrete and Logical Steps
- On Duality Relations for Session Types
- Corecursion and Non-divergence in Session-Typed Processes
- Higher-order ghost state
- Talking bananas: structural recursion for session types
- Context-free session types
- A Higher-Order Logic for Concurrent Termination-Preserving Refinement
- First steps in synthetic guarded domain theory: step-indexing in the topos of trees
- Conflation Confers Concurrency
- A very modal model of a modern, major, general type system
- Multiparty asynchronous session types
- Permission-Based Separation Logic for Message-Passing Concurrency
- A Theory of Design-by-Contract for Distributed Multiparty Interactions
- Session Types as Intuitionistic Linear Propositions
- Global Principal Typing in Partially Commutative Asynchronous Sessions
- Deadlock and lock freedom in the linear π-calculus
- Session Types with Arithmetic Refinements
- Interactive proofs in higher-order concurrent separation logic
- Fencing off go: liveness and safety for channel-based programming
- A simple library implementation of binary sessions
- Impredicative Concurrent Abstract Predicates
- Communicating State Transition Systems for Fine-Grained Concurrent Resources
- Oracle Semantics for Concurrent Separation Logic
- Program Logics for Certified Compilers
- A New Type System for Deadlock-Free Processes
- Automated modular verification for relaxed communication protocols
This page was built for publication:
