Madhavan Mukund;P. S. Thiagarajan
-;-
Truly Concurrent Logic via In-Between Specification
Electronic Notes in Theoretical Computer Science (ENTCS)