Andrew Edmunds, Marina A. Waldén. Modelling 'Operation-Calls' in Event-B with Shared-Event Composition. In Leila Ribeiro, Thierry Lecomte, editors, Formal Methods: Foundations and Applications - 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings. Volume 10090 of Lecture Notes in Computer Science, pages 97-111, 2016. [doi]
@inproceedings{EdmundsW16, title = {Modelling 'Operation-Calls' in Event-B with Shared-Event Composition}, author = {Andrew Edmunds and Marina A. Waldén}, year = {2016}, doi = {10.1007/978-3-319-49815-7_6}, url = {http://dx.doi.org/10.1007/978-3-319-49815-7_6}, researchr = {https://researchr.org/publication/EdmundsW16}, cites = {0}, citedby = {0}, pages = {97-111}, booktitle = {Formal Methods: Foundations and Applications - 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings}, editor = {Leila Ribeiro and Thierry Lecomte}, volume = {10090}, series = {Lecture Notes in Computer Science}, isbn = {978-3-319-49814-0}, }