Towards a Logic for Abstract MetaFinite State Machines

DOI10.1007/978-3-540-77684-0_24MaRDI QIDQ5445311zbMATH OpenOpenAlexFDO

Authors Qing Wang, Klaus-Dieter Schewe

Publication date 4 March 2008

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-77684-0_24

Mathematics Subject Classification ID

Database theory (68P15)

Recommendations

• A complete logic for database abstract state machines
• scientific article; zbMATH DE number 5855088
• A proof system with bounded non-determinism in database transformations
• XML database transformations
• scientific article; zbMATH DE number 1841822

Cites work

• A logic for secure memory access of abstract state machines
• Abstract state machines capture parallel algorithms
• scientific article; zbMATH DE number 1670467 (Why is no real title available?)
• scientific article; zbMATH DE number 5605119 (Why is no real title available?)
• scientific article; zbMATH DE number 1556014 (Why is no real title available?)
• scientific article; zbMATH DE number 839556 (Why is no real title available?)
• On the completeness of object-creating database transformation languages
• Sequential abstract-state machines capture sequential algorithms

Cited in

(4)

• XML database transformations
• A proof system with bounded non-determinism in database transformations
• scientific article; zbMATH DE number 1841822 (Why is no real title available?)
• A complete logic for database abstract state machines

This page was built for publication: Towards a Logic for Abstract MetaFinite State Machines

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5445311)