Flavio Ferrarotti, Klaus-Dieter Schewe, Loredana Tec, Qing Wang. A Logic for Non-deterministic Parallel Abstract State Machines. In Marc Gyssens, Guillermo Ricardo Simari, editors, Foundations of Information and Knowledge Systems - 9th International Symposium, FoIKS 2016, Linz, Austria, March 7-11, 2016. Proceedings. Volume 9616 of Lecture Notes in Computer Science, pages 334-354, Springer, 2016. [doi]
Abstract is missing.