Process algebra with autonomous actions

M. Voorhoeve, T. Basten

Research output: Book/ReportReportAcademic

43 Downloads (Pure)

Abstract

This paper introduces autonomous observable actions into process algebra. These actions can be observed but cannot be controlled by an environment. The proposed extension of ACP allows verifications without silent steps and fairness assumptions. The inclusion of inequalities makes it possible to verify that an implementation satisfies a given specification. with the specification indicating exactly where the implementation may reduce nondeterminism.
Original languageEnglish
Place of PublicationEindhoven
PublisherTechnische Universiteit Eindhoven
Number of pages12
Publication statusPublished - 1996

Publication series

NameComputing science reports
Volume9601
ISSN (Print)0926-4515

Fingerprint

Dive into the research topics of 'Process algebra with autonomous actions'. Together they form a unique fingerprint.

Cite this