Sequential Object Monitors
No abstract available.
Related papers
- Sound and Complete Monitoring of Sequential Consistency for Relaxed Memory Models TACAS 2011
- Fixed Parameter Tractable Linearizability Monitoring PLDI 2026
- The apprentice challenge TOPLAS 2002
- Transactional Monitors for Concurrent Objects ECOOP 2004
- Object-oriented design pattern for DSL program monitoring SLE 2016
- Semantics Directed Program Execution Monitoring JFP 1995
- A Probe-Based Monitoring Scheme for an Object-Oriented Distributed Operating System OOPSLA 1986
- Object Lessons Learned from a Distributed System for Remote Building Monitoring and Operation OOPSLA 1998