Original language | English |
---|---|
Title of host publication | Principled Software Development |
Subtitle of host publication | Essays Dedicated to Arnd Poetzsch-Heffter on the Occasion of his 60th Birthday |
Editors | Peter Müller, Ina Schaefer |
Place of Publication | Cham |
Publisher | Springer |
Chapter | 6 |
Pages | 87-98 |
Number of pages | 12 |
Edition | 1 |
ISBN (Electronic) | 9783319980478 |
ISBN (Print) | 9783319980461 |
DOIs | |
Publication status | Published - 1 Jan 2018 |
Compositional Semantics for Concurrent Object Groups in ABS
Frank S. de Boer, Stijn de Gouw
Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic › peer-review