Empty interworkings and refinement, semantics of interworkings revisited

S. Mauw, M.A. Reniers

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
Publication statusPublished - 1995

Publication series

NameComputing Science Reports
ISSN (Print)9432-0101

Cite this