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

Cached

Download Links

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