Number | Date | Country | Kind |
---|---|---|---|
2248393 | Sep 1998 | CA |
Number | Name | Date | Kind |
---|---|---|---|
5713015 | Goel et al. | Jan 1998 | A |
Entry |
---|
Lee et al., “Detection of Exclusive or Global Predicates”, IEEE International Conference, pp.: 213-216, Oct. 1998.* |
Carson et al., “The Geometry of Semaphore Programs”, ACM Transactions on Programming Languages and Systems, pp. 25-53, Jan. 1987.* |
Hanson et al., “A Predicate Matching Algorithm for Database Rule Systems”, ACM, pp. 271-280, 1990.* |
Jutla et al., “A Predicate Transformer Approach to Semantics of Parallel Programs”, ACM, 249-263, 1989. |