Process algebra with autonomous actions

T. Basten, M. Voorhoeve

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Original languageEnglish
Title of host publicationProceedings 2nd Workshop on Algebra of Communicating Processes (ACP'95, Eindhoven, The Netherlands, May 17-18, 1995)
EditorsA.J. Ponse, C. Verhoef, S.F.M. Vlijmen, van
Place of PublicationEindhoven
PublisherTechnische Universiteit Eindhoven
Pages181-194
Publication statusPublished - 1995

Publication series

NameComputing Science Reports
Volume95-14
ISSN (Print)9432-0101

Cite this