Share this page
Share this page E-mail this page Print this page RSS feeds
Home > Publications > Friends Need a Bit More: Maintaining Invariants Over Shared State
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

Type: Inproceedings
Pages: 54-84
Series: Lecture Notes in Computer Science