Bisimilarity in Fresh-Register Automata (2015)

First Author: Murawski A. S.
Attributed to:  Program Reasoning with Nominal Game Semantics funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Publication URI: http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=7174878

Type: Conference/Paper/Proceeding/Abstract