Zur Kurzanzeige

2006-01-30Buch DOI: 10.18452/2458
Distributed Abstract State Machines and Their Expressive Power
dc.contributor.authorGlausch, Andreas
dc.contributor.authorReisig, Wolfgang
dc.date.accessioned2017-06-15T17:09:19Z
dc.date.available2017-06-15T17:09:19Z
dc.date.created2006-04-12
dc.date.issued2006-01-30
dc.identifier.issn0863-095X
dc.identifier.urihttp://edoc.hu-berlin.de/18452/3110
dc.description.abstractGurevich’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.isoeng
dc.publisherHumboldt-Universität zu Berlin, Mathematisch-Naturwissenschaftliche Fakultät II, Institut für Informatik
dc.rights.urihttp://rightsstatements.org/vocab/InC/1.0/
dc.subject.ddc004 Informatik
dc.titleDistributed Abstract State Machines and Their Expressive Power
dc.typebook
dc.identifier.urnurn:nbn:de:kobv:11-10062529
dc.identifier.doihttp://dx.doi.org/10.18452/2458
dc.subject.dnb28 Informatik, Datenverarbeitung
local.edoc.pages33
local.edoc.type-nameBuch
local.edoc.container-typeseries
local.edoc.container-type-nameSchriftenreihe
local.edoc.container-year2006
dc.identifier.zdb2942054-4
bua.series.nameInformatik-Berichte
bua.series.issuenumber2006,196

Zur Kurzanzeige