Luigia Petre

Ralph-Johan Back, Luigia Petre, and Ivan Porres. Continuous Action Systems as a Model for Hybrid Systems. Nordic Journal of Computing, 8(1):2-21, Spring 2001. Abstract, References, etc.