A Logic for Non-deterministic Parallel Abstract State Machines

被引：3

作者：

Ferrarotti, Flavio ^{[1
]}

Schewe, Klaus-Dieter ^{[1
]}

Tec, Loredana ^{[1
]}

Wang, Qing ^{[2
]}

机构：

[1] Software Competence Ctr Hagenberg, A-4232 Hagenberg, Austria

[2] Australian Natl Univ, Res Sch Comp Sci, Canberra, ACT 0200, Australia

来源：

FOUNDATIONS OF INFORMATION AND KNOWLEDGE SYSTEMS (FOIKS 2016) | 2016年 / 9616卷

基金：

奥地利科学基金会;

关键词：

D O I：

10.1007/978-3-319-30024-5_18

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

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 Stark 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.

引用

页码：334 / 354

页数：21

共 50 条

[31] Optimization schemas for parallel implementation of non-deterministic languages and systems
Gupta, G
Pontelli, E
SOFTWARE-PRACTICE & EXPERIENCE, 2001, 31 (12): : 1143 - 1181
[32] Efficient backtracking in and-parallel implementations of non-deterministic languages
Pontelli, E
Gupta, G
1998 INTERNATIONAL CONFERENCE ON PARALLEL PROCESSING - PROCEEDINGS, 1998, : 338 - 345
[33] Non-deterministic matrices
Avron, A
Lev, I
34TH INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC, PROCEEDINGS, 2004, : 282 - 287
[34] Abstract state machines capture parallel algorithms
Blass, Andreas
Gurevich, Yuri
ACM Transactions on Computational Logic, 2003, 4 (03) : 578 - 651
[35] Deterministic and non-deterministic stable models
Sacca, D
Zaniolo, C
JOURNAL OF LOGIC AND COMPUTATION, 1997, 7 (05) : 555 - 579
[36] Bounding lemmata for non-deterministic halting times of transfinite Turing machines
Welch, Philip D.
THEORETICAL COMPUTER SCIENCE, 2008, 394 (03) : 223 - 228
[37] Non-deterministic halting times for Hamkins-Kidder turing machines
Welch, P. D.
LOGICAL APPROACHES TO COMPTATIONAL BARRIERS, PROCEEDINGS, 2006, 3988 : 571 - 574
[38] Bursts and Output Feedback Control of Non-Deterministic Asynchronous Sequential Machines
Peng, Jun
Hammer, Jacob
EUROPEAN JOURNAL OF CONTROL, 2012, 18 (03) : 286 - 300
[39] NON-DETERMINISTIC FORTRAN
COHEN, J
CARTON, E
COMPUTER JOURNAL, 1974, 17 (01): : 44 - 51
[40] Non-deterministic processors
May, D
Muller, HL
Smart, NP
INFORMATION SECURITY AND PRIVACY, PROCEEDINGS, 2001, 2119 : 115 - 129

← 1 2 3 4 5 →