Petri Net Models for the Evaluation of Applicative Programs Based on lambda-Expressions.

Sat, 01 Jan 1983 00:00:00 +0100

Werner E. Kluge, Heinz Schlütter:
Petri Net Models for the Evaluation of Applicative Programs Based on lambda-Expressions. IEEE Trans. Software Eng. 9(4): 415-427 (1983)