( en | de | ru )

 

Disambiguation of "Giacalone, Alessandro"

Author of the publication

copydeleteadd this publication to your clipboard
A Formal Description of the UNIX Operating System.

, and . PODC, page 241-253. ACM, (1983)

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

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)FACILE: A Symmetric Integration of Concurrent and Functional Programming., , and . TAPSOFT, Vol.2, volume 352 of Lecture Notes in Computer Science, page 184-209. Springer, (1989)Winston: A Tool for Hierarchical Design and Simulation of Concurrent Systems., , , and . Specification and Verification of Concurrent Systems, page 140-152. Springer, (1988)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)Algebraic Reasoning for Probabilistic Concurrent Systems., , and . Programming Concepts and Methods, page 443-458. North-Holland, (1990)XY-WINS: An Integraded Environment for Developing Graphical User Interfaces.. ACM Symposium on User Interface Software and Technology, page 129-143. ACM, (1988)A Formal Description of the UNIX Operating System., and . PODC, page 241-253. ACM, (1983)