Communities and ancestors associated with Egon Börger and ASM

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

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

• Abstract State Machines
• Evolving Algebras 1993: Lipari Guide
• Title not available (Why is that?)
• On Computable Numbers, with an Application to the Entscheidungsproblem
• Sequential abstract-state machines capture sequential algorithms
• The ASM refinement method
• Title not available (Why is that?)
• Frontiers of Combining Systems
• Agent technology from a formal perspective.
• Formal methods for industrial applications. Specification and programming the Steam Boiler Control
• Computational logic
• Title not available (Why is that?)
• Abstract state machines, B and Z. First international conference, ABZ 2008, London, UK, September 16--18, 2008. Proceedings
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• The Turing guide. Edited by Jack Copeland, Jonathan Bowen, Mark Sprevak and Robin Wilson
• 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
• It began with Babbage. The genesis of computer science

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)