Underspecification for process algebras

Preview

PDF
2000_07.pdf - Published
Download (1MB)

URL:	https://ub-madoc.bib.uni-mannheim.de/1839
URN:	urn:nbn:de:bsz:180-madoc-18398
Document Type:	Working paper
Year of publication:	2000
The title of a journal, publication series:	Technical Reports
Volume:	00-007
Place of publication:	Mannheim
Publication language:	English
Institution:	School of Business Informatics and Mathematics > Sonstige - Fakultät für Wirtschaftsinformatik und Wirtschaftsmathematik
MADOC publication series:	Veröffentlichungen der Fakultät für Mathematik und Informatik > Institut für Informatik > Technical Reports
Subject:	004 Computer science, internet
Classification:	MSC: 68Q85 ,
Subject headings (SWD):	Spezifikation , Funktionale Semantik
Abstract:	Zu dieser Veröffentlichung liegt kein Abstract vor.
Additional information: