Transition System Specifications in Stalk Formal with Bisimulation as a Congruence.

Vincent van Oostrom, Erik P. de Vink

Browse the full STACS paper archive.