Previous Pnueli Memorial Lectures
2010
Prof. Grzegorz Rozenberg
(Leiden University, University of Colorado at Boulder)
A Formal Framework for Processes Inspired by Biochemistry
, November 24, 2010.