Skip to content
Snippets Groups Projects
Commit a72eb0d7 authored by Ralf Jung's avatar Ralf Jung
Browse files

fix typo

parent 0378f456
No related branches found
No related tags found
No related merge requests found
(** A TaDA-style logically atomic specification for a lock, derived for an
arbitrary implementation of the lock interfacne. The opposite direction
arbitrary implementation of the lock interface. The opposite direction
could also be derived rather easily (modulo a later in the [acquire] postcondition
or a restriction to timeless lock invariants), as shown in the TaDA paper.
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment