My thesis “Theories for Session-based Governance for Large-scale Distributed Systems” introduced principles of specifications and verifications to formalize the logical properties for interactional behaviors among multiparty communication. Governance is a general term for specifying the appropriate mutual behaviors, monitoring interactions against specifications, and taking actions when non-compliant behaviors are detected. I proposed a process calculus for a session-based distributed monitoring framework to dynamically govern cross-domain interactions; furthermore, I proposed typing principles for ensuring well-behaved interactions among processes. The properties of global safety, global transparency, and session fidelity are stated and proved. These results were published in the international workshop TGC 2011 and the international conference FMOODS/FORTE 2013; a journal paper was published by the Journal of Theoretical Computer Science (TCS) in 2017.