default search action

combined dblp search
author search
venue search
publication search

ask others

Antony A. Faustini

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Books and Theses

see FAQ

What is the meaning of the colors in the publication lists?

1982
[b1]
- view
- export record
  dblp key:
  - phd/ethos/Faustini82
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/phd/ethos/Faustini82
Antony A. Faustini:
The equivalence of an operational and a denotational semantics for pure dataflow. University of Warwick, Coventry, UK, 1982

Journal Articles

see FAQ

What is the meaning of the colors in the publication lists?

1996
[j2]
- no documents available
  - details & citations
- export record
  dblp key:
  - journals/jsc/OrgunF96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsc/OrgunF96
Mehmet A. Orgun, Antony A. Faustini:
Executable Temporal Logic Systems. J. Symb. Comput. 22(5/6): 721-735 (1996)
1986
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/software/FaustiniL86
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/software/FaustiniL86
Antony A. Faustini, Edgar B. Lewis:
Toward a Real-Time Dataflow Language. IEEE Softw. 3(1): 29-35 (1986)

Conference and Workshop Papers

see FAQ

What is the meaning of the colors in the publication lists?

1988
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/c3p/DeForestFL88
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/c3p/DeForestFL88
D. DeForest, Antony A. Faustini, R. Lee:
Hyperflow. C³P 1988: 482-488
1987
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/pldi/FaustiniW87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/FaustiniW87
Antony A. Faustini, William W. Wadge:
An eductive interpreter for Lucid. PLDI 1987: 86-91
1985
[c2]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/rtss/FaustiniL85
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rtss/FaustiniL85
Antony A. Faustini, Edgar B. Lewis:
A Declarative Language for the Specification of Real Time Systems. RTSS 1985: 43-51
1982
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/icalp/Faustini82
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icalp/Faustini82
Antony A. Faustini:
An Operational Semantics for Pure Dataflow. ICALP 1982: 212-224

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.