Deciding equivalence using type checking Colin Stirling [removed] LFCS School of Informatics University of Edinburgh - Model of computation - Document - PDFSEARCH.IO

First Page	Meta Content
	Deciding equivalence using type checking Colin Stirling [removed] LFCS School of Informatics University of Edinburgh Add to Reading List Document Date: 2014-06-30 04:38:21 Open Document File Size: 502,85 KB Share Result on Facebook City Paris / / / Facility Informatics University of Edinburgh IHP Abstraction / / IndustryTerm finite and infinite state systems / / Organization Informatics University of Edinburgh IHP Abstraction / Colin Stirling cps@inf.ed.ac.uk LFCS School / Ku Klux Klan / / SocialTag Model checking Finite-state machine Automata theory Models of computation Deterministic pushdown automaton

Deciding equivalence using type checking Colin Stirling [removed] LFCS School of Informatics University of EdinburghAdd to Reading List