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 - 2018

Cite this

Boer, F. S. D., & Gouw, S. D. (2018). Compositional Semantics for Concurrent Object Groups in ABS. In P. Müller, & I. Schaefer (Eds.), Principled Software Development : Essays Dedicated to Arnd Poetzsch-Heffter on the Occasion of his 60th Birthday (1 ed., pp. 87-98). Springer. https://doi.org/10.1007/978-3-319-98047-8