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.
Similar content being viewed by others
Author information
Authors and Affiliations
Additional information
Received April 1995 / Accepted in revised form March 1998
Rights and permissions
About this article
Cite this article
Korver, H., Sellink, A. Example Verifications Using Alphabet Axioms. Form Aspects Comput 10, 43–58 (1998). https://doi.org/10.1007/PL00003925
Issue Date:
DOI: https://doi.org/10.1007/PL00003925