scientific article
From MaRDI portal
Publication:3077363
zbMath1224.68029MaRDI QIDQ3077363
Qing Wang, Klaus-Dieter Schewe
Publication date: 22 February 2011
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (7)
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
This page was built for publication: