Theoretical Computer Science, Volume 404

Volume 404, Numbers 1-2, September 2008

Membrane Computing and Biologically Inspired Process Calculi Foreword Invited contributions Regular papers

Volume 404, Number 3, September 2008

International Symposium on Leveraging Applications of Formal Methods (ISoLA 2004) Contributions