In: Proceedings of the Twenty-Third Annual Hawaii International Conference on System Sciences, 1990, Kailua-Kona, HI, USA; Vol. 2, pages 400-409. Los Alamitos, CA, USA: IEEE Comput. Soc. Press, 1990.
Abstract: A subset of the programming language Ada is translated to Petri nets. The subset contains the Ada rendezvous and dynamic task creation. The design of the translation algorithm was influenced by methods of denotational semantics, which made the implementation of the algorithm particularly simple in the programming language ML.
Keywords: concurrent Ada program; denotational semantics; programming language ML.