Jungrhan Choi, Jinho On, Moonkun Lee, Jin-Young Choi. A Calculus to Reduce Spatial and Temporal Complexity for Specification and Analysis of Complex Real-Time Systems. In Jinhwa Kim, Dursun Delen, Jinsoo Park, Franz Ko, Yun Ji Na, editors, NCM 2008, The Fourth International Conference on Networked Computing and Advanced Information Management, Gyeongju, Korea, September 2-4, 2008 - Volume 1. pages 8-13, IEEE Computer Society, 2008. [doi]
Abstract is missing.