Download

I. Felscher and W. Thomas. Compositionality and Reachability with Conditions on Path Lengths

Electronic version of an article published as [International Journal of Foundations of Computer Science, Volume 20 ,Issue 5, 2009, pages 851-868]
[DOI: 10.1142/S0129054109006929] © World Scientific Publishing Company http://www.worldscinet.com/ijfcs/ijfcs.shtml

Download