On Modeling Ensemble
by Robert L. Constable, Jason Hickey
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.