Antony A. Faustini

According to our database, Antony A. Faustini authored at least 7 papers between 1982 and 1996.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

1996

Executable Temporal Logic Systems.

Mehmet A. Orgun, Antony A. Faustini

J. Symb. Comput., 1996

1988

Hyperflow.

D. DeForest, Antony A. Faustini, R. Lee

Proceedings of the Third Conference on Hypercube Concurrent Computers and Applications, 1988

1987

An eductive interpreter for Lucid.

Antony A. Faustini, William W. Wadge

Proceedings of the Symposium on Interpreters and Interpretive Techniques, 1987, St. Paul, Minnesota, USA, June 24, 1987

1986

Toward a Real-Time Dataflow Language.

Antony A. Faustini, Edgar B. Lewis

IEEE Softw., 1986

1985

A Declarative Language for the Specification of Real Time Systems.

Antony A. Faustini, Edgar B. Lewis

Proceedings of the 6th IEEE Real-Time Systems Symposium (RTSS '85), 1985

1982

The equivalence of an operational and a denotational semantics for pure dataflow.

Antony A. Faustini

PhD thesis, 1982

An Operational Semantics for Pure Dataflow.

Antony A. Faustini

Proceedings of the Automata, 1982