Monitoring a target network to support subsequent host simulation

Schwartz, 1983, An Interval Logic for Higher-Level Temporal Reasoning Lampson, 1983, Hints for computer system design, Operating Systems Review, 17, 33, 10.1145/773379.806614 Harrison, 1983, Transputer Development using the occam Programming System Model, 1979, Monitoring system behaviour in a complex computational environment, Xerox Palo Alto Research Center CSL-79-1 Snodgrass, 1982, Monitoring distributed systems: a relational approach Teitelbaum, 1981, The Cornell program, synthesizer: a syntax-directed programming environment, Communications of the ACM, 24, 563, 10.1145/358746.358755 Milner, 1980, A calculus of communicating systems, 10.1007/3-540-10235-3 Hoare, 1978, Communicating sequential processes, Communications of the ACM, 21, 666, 10.1145/359576.359585 Inmos Ltd, 1984