Author of the publication

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

, and . COORDINATION, volume 7274 of Lecture Notes in Computer Science, page 122-136. Springer, (2012)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Information Theory over Multisets., , and . Comput. Informatics, 27 (3+): 441-451 (2008)Synchronization operator for communication privacy., and . SAC, page 1284-1290. ACM, (2022)The Reflexive Domain of CPO's Ideals.. Acta Cybern., 12 (3): 249-260 (1996)Mobility Types for Cloud Computing., and . EGC, volume 514 of Communications in Computer and Information Science, page 43-53. Springer, (2015)Molecular structures.. Where Mathematics, Computer Science, Linguistics and Biology Meet, page 299-317. Kluwer Academic Publishers, (2001)Topological spaces of the web., and . WWW (Special interest tracks and posters), page 1112-1113. ACM, (2005)Mealy multiset automata., and . Int. J. Found. Comput. Sci., 17 (1): 111-126 (2006)Timed Migration and Interaction with Access Permissions., and . FM, volume 6664 of Lecture Notes in Computer Science, page 293-307. Springer, (2011)Abstract Structures for Communication between Processes., and . Ershov Memorial Conference, volume 1755 of Lecture Notes in Computer Science, page 221-227. Springer, (1999)Behavioural Equivalences over Migrating Processes with Timers., , and . FMOODS/FORTE, volume 7273 of Lecture Notes in Computer Science, page 52-66. Springer, (2012)