The notion of τ-confluence provides a form of partial order reduction of Labelled Transition Systems (Ltss), by allowing to identify the τ-transitions whose execution does not alter the observable behaviour of the system. Several forms of τ-confluence adequate with branching bisimulation were studied in the literature, ranging from strong to weak ones according to the length of τ-transition seq...

Understanding the role of landscape heterogeneity and its influence on the scaling behavior of surface fluxes as observed by satellite sensors with different spatial resolutions is a critical need to investigate. In this study, the effects of pixel scales on ETc estimation and other parameters that are used to calculate ETc were investigated over different vegetation surfaces in south central N...