skip to main content
Show Results with:

A proof system for weak ST-bisimulation over a finite process algebra.

Matthew Hennessy

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

Check library holdings

Searching Remote Databases, Please Wait