Volume 404, Numbers 1-2, September 2008
Membrane Computing and Biologically Inspired Process Calculi
: Bitonal membrane systems: Interactions of biological membranes.
: Membrane computing and brane calculi. Old, new, and future bridges.
: The metabolic algorithm for P systems: Principles and applications.
Volume 404, Number 3, September 2008
International Symposium on Leveraging Applications of Formal Methods (ISoLA 2004)