Independence: logic and concurrency (2000)

by Julian Bradfield
Venue:Proceedings of the l.~th International Workshop on Computer Science Logic (CSL 2000), number LNCS 1862 in Lecture Notes in Computer Science