trace and fixed-point semantics, Theoret (2002)

by P Katis, N Sabadini, R F C Walters, Feedback
Venue:Informatics Appl