( en | de | ru )

 

Disambiguation of "Giacalone, Alessandro"

Author of the publication

copydeleteadd this publication to your clipboard
Facile: A symmetric integration of concurrent and functional programming.

, , and . Int. J. Parallel Program., 18 (2): 121-160 (1989)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Mathilde Giacalone

Alessandro Valeri

Fluorescence resonance energy transfer between multiple chromophores studied by single-molecule spectroscopy. Uni Düsseldorf, (2009)

Alessandro Nova

Alessandro Zivelonghi

Alessandro Topa

 

Other publications of authors with the same name

IDEOSY: An Ideographic and Interactive Program Description System., , and . Software Development Environments (SDE), page 15-20. ACM, (1984)SIGPLAN Notices 19 (5), May 1984.Toward a Formally Based Programming Environment., , and . ECICS, page 363-374. North-Holland, (1982)Facile: A symmetric integration of concurrent and functional programming., , and . Int. J. Parallel Program., 18 (2): 121-160 (1989)Winston: A Tool for Hierarchical Design and Simulation of Concurrent Systems., , , and . Specification and Verification of Concurrent Systems, page 140-152. Springer, (1988)Operational and Algebraic Semantics for Facile: A Symmetric Integration of Concurrent and Functional Programming., , and . ICALP, volume 443 of Lecture Notes in Computer Science, page 765-778. Springer, (1990)Integrated Environments for Formally Well-Founded Design and Simulation of Concurrent Systems., and . IEEE Trans. Software Eng., 14 (6): 787-802 (1988)XY-WINS: An Integraded Environment for Developing Graphical User Interfaces.. ACM Symposium on User Interface Software and Technology, page 129-143. ACM, (1988)Algebraic Reasoning for Probabilistic Concurrent Systems., , and . Programming Concepts and Methods, page 443-458. North-Holland, (1990)A Formal Description of the UNIX Operating System., and . PODC, page 241-253. ACM, (1983)