Alessandro Giacalone

Publication Activity (10 Years)

Years Active: 1982-1992
Publications (10 Years): 0

Publications

Bent Thomsen, Lone Leth Thomsen, Alessandro Giacalone
Some Issues in the Semantics of Facile Distributed Programming. REX Workshop (1992)
Sanjiva Prasad, Alessandro Giacalone, Prateek Mishra
Operational and Algebraic Semantics for Facile: A Symmetric Integration of Concurrent and Functional Programming. ICALP (1990)
Alessandro Giacalone, Chi-Chang Jou, Scott A. Smolka
Algebraic Reasoning for Probabilistic Concurrent Systems. Programming Concepts and Methods (1990)
Alessandro Giacalone, Prateek Mishra, Sanjiva Prasad
FACILE: A Symmetric Integration of Concurrent and Functional Programming. TAPSOFT, Vol.2 (1989)
Alessandro Giacalone, Prateek Mishra, Sanjiva Prasad
Facile: A symmetric integration of concurrent and functional programming. Int. J. Parallel Program. 18 (2) (1989)
Jawahar Malhotra, Robert M. Shapiro, Scott A. Smolka, Alessandro Giacalone
Winston: A Tool for Hierarchical Design and Simulation of Concurrent Systems. Specification and Verification of Concurrent Systems (1988)
Alessandro Giacalone
XY-WINS: An Integraded Environment for Developing Graphical User Interfaces. ACM Symposium on User Interface Software and Technology (1988)
Alessandro Giacalone, Scott A. Smolka
Integrated Environments for Formally Well-Founded Design and Simulation of Concurrent Systems. IEEE Trans. Software Eng. 14 (6) (1988)
Alessandro Giacalone, Martin C. Rinard, Thomas W. Doeppner Jr.
IDEOSY: An Ideographic and Interactive Program Description System. Software Development Environments (SDE) (1984)
Thomas W. Doeppner Jr., Alessandro Giacalone
A Formal Description of the UNIX Operating System. PODC (1983)
Alessandro Giacalone, Thomas W. Doeppner Jr., Michael J. Braca
Toward a Formally Based Programming Environment. ECICS (1982)