Reasoning about interference in an object-based design method
- 9 June 2005
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 24 references indexed in Scilit:
- A calculus of mobile processes, IPublished by Elsevier ,2004
- Larch: Languages and Tools for Formal SpecificationPublished by Springer Nature ,1993
- A pi-calculus semantics for an object-based design notationPublished by Springer Nature ,1993
- Application of the composition principle to unity-like specificationsPublished by Springer Nature ,1993
- Constraining interference in an object-based design methodPublished by Springer Nature ,1993
- Interference RevisitedPublished by Springer Nature ,1991
- CONCUR '91Published by Springer Nature ,1991
- Tentative steps toward a development method for interfering programsACM Transactions on Programming Languages and Systems, 1983
- A proof method for cyclic programsActa Informatica, 1978
- MonitorsCommunications of the ACM, 1974