Concurrent abstract state machines

DOI10.1007/S00236-015-0249-7MaRDI QIDQ303691zbMATH OpenOpenAlexDBLPWikidataFDO

Authors Egon Börger, Klaus-Dieter Schewe

Publication date 22 August 2016

Published in Acta Informatica (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1007/s00236-015-0249-7

zbMATH Keywords

abstract state machine (ASM)concurrent ASM rundistributed ASM runPetri net runsequentially consistent ASM run

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Abstract state machines capture parallel algorithms
• Abstract state machines for data-parallel computing
• scientific article; zbMATH DE number 1951199
• scientific article; zbMATH DE number 1543042
• scientific article; zbMATH DE number 1670511
• Abstract state machines capture parallel algorithms: correction and extension
• Moded and continuous abstract state machines
• scientific article; zbMATH DE number 1706351
• scientific article; zbMATH DE number 1670502

Cites work

• scientific article; zbMATH DE number 1650458 (Why is no real title available?)
• scientific article; zbMATH DE number 1670510 (Why is no real title available?)
• scientific article; zbMATH DE number 5855088 (Why is no real title available?)
• scientific article; zbMATH DE number 996442 (Why is no real title available?)
• scientific article; zbMATH DE number 4030996 (Why is no real title available?)
• scientific article; zbMATH DE number 4039251 (Why is no real title available?)
• scientific article; zbMATH DE number 3722109 (Why is no real title available?)
• scientific article; zbMATH DE number 1296290 (Why is no real title available?)
• scientific article; zbMATH DE number 977449 (Why is no real title available?)
• scientific article; zbMATH DE number 1049168 (Why is no real title available?)
• scientific article; zbMATH DE number 1142328 (Why is no real title available?)
• scientific article; zbMATH DE number 1951198 (Why is no real title available?)
• scientific article; zbMATH DE number 868110 (Why is no real title available?)
• A calculus of communicating systems
• A new solution of Dijkstra's concurrent programming problem
• A new thesis concerning synchronised parallel computing -- simplified parallel ASM thesis
• Abstract State Machines
• Abstract state machines capture parallel algorithms
• Abstract state machines capture parallel algorithms: correction and extension
• Construction and analysis of ground models and their refinements as a foundation for validating computer-based systems
• CoreASM: an extensible ASM execution engine
• Evolving Algebras 1993: Lipari Guide
• How to Make a Multiprocessor Computer That Correctly Executes Multiprocess Programs
• Interactive Small-Step Algorithms I: Axiomatization
• Interactive Small-Step Algorithms II: Abstract State Machines and the Characterization Theorem
• Modeling in Event B. System and software engineering.
• On interprocess communication. I: Basic formalism
• Ordinary interactive small-step algorithms, II
• Ordinary interactive small-step algorithms, III
• Ordinary interactive small-step algorithms. I
• Parallel program schemata
• Partial updates
• Sequential abstract-state machines capture sequential algorithms
• System modelling with high-level Petri nets
• The ASM refinement method
• The B-Book
• Time, clocks, and the ordering of events in a distributed system
• XML database transformations

Cited in

(23)

• Capturing Membrane Computing by ASMs
• Distributed Adaptive Systems
• CoreASM: an extensible ASM execution engine
• Computation on structures. Behavioural theory, logic, complexity
• Abstract state machines capture parallel algorithms: correction and extension
• What is the natural abstraction level of an algorithm?
• A logic for secure memory access of abstract state machines
• A framework for modeling the semantics of synchronous and asynchronous procedures with abstract state machines
• Formal specification and verification of the C\(\#\) thread model
• An ASM-characterization of a class of distributed algorithms
• Abstract state machines for data-parallel computing
• scientific article; zbMATH DE number 1951182 (Why is no real title available?)
• scientific article; zbMATH DE number 1670502 (Why is no real title available?)
• scientific article; zbMATH DE number 1670510 (Why is no real title available?)
• A new thesis concerning synchronised parallel computing -- simplified parallel ASM thesis
• A data-flow approach to test multi-agent ASMs
• Abstract state machines capture parallel algorithms
• A behavioural theory of recursive algorithms
• scientific article; zbMATH DE number 1951199 (Why is no real title available?)
• scientific article; zbMATH DE number 1543042 (Why is no real title available?)
• Axiomatization and characterization of BSP algorithms
• A characterization of distributed ASMs with partial-order runs
• Moded and continuous abstract state machines

Describes a project that uses

Uses Software

• CoreASM

This page was built for publication: Concurrent abstract state machines

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