skip to main content
Show Results with:

A theory of weak bisimulation for core CML.

William Ferreira

University of Sussex, School of Cognitive and Computing Science, 1995.

Check library holdings

Searching Remote Databases, Please Wait