In this work we study complexity classes in monotone computation. Our main contributions are the following: ffl A consistent framework for monotone computation, including monotone analogues of many standard computational models. We define monotone simulati
mAC1AC1mNLco mNLmL
mNC1
?
mBWBP
mAC0?NLco NL?L?NC1BWBPAC0