Higher-Order Nets for Mobile Policies

Kathrin Hoffmann, Till Mossakowski, Francesco Parisi-Presicce. Higher-Order Nets for Mobile Policies. Electronic Notes in Theoretical Computer Science, 127(2):87-105, 2005. [doi]

Abstract

Abstract is missing.