Michael G. Main
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
3
Active years
1983–1989
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 1989 | MFPS | Semantic Models for Total Correctness and Fairness. | Michael G. Main, David L. Black |
| 1985 | ICALP | Applications of an Infinite Squarefree CO-CFL. | Michael G. Main, Walter Bucher, David Haussler |
| 1985 | MFPS | Free Constructions of Powerdomains. | Michael G. Main |
| 1983 | FCT | Functional Behaviour of Nondeterministic Programs. | Michael G. Main, David B. Benson |