Doh, Kyung goo; Kim, Hyunha; Schmidt, David A.
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