scientific article; zbMATH DE number 7407797
From MaRDI portal
Publication:5155688
Jean-Marie Madiot, Davide Sangiorgi, Damien Pous
Publication date: 8 October 2021
Full work available at URL: https://arxiv.org/abs/2001.07063
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- First-order reasoning for higher-order concurrency
- An efficiency preorder for processes
- The lazy lambda calculus in a concurrency scenario
- Bisimulation and coinduction enhancements: a historical perspective
- A complete normal-form bisimilarity for state
- Coalgebraic Bisimulation-Up-To
- The power of parameterization in coinductive proof
- Bisimulations Up-to: Beyond First-Order Transition Systems
- Behavioral theory for mobile ambients
- Complete Lattices and Up-To Techniques
- Logical Bisimulations and Functional Languages
- A bisimulation for type abstraction and recursion
- On the bisimulation proof method
- Coinduction All the Way Up
- Equations, Contractions, and Unique Solutions
- Small bisimulations for reasoning about higher-order imperative programs
- Environmental Bisimulations for Delimited-Control Operators with Dynamic Prompt Generation
- Enhancements of the bisimulation proof method
- From Applicative to Environmental Bisimulation
- A bisimulation for dynamic sealing
This page was built for publication:
