Models and languages for parallel computation
ACM Computing Surveys (CSUR)
Proceedings of the 2003 ACM SIGPLAN international workshop on Types in languages design and implementation
From Kleene Algebra to Refinement Algebra
MPC '02 Proceedings of the 6th International Conference on Mathematics of Program Construction
A type and effect system for atomicity
PLDI '03 Proceedings of the ACM SIGPLAN 2003 conference on Programming language design and implementation
A class of synchronization systems that permit the use of large atomic blocks
CASCON '98 Proceedings of the 1998 conference of the Centre for Advanced Studies on Collaborative research
Atomizer: a dynamic atomicity checker for multithreaded programs
Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Exploiting purity for atomicity
ISSTA '04 Proceedings of the 2004 ACM SIGSOFT international symposium on Software testing and analysis
Science of Computer Programming - Special issue on mathematics of program construction (MPC 2002)
Operational specification with joint actions: serializable databases
Distributed Computing - Special issue: Specification of concurrent systems
Exploiting Purity for Atomicity
IEEE Transactions on Software Engineering
A Foundation for Refining Concurrent Objects
Fundamenta Informaticae
Electronic Notes in Theoretical Computer Science (ENTCS)
Atomizer: A dynamic atomicity checker for multithreaded programs
Science of Computer Programming
Types for atomicity: Static checking and inference for Java
ACM Transactions on Programming Languages and Systems (TOPLAS)
Enabledness and termination in refinement algebra
Science of Computer Programming
The concept of nondeterminism: its development and implications for teaching
ACM SIGCSE Bulletin
Automated verification of refinement laws
Annals of Mathematics and Artificial Intelligence
Effects for cooperable and serializable threads
Proceedings of the 5th ACM SIGPLAN workshop on Types in language design and implementation
Refinement algebra with operators for enabledness and termination
MPC'06 Proceedings of the 8th international conference on Mathematics of Program Construction
| Hi-index | 0.00 |