{"version":"1.0","type":"link","title":"Abstract state machine - Newikis","description":"In computer science, an abstract state machine (ASM) is a state machine operating on states that are arbitrary data structures (structure in the sense of mathematical logic, that is a nonempty set together with a number of functions (operations) and relations over the set).","provider_name":"Newikis","provider_url":"https://newikis.com","cache_age":86400}