About: Abstract state machine

An Entity of Type: Thing, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

State machine operating on states that are arbitrary data structures

Property	Value
dbo:description	state machine operating on states that are arbitrary data structures (en) Modell zur formalen, operationellen Beschreibung von Algorithmen (de) Modèle mathématique de calcul qui opère sur des états de structures mathématiques (fr)
dbo:wikiPageExternalLink	http://www.asmcenter.org/ http://www.di.unipi.it/~boerger/jbook/ http://www.informatik.uni-kiel.de/~procos/dag9523/dag9523.html http://www.springeronline.com/978-3-540-87602-1 http://xasm.sourceforge.net/XasmAnl00/XasmAnl00.html https://github.com/CoreASM https://www.dagstuhl.de/02101 https://www.dagstuhl.de/06191 https://www.dagstuhl.de/99241 http://www.inderscience.com/search/index.php%3Faction=record&rec_id=12626&prevQuery=&ps=10&m=or http://www.codeplex.com/AsmL/ http://www.jucs.org/doi%3Fdoi=10.3217/jucs-014-12 http://www.jucs.org/jucs_3_5/integrating_asm http://www.jucs.org/jucs_6_7 http://www.jucs.org/jucs_7_11 http://www.jucs.org/jucs_7_11/formal_definition_of_sdl https://dblp.org/db/conf/asm/asm2000 https://dblp.org/db/conf/asm/asm2003 https://dblp.org/db/conf/asm/asm2004 https://dblp.org/db/conf/birthday/borger2009 https://dblp.org/db/conf/csl/csl95 https://dblp.org/db/conf/dagstuhl/fm1995 https://dblp.org/db/conf/korso/korso1995fd https://dblp.org/db/conf/lipari/lipari2007 http://www.di.unipi.it/~boerger/AsmBook/ http://www.iste.co.uk/index.php%3Ff=a&ACTION=View&id=100 http://asmeta.sourceforge.net http://tocl.acm.org https://web.archive.org/web/20061002142048/http:/www.univ-paris12.fr/lacl/dima/asm05/asm05-contents.html https://web.archive.org/web/20090719170052/http:/chacs.nrl.navy.mil/books/realtime/overview.html https://web.archive.org/web/20090913202636/http:/www.sciencedirect.com/science%3F_ob=ArticleURL&_udi=B6VRG-48FKC55-2&_user=10&_rdoc=1&_fmt=&_orig=search&_sort=d&view=c&_acct=C000050221&_version=1&_urlVersion=0&_userid=10&md5=9da4c19ef309568c1598d3f6c48db4b6The https://web.archive.org/web/20090913202642/http:/fi.mimuw.edu.pl/abs77.html https://web.archive.org/web/20090914111707/http:/www.tydo.de/doktorarbeit.html http://www.sciencedirect.com/science/issue/5674-2005-996639997-594598 http://portal.acm.org/citation.cfm%3Fid=1770371 http://www.eecs.umich.edu/gasm/
dbo:wikiPageWikiLink	dbr:Finite_State_Machines dbr:Java_(programming_language) dbr:Prolog dbr:Algorithm dbr:C_(programming_language) dbr:Computer_hardware dbr:Computer_science dbr:Function_(mathematics) dbr:Mathematical_logic dbr:Parallel_computing dbr:Software dbr:Software_agent dbr:Turing_machine dbr:Distributed_computing dbr:Oxford_University_Press dbr:SourceForge dbr:Formal_specification dbr:Springer_Science+Business_Media dbr:Abstraction dbr:Yuri_Gurevich dbr:Set_(mathematics) dbr:Simulation dbr:Springer_Nature dbr:Requirements_analysis dbr:Axiomatic_system dbr:Operation_(mathematics) dbr:Church–Turing_thesis dbr:Specification_and_Description_Language dbr:Systems_engineering dbr:Unified_Modeling_Language dbr:Universal_algebra dbr:State_(computer_science) dbr:Design_language dbr:Invariant_(mathematics) dbr:Relation_(mathematics) dbr:Egon_Börger dbr:Mathematical_structure dbr:CoreASM dbc:Formal_methods dbc:Models_of_computation dbr:Programming_languages dbr:Archive.org dbr:Isomorphisms dbr:Program_refinement dbr:Emulated dbr:State_machine dbr:State_transition dbr:Verification_and_Validation_(software)
dbp:bot	InternetArchiveBot (en)
dbp:date	2019-09-13 (xsd:date) August 2025 (en)
dbp:fixAttempted	yes (en)
dbp:url	https://web.archive.org/web/20190913201414/http:/asmcenter.org/
dbp:wikiPageUsesTemplate	dbt:Dead_link dbt:Distinguish dbt:Doi dbt:External_links dbt:ISBN dbt:More_footnotes dbt:Multiple_issues dbt:Reflist dbt:Webarchive
dct:subject	dbc:Formal_methods dbc:Models_of_computation
rdf:type	owl:Thing owl:Thing
rdfs:label	Abstract state machine (en) Abstrakte Zustandsmaschine (de) Machine à états abstraits (fr) Abstract state machine (it) Máquina de estados abstratos (pt)
owl:differentFrom	dbr:Algorithmic_state_machine
owl:sameAs	wikidata:Abstract state machine dbpedia-de:Abstract state machine dbpedia-it:Abstract state machine dbpedia-fr:Abstract state machine dbpedia-pt:Abstract state machine dbpedia-vi:Abstract state machine dbpedia-global:Abstract state machine
prov:wasDerivedFrom	wikipedia-en:Abstract_state_machine?oldid=1305031615&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Abstract_state_machine
is dbo:knownFor of	dbr:Egon_Börger
is dbo:wikiPageRedirects of	dbr:Abstract_State_Machine dbr:Abstract_state_machine_(version_2) dbr:Abstract_State_Machines dbr:Abstract_State_Machines dbr:Abstract_state_machines dbr:Evolving_Algebras
is dbo:wikiPageWikiLink of	dbr:Abstract_State_Machine dbr:Abstract_state_machine_(version_2) dbr:Interactive_computation dbr:Finite-state_machine dbr:Timeline_of_Russian_innovation dbr:Abstract_State_Machine_Language dbr:Extended_finite-state_machine dbr:Abstract_State_Machines dbr:Abstract_state_machines dbr:Evolving_Algebras
is dbp:knownFor of	dbr:Egon_Börger
is owl:differentFrom of	dbr:Algorithmic_state_machine
is foaf:primaryTopic of	wikipedia-en:Abstract_state_machine