# Process Algebra with Language Matching

@article{Wamel1997ProcessAW, title={Process Algebra with Language Matching}, author={Jos van Wamel}, journal={Theor. Comput. Sci.}, year={1997}, volume={177}, pages={425-458} }

- Published 1997 in Theor. Comput. Sci.
DOI:10.1016/S0304-3975(97)88197-2

An axiom system ACP lm is presented as a variant of the process algebra ACP (Algebra of Communicating Processes). The acronym ACP lm stands for ACP with abstraction, extended with operators and axioms for language matching. Language matching is a technique based on trace information for labelling and cutting oo process terms that do not match some given trace (or set of traces). It is shown that in combination with the axioms for action alphabets interesting results are derivable, the most… CONTINUE READING