Publication:3077363
From MaRDI portal
zbMath1224.68029MaRDI QIDQ3077363
Qing Wang, Klaus-Dieter Schewe
Publication date: 22 February 2011
Related Items
Distributed Adaptive Systems, Systematic Refinement of Abstract State Machines with Higher-Order Logic, Concurrent abstract state machines, A new thesis concerning synchronised parallel computing -- simplified parallel ASM thesis, Abstract State Machines for Data-Parallel Computing, A Proof System with Bounded Non-determinism in Database Transformations, A Behavioural Theory of Recursive Algorithms