Concurrent Kripke structures (1993)

by V Gupta
Venue:In Proceedings of the North American Process Algebra Workshop, Cornell CS-TR-93-1369