Jungrhan Choi

According to our database, Jungrhan Choi authored at least 3 papers between 2008 and 2014.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2014

A Calculus for Transportation Systems.

Moonkun Lee, Jungrhan Choi

Proceedings of the IEEE 38th Annual Computer Software and Applications Conference, 2014

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

Proceedings of the NCM 2008, The Fourth International Conference on Networked Computing and Advanced Information Management, Gyeongju, Korea, September 2-4, 2008, 2008

A Process Algebra for Specification and Analysis of Temporal Properties of Agents Distributed over Networked Space.

Jinho On, Jungrhan Choi, Moonkun Lee

Proceedings of the 2008 International Conference on Foundations of Computer Science, 2008