Communities and ancestors associated with Egon Börger and ASM

DOI10.1007/978-3-030-76020-5_6MaRDI QIDQ2117583zbMATH OpenOpenAlexFDO

Authors 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)

Cites work

• scientific article; zbMATH DE number 425996 (Why is no real title available?)
• scientific article; zbMATH DE number 1156869 (Why is no real title available?)
• scientific article; zbMATH DE number 1995120 (Why is no real title available?)
• scientific article; zbMATH DE number 2172807 (Why is no real title available?)
• scientific article; zbMATH DE number 818239 (Why is no real title available?)
• scientific article; zbMATH DE number 965572 (Why is no real title available?)
• A relational approach to an algebraic community: from Paul Erdős to He Jifeng
• Abstract State Machines
• Abstract state machines, B and Z. First international conference, ABZ 2008, London, UK, September 16--18, 2008. Proceedings
• Agent technology from a formal perspective.
• Computational logic
• Evolving Algebras 1993: Lipari Guide
• Formal methods for industrial applications. Specification and programming the Steam Boiler Control
• Frontiers of Combining Systems
• It began with Babbage. The genesis of computer science
• On Computable Numbers, with an Application to the Entscheidungsproblem
• Sequential abstract-state machines capture sequential algorithms
• The ASM refinement method
• The Turing guide. Edited by Jack Copeland, Jonathan Bowen, Mark Sprevak and Robin Wilson
• The abstract state machines method for high-level system design and analysis

Describes a project that uses

Uses Software

• Mathematics Genealogy Project

This page was built for publication: Communities and ancestors associated with Egon Börger and ASM

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