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}
}
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

References

Publications referenced by this paper.
Showing 1-10 of 24 references

The ABP and the CABP { a comparison of performances in real time process algebra

  • J A Hillebrand
  • Proceedings of ACP94. Workshops in Computing
  • 1994

A formal veriication of the alternating bit protocol in CRL

  • G Kam, Kamsteeg
  • A formal veriication of the alternating bit…
  • 1993

Algebraic Speciication of Communication Protocols

  • Mv, S Mauw, G J Veltink
  • Cambridge Tracts in Theoretical Computer Science
  • 1993

An algebraic veriication of the concurrent alternating bit protocol

  • J J Wam, Van Wamel
  • An algebraic veriication of the concurrent…
  • 1992

Linear unary operators in process algebra

  • C Ver, Verhoef
  • Linear unary operators in process algebra
  • 1992

A process speciication formalism

  • Mv, S Mauw, G J Veltink
  • Fundamenta Informaticae XIII
  • 1990

Similar Papers

Loading similar papers…