Example Verifications Using Alphabet Axioms
Henri Korver, Alex Sellink · Formal Aspects of Computing · 1998
Abstract. This paper is supplementary to [KoS98]. It illustrates by means of examples the use of alphabet axioms as presented in [KoS98]. Furthermore a brief overview of μCRL [GrP94] and its proof theory [GrP93] are added.