Choi, Tae hyoung; Lee, Oukseh; Kim, Hyunha; Doh, Kyung goo
ArticleIssue Date2006CitationProgramming Languages and Systems 4th Asian Symposium, APLAS 2006, Sydney, Australia, November 8-10, 2006, Proceedings, pp 374 - 388PublisherSpringer Verlag
ArticleIssue Date2011CitationFormal Modeling: Actors; Open Systems, Biological Systems Essays Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday, v.7000 LNCS, pp 90 - 109PublisherSpringer Verlag