A Process Algebra for Specification and Analysis of Temporal Properties of Agents Distributed over Networked Space. - Jinho On; Jungrhan Choi; Moonkun Lee (FCS, 2008)

A Calculus to Reduce Spatial and Temporal Complexity for Specification and Analysis of Complex Real-Time Systems. - Jungrhan Choi; Jinho On; Moonkun Lee; Jin-Young Choi (NCM (1), 2008)

A Calculus for Transportation Systems. - Moonkun Lee; Jungrhan Choi (COMPSAC Workshops, 2014)