Linearization in Parallel pCRL (2000)

Cached

Download Links

by J. F. Groote , A. Ponse , Y. S. Usenko , Mathematisch Centrum (smc , The Dutch Foundation , Jan Friso Groote , Yaroslav S. Usenko
Venue:Journal of Logic and Algebraic Programming
Citations:21 - 6 self