By Cleaveland R.   Dayar Z.   Smolka S.A.   Yuen S.   in Information and Computation

ISSN:0890-5401|154|2|93-148

Academic Press‎(1999)‎

Access to resources Favorite 9.59792

By Plotkin G.D.   Wu S.-H.   Smolka S.A.   Stark E.W.   in Theoretical Computer Science

ISSN:0304-3975|176|1|1-38

Elsevier‎(1997)‎

Access to resources Favorite 8.3570795

Handbook of Process Algebra‎

By Bergstra   J. A.;Ponse   A.;Smolka   S. A.  

ISBN:9780080533674

Elsevier Science‎(2001)‎

Access to resources Favorite 3.7225227