Coordinating Parallel Mobile Ambients to Solve SAT Problem in Polynomial Number of Steps.

Bogdan Aman, Gabriel Ciobanu

Browse the full Coordination paper archive.