Object Types against Races
- 1 January 1999
- book chapter
- Published by Springer Nature
- p. 288-303
- https://doi.org/10.1007/3-540-48320-9_21
Abstract
No abstract availableKeywords
This publication has 10 references indexed in Scilit:
- Subtyping dependent typesPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- A partially deadlock-free typed process calculusPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Types for Safe LockingPublished by Springer Nature ,1999
- A Concurrent Object Calculus: Reduction and TypingElectronic Notes in Theoretical Computer Science, 1998
- A Generalized Deadlock-Free Process CalculusElectronic Notes in Theoretical Computer Science, 1998
- Inheritance of proofsTheory and Practice of Object Systems, 1998
- A Theory of ObjectsPublished by Springer Nature ,1996
- A calculus for concurrent objectsPublished by Springer Nature ,1996
- The chemical abstract machineTheoretical Computer Science, 1992
- Higher-order modules and the phase distinctionPublished by Association for Computing Machinery (ACM) ,1990