Conference paper
Identity delegation in policy based systems
Rajeev Gupta, Shourya Roy, et al.
ICAC 2006
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.
Rajeev Gupta, Shourya Roy, et al.
ICAC 2006
Michael Ray, Yves C. Martin
Proceedings of SPIE - The International Society for Optical Engineering
Chidanand Apté, Fred Damerau, et al.
ACM Transactions on Information Systems (TOIS)
Rolf Clauberg
IBM J. Res. Dev