Sciweavers

45 search results - page 1 / 9
» asm 2008
Sort
View
ASM
2008
ASM
14 years 26 days ago
A Roadmap for the Rodin Toolset
Jean-Raymond Abrial, Michael J. Butler, Stefan Hal...
TOCL
2008
113views more  TOCL 2008»
13 years 10 months ago
Abstract state machines capture parallel algorithms: Correction and extension
State Machines Capture Parallel Algorithms: Correction and Extension ANDREAS BLASS University of Michigan and YURI GUREVICH Microsoft Research We consider parallel algorithms worki...
Andreas Blass, Yuri Gurevich