Regular Strategies in Pushdown Reachability Games (2014)

First Author: A. Carayol And M. Hague
Attributed to:  Verification of Concurrent and Higher-Order Recursive Programs funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Publication URI: http://pure.rhul.ac.uk/portal/en/publications/regular-strategies-in-pushdown-reachability-games(4e9aa0ed-2fd2-4bb0-af08-3e04ad0c4339).html

Type: Conference/Paper/Proceeding/Abstract

Volume: 8

Parent Publication: Reachability Problems (RP)