James J. Horning
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
4
Active years
1980–1995
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 1995 | COMPASS | The Larch Shared Language: Some Open Problems. | James J. Horning |
| 1991 | FM | A Tutorial on LARCH and LCL, A LARCH/C Interface Language. | John V. Guttag, James J. Horning |
| 1987 | SOSP | Synchronization Primitives for a Multiprocessor: A Formal Specification. | Andrew Birrell, John V. Guttag, James J. Horning, Roy Levin |
| 1981 | FM | Issues and Observations. | James J. Horning |
| 1980 | POPL | Formal Specification as a Design Tool. | John V. Guttag, James J. Horning |