K. M. Chandy
-
Action Systems with Continuous Behaviour
Hybrid Systems V
Computations in space and space in computations
UPP'04 Proceedings of the 2004 international conference on Unconventional Programming Paradigms