A Logic for Reflective ASMs

DOI10.1007/978-3-030-48077-6_7zbMath1497.68177OpenAlexW3027906111MaRDI QIDQ5040368

Flavio Ferrarotti, Klaus-Dieter Schewe

Publication date: 14 October 2022

Published in: Rigorous State-Based Methods (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-030-48077-6_7

zbMATH Keywords

reflectionlogicabstract state machinetree algebra

Mathematics Subject Classification ID

Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Classical models of computation (Turing machines, etc.) (68Q04)

Related Items (1)

Computation on structures. Behavioural theory, logic, complexity

Cites Work

• A new thesis concerning synchronised parallel computing -- simplified parallel ASM thesis
• A unifying logic for non-deterministic, parallel and concurrent abstract state machines
• Reflective programming in the relational algebra
• Abstract State Machines
• A Behavioural Theory for Reflective Sequential Algorithms
• A complete logic for Database Abstract State Machines1
• Unnamed Item
• Unnamed Item

This page was built for publication: A Logic for Reflective ASMs