Friends Need a Bit More: Maintaining Invariants Over Shared State

In  Seventh International Conference on Mathematics of Program Construction (MPC 2004)

Publisher  Springer-Verlag

Details

TypeInproceedings
Pages54-84
SeriesLecture Notes in Computer Science
> Publications > Friends Need a Bit More: Maintaining Invariants Over Shared State