Relationally Staged Computations in Calculi of Mobile Processes (2004)

by Neil Ghani , Kidane Yemane , Björn Victor
Citations:10 - 2 self