Antony A. Faustini

Publication Activity (10 Years)

Years Active: 1982-1996
Publications (10 Years): 0

University of Warwick, Coventry, UK (PHD)

Education History

University of Warwick, Coventry, UK

PHD

Publications

Mehmet A. Orgun, Antony A. Faustini
Executable Temporal Logic Systems. J. Symb. Comput. 22 (5/6) (1996)
D. DeForest, Antony A. Faustini, R. Lee
Hyperflow. C³P (1988)
Antony A. Faustini, William W. Wadge
An eductive interpreter for Lucid. PLDI (1987)
Antony A. Faustini, Edgar B. Lewis
Toward a Real-Time Dataflow Language. IEEE Softw. 3 (1) (1986)
Antony A. Faustini, Edgar B. Lewis
A Declarative Language for the Specification of Real Time Systems. RTSS (1985)
Antony A. Faustini
An Operational Semantics for Pure Dataflow. ICALP (1982)