Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by O. Tardieu
R-Shim: Deterministic Concurrency With Recursion and Shared Variables
Related publications
Scalable Concurrency Control and Recovery for Shared Storage Arrays
Recursion and Double Recursion
Bulletin of the American Mathematical Society
Computer Performance Microscopy With Shim
A Sound and Complete Shared-Variable Concurrency Model for Multi-Threaded Java Programs
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Modeling Concurrency With Geometry
Concurrency Debugging With MaxSMT
Proceedings of the AAAI Conference on Artificial Intelligence
Optimistic Concurrency With OPTIK
ACM SIGPLAN Notices
Computer Science
Iteration and Recursion
Proceedings of the National Academy of Sciences of the United States of America
Multidisciplinary
Expressing Environment Assumptions and Real-Time Requirements for a Distributed Embedded System With Shared Variables
IFIP – The International Federation for Information Processing
