Alessandro Giacalone

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

8 Bent Thomsen, Lone Leth, Alessandro Giacalone: Some Issues in the Semantics of Facile Distributed Programming. REX Workshop 1992: 563-593
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
6 Alessandro Giacalone, Prateek Mishra, Sanjiva Prasad: FACILE: A Symmetric Integration of Concurrent and Functional Programming. TAPSOFT, Vol.2 1989: 184-209
5EEAlessandro 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
3EEAlessandro 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)
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
1 Thomas W. Doeppner Jr., Alessandro Giacalone: A Formal Description of the UNIX Operating System. PODC 1983: 241-253

Coauthor Index

1Thomas W. Doeppner Jr. [1] [2]
2Lone Leth [8]
3Jawahar Malhotra [4]
4Prateek Mishra [6] [7]
5Sanjiva Prasad [6] [7]
6Martin C. Rinard [2]
7Robert M. Shapiro [4]
8Scott A. Smolka [3] [4]
9Bent Thomsen [8]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)