Global Types for Open Systems
Global Types for Open Systems is a scholarly work, published in 2018 in ''Electronic Proceedings in Theoretical Computer Science''. The main subjects of the publication include program analysis, formal methods, and logic programming. The authors show\nthat safety properties are preserved when open systems are connected that way.\n.