Axiomatizing a fragment of PAFAS

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.

Metadaten
Author:	Walter Vogler GND, Lars Jenner GND
URN:	urn:nbn:de:bvb:384-opus4-1582
Frontdoor URL	https://opus.bibliothek.uni-augsburg.de/opus4/207
Series (Serial Number):	Reports / Technische Berichte der Fakultät für Angewandte Informatik der Universität Augsburg (2000-01)
Type:	Report
Language:	English
Date of Publication (online):	2006/06/08
Year of first Publication:	2000
Publishing Institution:	Universität Augsburg
Release Date:	2006/06/08
GND-Keyword:	Nebenläufigkeit; Worst-Case-Laufzeit
Institutes:	Fakultät für Angewandte Informatik
	Fakultät für Angewandte Informatik / Institut für Informatik
	Fakultät für Angewandte Informatik / Institut für Informatik / Lehrstuhl für Softwaretechnik
	Fakultät für Angewandte Informatik / Institut für Informatik / Lehrstuhl für Softwaretechnik / Professur für Theorie verteilter Systeme
Dewey Decimal Classification:	0 Informatik, Informationswissenschaft, allgemeine Werke / 00 Informatik, Wissen, Systeme / 004 Datenverarbeitung; Informatik
Licence (German):	Deutsches Urheberrecht

Open Access