The Denotational Semantics Definition of PLC Programs Based on Extended λ-Calculus - Xiao, Litian; Gu, Ming; Sun, Jiaguang (Advanced Research on Computer Education, Simulation and Modeling, 2011)
Keywords: Architecture; Calculus; Denotational Semantics; Extended; PLC Program; Program Modeling