Astrid Kiehn;Matthew Hennessy
-;-
Deciding and axiomatizing weak ST bisimulation for a process algebra with recursion and action refinement
ACM Transactions on Computational Logic (TOCL)