scientific article; zbMATH DE number 1543042

MaRDI QIDQ4520494zbMATH OpenFDO

Authors Marc Spielmann, Yuri Gurevich

Publication date 26 February 2001

Full work available at URL http://www.jucs.org/jucs_3_4/recursiv_abstract

zbMATH Keywords

ASM thesisGurevich abstract state machine

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Recommendations

• scientific article; zbMATH DE number 1796135
• scientific article; zbMATH DE number 2038754
• scientific article; zbMATH DE number 1670503
• scientific article; zbMATH DE number 2172808
• Concurrent abstract state machines
• State-transition machines, revisited
• scientific article; zbMATH DE number 1841822
• Abstract state machines and the inquiry process

Cited in

(13)

• Abstract state machines: a unifying view of models of computation and of system design frameworks
• scientific article; zbMATH DE number 1670509 (Why is no real title available?)
• Cubic finite state machine
• Finite state machine based: SDL
• Concurrent abstract state machines
• scientific article; zbMATH DE number 1951192 (Why is no real title available?)
• scientific article; zbMATH DE number 1759480 (Why is no real title available?)
• scientific article; zbMATH DE number 1796135 (Why is no real title available?)
• scientific article; zbMATH DE number 2155186 (Why is no real title available?)
• A behavioural theory of recursive algorithms
• A characterization of distributed ASMs with partial-order runs
• Abstract State Machines with Exact Real Arithmetic
• Formal specification of MPI 2.0: case study in specifying a practical concurrent programming API

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