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

DOI10.1109/TSE.1983.234778zbMath0514.68009MaRDI QIDQ3660880

Werner Kluge, Heinz Schluetter

Publication date: 1983

Published in: IEEE Transactions on Software Engineering (Search for Journal in Brave)

zbMATH Keywords

applicative languages and systems; Church's lambda calculus; data flow concepts; Petri net models

Mathematics Subject Classification ID

68Q60: Specification and verification (program logics, model checking, etc.)

68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)

68N01: General topics in the theory of software

03B40: Combinatory logic and lambda calculus