Skip to main content
Article thumbnail
Location of Repository

A Formal Axiomatization for Alphabet Reasoning with Parametrized Processes

By H. Korver


In the process-algebraic verification of systems with three or more components put in parallel,\ud alphabet axioms are considered to be very useful. These are rules that exploit the information\ud about the alphabets of the processes involved. The alphabet of a process is the set of actions\ud it can perform. In this paper, we extend μCRL (a formal proof system for ACP + data) with\ud such axioms. The alphabet axioms that are added to the proof theory are completely formal\ud and therefore highly suited for computer-checked verification. This is new compared to previous\ud papers where the formulation of alphabet axioms relies for a considerable extend on informal data\ud parameters and implicit (infinite) set theory

Topics: Wijsbegeerte
Year: 1995
OAI identifier:
Download PDF:
Sorry, we are unable to provide the full text but you may find it at the following location(s):
  • (external link)
  • Suggested articles

    To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.