Congruent Bisimulation Equivalence of Ambient Calculus Based on Contextual Transition System.

Masaki Murakami

Browse the full TASE paper archive.