Alessandro Giacalone

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