Pages that link to "Item:Q1004057"
From MaRDI portal
The following pages link to A shared-variable concurrency analysis of multi-threaded object-oriented programs (Q1004057):
Displaying 7 items.
- Observable behavior of distributed systems: component reasoning for concurrent objects (Q444466) (← links)
- Safe locking for multi-threaded Java with exceptions (Q444468) (← links)
- An operational semantics for object-oriented concepts based on the class hierarchy (Q736789) (← links)
- Dead code elimination based pointer analysis for multithreaded programs (Q1939745) (← links)
- Calculating Statically Maximum Log Memory Used by Multi-threaded Transactional Programs (Q3179394) (← links)
- How to share concurrent wait-free variables (Q4371684) (← links)
- Formal Methods for Open Object-Based Distributed Systems (Q5902547) (← links)