Please note that the content of this book primarily consists of articles available from Wikipedia or other free sources online. In computer science, an abstract state machine is a state machine operating on states which are arbitrary data structures. In the original conception of ASMs, a single agent executes a program in a sequence of steps, possibly interacting with its environment. This notion was extended to capture distributed computations, in which multiple agents execute their programs concurrently. Since ASMs model algorithms at arbitrary levels of abstraction, they can provide high-level, low-level and mid-level views of a hardware or software design. ASM specifications often consist of a series of ASM models, starting with an abstract ground model and proceeding to greater levels of detail in successive refinements or coarsenings.

Под заказ:
	OZON.ru - 5111 руб.	Перейти

Рейтинг книги: 5 из 5, 8 голос(-ов).