From μCRL to mCRL2 -- Motivation and Outline (2006)

Cached

Download Links

by Jan Friso Groote , Aad Mathijssen , Muck Van Weerdenburg , Yaroslav Usenko
Citations:11 - 8 self