Distributed Abstract State Machines and Their Expressive Power
dc.contributor.author | Glausch, Andreas | |
dc.contributor.author | Reisig, Wolfgang | |
dc.date.accessioned | 2017-06-15T17:09:19Z | |
dc.date.available | 2017-06-15T17:09:19Z | |
dc.date.created | 2006-04-12 | |
dc.date.issued | 2006-01-30 | |
dc.identifier.issn | 0863-095X | |
dc.identifier.uri | http://edoc.hu-berlin.de/18452/3110 | |
dc.description.abstract | Gurevich’s sequential Abstract State Machines (ASMs) are taken as a basis for the construction of distributed ASMs as sets of sequential ASMs. A theorem on the expressive power of distributed ASM is proven in analogy to Gurevich’s classical theorem on the expressive power of sequential ASM. | eng |
dc.language.iso | eng | |
dc.publisher | Humboldt-Universität zu Berlin, Mathematisch-Naturwissenschaftliche Fakultät II, Institut für Informatik | |
dc.rights.uri | http://rightsstatements.org/vocab/InC/1.0/ | |
dc.subject.ddc | 004 Informatik | |
dc.title | Distributed Abstract State Machines and Their Expressive Power | |
dc.type | book | |
dc.identifier.urn | urn:nbn:de:kobv:11-10062529 | |
dc.identifier.doi | http://dx.doi.org/10.18452/2458 | |
dc.subject.dnb | 28 Informatik, Datenverarbeitung | |
local.edoc.pages | 33 | |
local.edoc.type-name | Buch | |
local.edoc.container-type | series | |
local.edoc.container-type-name | Schriftenreihe | |
local.edoc.container-year | 2006 | |
dc.identifier.zdb | 2942054-4 | |
bua.series.name | Informatik-Berichte | |
bua.series.issuenumber | 2006,196 |