Ian J. Hayes, Robert J. Colvin, Larissa A. Meinicke, Kirsten Winter, Andrius Velykis
An Algebra of Synchronous Atomic Steps
FM, 2016.
@inproceedings{FM-2016-HayesCMWV,
author = "Ian J. Hayes and Robert J. Colvin and Larissa A. Meinicke and Kirsten Winter and Andrius Velykis",
booktitle = "{Proceedings of the 21st International Symposium of Formal Methods}",
doi = "10.1007/978-3-319-48989-6_22",
isbn = "978-3-319-48988-9",
pages = "352--369",
title = "{An Algebra of Synchronous Atomic Steps}",
year = 2016,
}
Tags: