| 1992 |
|---|
| 8 | | Bent Thomsen,
Lone Leth,
Alessandro Giacalone:
Some Issues in the Semantics of Facile Distributed Programming.
REX Workshop 1992: 563-593 |
| 1990 |
|---|
| 7 | | Sanjiva Prasad,
Alessandro Giacalone,
Prateek Mishra:
Operational and Algebraic Semantics for Facile: A Symmetric Integration of Concurrent and Functional Programming.
ICALP 1990: 765-778 |
| 1989 |
|---|
| 6 | | Alessandro Giacalone,
Prateek Mishra,
Sanjiva Prasad:
FACILE: A Symmetric Integration of Concurrent and Functional Programming.
TAPSOFT, Vol.2 1989: 184-209 |
| 1988 |
|---|
| 5 | EE | Alessandro Giacalone:
XY-WINS: An Integraded Environment for Developing Graphical User Interfaces.
ACM Symposium on User Interface Software and Technology 1988: 129-143 |
| 4 | | Jawahar Malhotra,
Robert M. Shapiro,
Scott A. Smolka,
Alessandro Giacalone,
Robert M. Shapiro:
Winston: A Toll for Hierarchical Design and Simulation of Concurrent Systems.
Specification and Verification of Concurrent Systems 1988: 140-152 |
| 3 | EE | Alessandro Giacalone,
Scott A. Smolka:
Integrated Environments for Formally Well-Founded Design and Simulation of Concurrent Systems.
IEEE Trans. Software Eng. 14(6): 787-802 (1988) |
| 1984 |
|---|
| 2 | | Alessandro Giacalone,
Martin C. Rinard,
Thomas W. Doeppner Jr.:
IDEOSY: An Ideographic and Interactive Program Description System.
Software Development Environments (SDE) 1984: 15-20 |
| 1983 |
|---|
| 1 | | Thomas W. Doeppner Jr.,
Alessandro Giacalone:
A Formal Description of the UNIX Operating System.
PODC 1983: 241-253 |
