On the Computational Power of Brane Calculi.

Nadia Busi Roberto Gorrieri

Published in: Trans. Comp. Sys. Biology (2006)

Keyphrases

computational power
parallel processing
computing power
sequent calculi
memory requirements
multithreading
hardware architectures
qualitative spatial and temporal reasoning
case study
efficient implementation
spatial relations
reasoning problems
qualitative spatial