Methods
Conferences
Case Studies
Publications
Keynotes
Committee
Senén González
Latest
Towards Refinement of Unbounded Parallelism in ASMs Using Concurrency and Reflection
Unbounded Barrier-Synchronized Concurrent ASMs for Effective MapReduce Processing on Streams
Systematic Refinement of Abstract State Machines with Higher-Order Logic
Cite
×