Hybrid action systems

Mauno Rönkkö, Anders P. Ravn, Kaisa Sere. Hybrid action systems. Theoretical Computer Science, 290(1):937-973, 2003.

Abstract

Abstract is missing.