Alessandro Giacalone

According to our database, Alessandro Giacalone authored at least 10 papers between 1982 and 1992.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

1992

Some Issues in the Semantics of Facile Distributed Programming.

Bent Thomsen, Lone Leth Thomsen, Alessandro Giacalone

Proceedings of the Sematics: Foundations and Applications, 1992

1990

Algebraic Reasoning for Probabilistic Concurrent Systems.

Alessandro Giacalone, Chi-Chang Jou, Scott A. Smolka

Proceedings of the Programming concepts and methods: Proceedings of the IFIP Working Group 2.2, 1990

Operational and Algebraic Semantics for Facile: A Symmetric Integration of Concurrent and Functional Programming.

Sanjiva Prasad, Alessandro Giacalone, Prateek Mishra

Proceedings of the Automata, Languages and Programming, 17th International Colloquium, 1990

1989

Facile: A symmetric integration of concurrent and functional programming.

Alessandro Giacalone, Prateek Mishra, Sanjiva Prasad

Int. J. Parallel Program., 1989

1988

Integrated Environments for Formally Well-Founded Design and Simulation of Concurrent Systems.

Alessandro Giacalone, Scott A. Smolka

IEEE Trans. Software Eng., 1988

XY-WINS: An Integraded Environment for Developing Graphical User Interfaces.

Alessandro Giacalone

Proceedings of the 1st Annual ACM Symposium on User Interface Software and Technology, 1988

Winston: A Tool for Hierarchical Design and Simulation of Concurrent Systems.

Jawahar Malhotra, Robert M. Shapiro, Scott A. Smolka, Alessandro Giacalone

Proceedings of the Specification and Verification of Concurrent Systems [BCS-FACS Workshop, 1988

1984

IDEOSY: An Ideographic and Interactive Program Description System.

Alessandro Giacalone, Martin C. Rinard, Thomas W. Doeppner Jr.

Proceedings of the ACM SIGSOFT/SIGPLAN Software Engineering Symposium on Practical Software Development Environments, 1984

1983

A Formal Description of the UNIX Operating System.

Thomas W. Doeppner Jr., Alessandro Giacalone

Proceedings of the Second Annual ACM Symposium on Principles of Distributed Computing, 1983

1982

Toward a Formally Based Programming Environment.

Alessandro Giacalone, Thomas W. Doeppner Jr., Michael J. Braca

Proceedings of the Integrated Interactive Computing Systems: Proceedings of the European Conference on Integrated Interactive Computing Systems, 1982