Chris Brink (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

11 Ingrid Rewitzky, Chris Brink: Monotone Predicate Transformers as Up-Closed Multirelations. RelMiCS 2006: 311-327

10 Chris Brink, Ingrid Rewitzky: Finite-Cofinite Program Relations. Logic Journal of the IGPL 7(2): 153-172 (1999)

9 Ingrid Rewitzky, Chris Brink: Unification of Four Versions of Program Semantics. Formal Asp. Comput. 10(1): 1-29 (1998)

8 Chris Brink, Ingrid Rewitzky: Predicate Relators. RelMiCS 1997: 143-156

7 Ingrid Rewitzky, Chris Brink: Predicate Transformers as Power Operations. Formal Asp. Comput. 7(2): 169-182 (1995)

1 Chris Brink, Ingrid Rewitzky, Renate A. Schmidt: Autodescriptivity: Beware! Comput. J. 34(4): 379-381 (1991)

Selection of 6 from 11 records - Chris Brink has 5 coauthors

11		Ingrid Rewitzky, Chris Brink: Monotone Predicate Transformers as Up-Closed Multirelations. RelMiCS 2006: 311-327
10		Chris Brink, Ingrid Rewitzky: Finite-Cofinite Program Relations. Logic Journal of the IGPL 7(2): 153-172 (1999)
9		Ingrid Rewitzky, Chris Brink: Unification of Four Versions of Program Semantics. Formal Asp. Comput. 10(1): 1-29 (1998)
8		Chris Brink, Ingrid Rewitzky: Predicate Relators. RelMiCS 1997: 143-156
7		Ingrid Rewitzky, Chris Brink: Predicate Transformers as Power Operations. Formal Asp. Comput. 7(2): 169-182 (1995)
1		Chris Brink, Ingrid Rewitzky, Renate A. Schmidt: Autodescriptivity: Beware! Comput. J. 34(4): 379-381 (1991)