dblp.uni-trier.dewww.uni-trier.de

Antony A. Faustini

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

1996
5 Mehmet A. Orgun, Antony A. Faustini: Executable Temporal Logic Systems. J. Symb. Comput. 22(5/6): 721-735 (1996)
1987
4EEAntony 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

Coauthor Index

1Edgar B. Lewis [2] [3]
2Mehmet A. Orgun [5]
3William W. Wadge [4]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)