| |
| 1996 | ||
|---|---|---|
| 5 | Mehmet A. Orgun, Antony A. Faustini: Executable Temporal Logic Systems. J. Symb. Comput. 22(5/6): 721-735 (1996) | |
| 1987 | ||
| 4 | EE | Antony A. Faustini, William W. Wadge: An eductive interpreter for Lucid. PLDI 1987: 86-91 |
| 1986 | ||
| 3 | Antony A. Faustini, Edgar B. Lewis: Toward a Real-Time Dataflow Language. IEEE Software 3(1): 29-35 (1986) | |
| 1985 | ||
| 2 | Antony A. Faustini, Edgar B. Lewis: A Declarative Language for the Specification of Real Time Systems. IEEE Real-Time Systems Symposium 1985: 43-51 | |
| 1982 | ||
| 1 | Antony A. Faustini: An Operational Semantics for Pure Dataflow. ICALP 1982: 212-224 | |
| 1 | Edgar B. Lewis | [2] [3] |
| 2 | Mehmet A. Orgun | [5] |
| 3 | William W. Wadge | [4] |