Conference paper
Automatic taxonomy generation: Issues and possibilities
Raghu Krishnapuram, Krishna Kummamuru
IFSA 2003
A weakest precondition semantics for communicating processes is presented, based on a centralized, one-level approach. Semantic equations are given for the CSP constructs and their continuity is proved. The equivalence of two weakest precondition definitions, one with certain order preferences, and another one, preference-free, is shown. The representation of various operational concepts, including delay, is discussed. Several examples of applying the rules are given. © 1984.
Raghu Krishnapuram, Krishna Kummamuru
IFSA 2003
Reena Elangovan, Shubham Jain, et al.
ACM TODAES
Minkyong Kim, Zhen Liu, et al.
INFOCOM 2008
Preeti Malakar, Thomas George, et al.
SC 2012