@unpublished{lamport1995what,
author = {Lamport, Leslie},
title = {What Process Algebra Proofs Use Instead of Invariance},
year = {1995},
month = {January},
abstract = {Working on [110] got me thinking about how process-algebraic proofs work. This draft note describes my preliminary thoughts about what those proofs use instead of invariance. I never developed this far enough to know if it's right.},
url = {http://approjects.co.za/?big=en-us/research/publication/process-algebra-proofs-use-instead-invariance/},
}