First order axioms for concurrency (1997)

by P Selinger
Venue:In Proceedings of CONCUR 97, number 1243 in Lecture Notes In Computer Science