Bisimulation as a Logical Relation (2020)

First Author: Claudio Hermida
Attributed to:  Interface reasoning for interacting systems (IRIS). funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Publication URI: https://arxiv.org/abs/2003.13542

Type: Working Paper