Slide 1 A Concurrent Logical Framework (Joint work with Frank Pfenning, David Walker, and Kevin Watkins) Iliano Cervesato [email protected] ITT Industries, inc @ NRL…
