Skip navigation
Skip navigation

A Logic for Non-deterministic Parallel Abstract State Machines

Ferrarotti, Flavio; Schewe, Klaus-Dieter; Tec, Loredana; Wang, Qing


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ä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...[Show more]

CollectionsANU Research Publications
Date published: 2016
Type: Conference paper
Source: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
DOI: 10.1007/978-3-319-30024-5_18


File Description SizeFormat Image
01_Ferrarotti_A_Logic_for_Non-deterministic_2016.pdf703.38 kBAdobe PDF    Request a copy

Items in Open Research are protected by copyright, with all rights reserved, unless otherwise indicated.

Updated:  19 May 2020/ Responsible Officer:  University Librarian/ Page Contact:  Library Systems & Web Coordinator