An Operational Semantics for Pure Dataflow. - Antony A. Faustini (ICALP, 1982)

The equivalence of an operational and a denotational semantics for pure dataflow. - Antony A. Faustini (1982)

A Declarative Language for the Specification of Real Time Systems. - Antony A. Faustini; Edgar B. Lewis (RTSS, 1985)

Toward a Real-Time Dataflow Language. - Antony A. Faustini; Edgar B. Lewis (IEEE Softw., 1986)

An eductive interpreter for Lucid. - Antony A. Faustini; William W. Wadge (PLDI, 1987)

Hyperflow. - D. DeForest; Antony A. Faustini; R. Lee (C³P, 1988)

Executable Temporal Logic Systems. - Mehmet A. Orgun; Antony A. Faustini (J. Symb. Comput., 1996)