Portal de Periódicos da CAPES

Concurrent abstract state machines

2015; Springer Science+Business Media; Volume: 53; Issue: 5 Linguagem: Inglês

10.1007/s00236-015-0249-7

1432-0525

Egon Börger, Klaus‐Dieter Schewe,

Petri Nets in System Modeling

A concurrent Abstract State Machine (ASM) is a family of agents each equipped with a sequential ASM to execute. We define the semantics of concurrent ASMs by concurrent ASM runs which overcome the problems of Gurevich's distributed ASM runs and generalize Lamport's sequentially consistent runs. A postulate characterizing an intuitive understanding of concurrency is formulated. It allows us to state and prove an extension of the sequential ASM thesis to a concurrent ASM thesis.