Toward a Formally Based Programming Environment. - Alessandro Giacalone; Thomas W. Doeppner Jr.; Michael J. Braca (ECICS, 1982)

A Formal Description of the UNIX Operating System. - Thomas W. Doeppner Jr.; Alessandro Giacalone (PODC, 1983)

IDEOSY: An Ideographic and Interactive Program Description System. - Alessandro Giacalone; Martin C. Rinard; Thomas W. Doeppner Jr. (Software Development Environments (SDE), 1984)

Winston: A Tool for Hierarchical Design and Simulation of Concurrent Systems. - Jawahar Malhotra; Robert M. Shapiro; Scott A. Smolka; Alessandro Giacalone (Specification and Verification of Concurrent Systems, 1988)

XY-WINS: An Integraded Environment for Developing Graphical User Interfaces. - Alessandro Giacalone (ACM Symposium on User Interface Software and Technology, 1988)

Integrated Environments for Formally Well-Founded Design and Simulation of Concurrent Systems. - Alessandro Giacalone; Scott A. Smolka (IEEE Trans. Software Eng., 1988)

Facile: A symmetric integration of concurrent and functional programming. - Alessandro Giacalone; Prateek Mishra; Sanjiva Prasad (Int. J. Parallel Program., 1989)

Operational and Algebraic Semantics for Facile: A Symmetric Integration of Concurrent and Functional Programming. - Sanjiva Prasad; Alessandro Giacalone; Prateek Mishra (ICALP, 1990)

Algebraic Reasoning for Probabilistic Concurrent Systems. - Alessandro Giacalone; Chi-Chang Jou; Scott A. Smolka (Programming Concepts and Methods, 1990)

Some Issues in the Semantics of Facile Distributed Programming. - Bent Thomsen; Lone Leth Thomsen; Alessandro Giacalone (REX Workshop, 1992)