scientific article; zbMATH DE number 1543042

zbMath0960.68091MaRDI QIDQ4520494

Marc Spielmann, Yuri Gurevich

Publication date: 26 February 2001

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

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

ASM thesisGurevich abstract state machine

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Related Items (4)

A Characterization of Distributed ASMs with Partial-Order Runs ⋮ Formal specification of MPI 2.0: case study in specifying a practical concurrent programming API ⋮ Abstract state machines: a unifying view of models of computation and of system design frameworks ⋮ A Behavioural Theory of Recursive Algorithms

This page was built for publication: