Communities and ancestors associated with Egon Börger and ASM

DOI10.1007/978-3-030-76020-5_6OpenAlexW3170060523MaRDI QIDQ2117583

Jonathan P. Bowen

Publication date: 22 March 2022

Full work available at URL: https://doi.org/10.1007/978-3-030-76020-5_6

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX) Computer science (68-XX)

Uses Software

• Mathematics Genealogy Project

Cites Work

• Computational logic
• The ASM refinement method
• Agent technology from a formal perspective.
• Abstract state machines, B and Z. First international conference, ABZ 2008, London, UK, September 16--18, 2008. Proceedings
• Formal methods for industrial applications. Specification and programming the Steam Boiler Control
• A Relational Approach to an Algebraic Community: From Paul Erdős to He Jifeng
• The Abstract State Machines Method for High-Level System Design and Analysis
• Abstract State Machines
• Evolving Algebras 1993: Lipari Guide
• Frontiers of Combining Systems
• Sequential abstract-state machines capture sequential algorithms
• On Computable Numbers, with an Application to the Entscheidungsproblem
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item