@inproceedings{b99edddd42e0406d9cd1d3dcb7c879e7,
title = "A logic for non-deterministic parallel abstract state machines",
abstract = "We develop a logic which enables reasoning about single steps of non-deterministic parallel Abstract State Machines (ASMs). Our logic builds upon the unifying logic introduced by Nanchen and St{\"a}rk for reasoning about hierarchical (parallel) ASMs. Our main contribution to this regard is the handling of non-determinism (both bounded and unbounded) within the logical formalism. Moreover, we do this without sacrificing the completeness of the logic for statements about single steps of non-deterministic parallel ASMs, such as invariants of rules, consistency conditions for rules, or step-by-step equivalence of rules.",
author = "Flavio Ferrarotti and Schewe, \{Klaus Dieter\} and Loredana Tec and Qing Wang",
note = "Publisher Copyright: {\textcopyright} Springer International Publishing Switzerland 2016.; 9th International Symposium on Foundations of Information and Knowledge Systems, FoIKS 2016 ; Conference date: 07-03-2016 Through 11-03-2016",
year = "2016",
doi = "10.1007/978-3-319-30024-5\_18",
language = "English",
isbn = "9783319300238",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "334--354",
editor = "Marc Gyssens and Guillermo Simari",
booktitle = "Foundations of Information and Knowledge Systems - 9th International Symposium, FoIKS 2016, Proceedings",
address = "Germany",
}