Abstract: This paper presents a project which consisted in teaching how to program logic controllers (PLCs) in the laboratory practices of Logical Automatisms through the technology of remote ...

Abstract: We present a framework for verifiable concurrent programming in Java based on a design pattern for concurrency controllers. Using this pattern, a programmer can write concurrency controller ...