Compositionality and Reachability with Conditions on Path Lengths

Ingo Felscher, Wolfgang Thomas. Compositionality and Reachability with Conditions on Path Lengths. Int. J. Found. Comput. Sci., 20(5):851-868, 2009. [doi]

Abstract

Abstract is missing.