SearchAxiomatizing a Fragment of PAFAS
Walter Vogler, Lars Jenner
2000-01
published 2000
in: Augsburg, Germany
Technical Report, Institute of Computer Science, University of Augsburg, 2000
In previous work, we have presented a CCS-like process algebra PAFAS for comparing the efficiency of asynchronous systems. This note gives a complete axiomatization for a fragment of PAFAS.
Downloads:
- Axiomatizing a Fragment of PAFAS - (2000-1_ps.ps, 340 KB)