7/29 agenda • List examples (map, filter, etc) with call graphs • Comparison with Petri net approach (component based synthesis)