PRL Seminars 1998-99
On Modeling Ensemble
Jason and I will give parts of our upcoming DARPA talk on using IO Automata to model Ensemble stacks.
Jason will talk about his work with Mark Bickford.
I will remind us about intersction types and dependent records and describe progress on the DARPA grant so far.