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/AsmBook/ http://www.iste.co.uk/index.php%3Ff=a&ACTION=View&id=100 http://www.springeronline.com/978-3-540-87602-1 http://xasm.sourceforge.net/XasmAnl00/XasmAnl00.html 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.eecs.umich.edu/gasm/ 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 http://portal.acm.org/citation.cfm%3Fid=1770371 http://www.informatik.uni-kiel.de/~procos/dag9523/dag9523.html 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/jbook/ http://asmeta.sourceforge.net http://tocl.acm.org https://github.com/CoreASM 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
dbo:wikiPageWikiLink	dbr:Axiomatic_system dbr:Oxford_University_Press dbr:Abstraction dbr:Computer_hardware dbc:Models_of_computation dbr:State_(computer_science) dbr:Formal_specification dbr:Software_agent dbc:Formal_methods dbr:Function_(mathematics) dbr:Set_(mathematics) dbr:Parallel_computing dbr:Prolog dbr:SourceForge dbr:Systems_engineering dbr:CoreASM dbr:Operation_(mathematics) dbr:Java_(programming_language) dbr:Church–Turing_thesis dbr:Springer_Nature dbr:Algorithm dbr:Software dbr:Springer_Science+Business_Media dbr:C_(programming_language) dbr:Computer_science dbr:Invariant_(mathematics) dbr:Requirements_analysis dbr:Egon_Börger dbr:Simulation dbr:Mathematical_logic dbr:Specification_and_Description_Language dbr:Mathematical_structure dbr:Universal_algebra dbr:Yuri_Gurevich dbr:Unified_Modeling_Language dbr:Distributed_computing dbr:Turing_machine dbr:Design_language dbr:Archive.org dbr:Relation_(mathematics) dbr:Isomorphisms dbr:Programming_languages dbr:Finite_State_Machines dbr:State_machine dbr:State_transition dbr:Emulated dbr:Program_refinement dbr:Verification_and_Validation_(software)
dbp:date	2019-09-13 (xsd:date)
dbp:url	https://web.archive.org/web/20190913201414/http:/asmcenter.org/
dbp:wikiPageUsesTemplate	dbt:Reflist dbt:Doi dbt:Multiple_issues dbt:ISBN dbt:Distinguish dbt:More_footnotes dbt:Webarchive dbt:External_links
dct:subject	dbc:Models_of_computation dbc:Formal_methods
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-it:Abstract state machine dbpedia-de: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=1264119814&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:Timeline_of_Russian_innovation dbr:Extended_finite-state_machine dbr:Interactive_computation dbr:Finite-state_machine dbr:Abstract_State_Machine_Language dbr:Abstract_State_Machine dbr:Abstract_state_machine_(version_2) 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