scientific article; zbMATH DE number 1951182

MaRDI QIDQ4413669zbMATH OpenFDO

Authors Egon Börger, Tommaso Bolognesi

Publication date 21 July 2003

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2589/25890022.htm

Mathematics Subject Classification ID

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

Recommendations

• Concurrent abstract state machines
• scientific article; zbMATH DE number 1841822
• scientific article; zbMATH DE number 1696883
• Abstract state machines: a unifying view of models of computation and of system design frameworks
• The abstract state machines method for high-level system design and analysis

Cited in

(7)

• Abstract state machines: a unifying view of models of computation and of system design frameworks
• Combining programs and state machines
• scientific article; zbMATH DE number 1696883 (Why is no real title available?)
• CSP with Hierarchical State
• scientific article; zbMATH DE number 2162121 (Why is no real title available?)
• A characterization of distributed ASMs with partial-order runs
• Algebraic state machines: concepts and applications to security

This page was built for publication:

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