Compositional Semantics for Concurrent Object Groups in ABS

Frank S. de Boer, Stijn de Gouw

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

Original languageEnglish
Title of host publicationPrincipled Software Development
Subtitle of host publicationEssays Dedicated to Arnd Poetzsch-Heffter on the Occasion of his 60th Birthday
EditorsPeter Müller, Ina Schaefer
Place of PublicationCham
PublisherSpringer
Chapter6
Pages87-98
Number of pages12
Edition1
ISBN (Electronic)9783319980478
ISBN (Print)9783319980461
DOIs
Publication statusPublished - 1 Jan 2018

Cite this