Bisimilarity in fresh-register automata (2020)

First Author: Murawski A

Attributed to: Game Semantics for Java Programs funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Digital Object Identifier: http://dx.doi.org/10.48550/arxiv.2005.06411

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

Type: Preprint