Verification of Fine-grain Concurrent Programs.
Tony HoarePublished in: Electron. Notes Theor. Comput. Sci. (2008)
Keyphrases
- fine grained
- fine grain
- concurrent programs
- coarse grain
- process algebra
- model checking
- concurrent systems
- asynchronous circuits
- formal methods
- concurrent programming
- parallel computation
- distributed memory
- web applications
- temporal logic
- nested transactions
- distributed systems
- real time
- parallel algorithm
- high level