Model checking the Java meta-locking algorithm
- 7 November 2002
- proceedings article
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- p. 342-350
- https://doi.org/10.1109/ecbs.2000.839894
Abstract
No abstract availableKeywords
This publication has 4 references indexed in Scilit:
- Verification of Parameterized Systems Using Logic Program TransformationsPublished by Springer Nature ,2000
- An efficient meta-lock for implementing ubiquitous synchronizationPublished by Association for Computing Machinery (ACM) ,1999
- Automatic verification of finite-state concurrent systems using temporal logic specificationsACM Transactions on Programming Languages and Systems, 1986
- Results on the propositional μ-calculusTheoretical Computer Science, 1983