Reasoning about continuous systems

Chandy, 1988 Dijkstra, 1976 Gries, 1981 Hoare, 1984 Hopfield, 1985, Neural computation of decisions in optimization problems, Biol. Cybernet, 52, 141, 10.1007/BF00339943 Jones, 1983, Tentative steps towards a development method for interfering programs, ACM Trans. Programming Languages Syst., 5, 576, 10.1145/69575.69577 Lamport, 1983, Specifying concurrent program modules, ACM Trans. Programming Languages Syst., 6, 190, 10.1145/69624.357207 Martin, 1986, Compiling communicating processes into delay-insensitive VLSI circuits, J. Distributed Comput., 1 Misra, 1989, Equational reasoning of nondeterministic programs Pnueli, 1981, The temporal semantics of concurrent programs, Theoret. Comput. Sci., 13, 45, 10.1016/0304-3975(81)90110-9 Seitz, 1980, System timing