Mechanizable proofs about parallel processes (1973)

by J M Cadiou, J J L'evy
Venue:In Switching and Automata Theory Symposium