Author of the publication

Model Checking Data Consistency for Cache Coherence Protocols.

, , and . J. Comput. Sci. Technol., 21 (5): 765-775 (2006)

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

Verifying Concurrent Stacks by Divergence-Sensitive Bisimulation., , , and . CoRR, (2017)A Predicate Spatial Logic and Model Checking for Mobile Processes.. ICTAC, volume 3407 of Lecture Notes in Computer Science, page 36-36. Springer, (2004)Predicate µ-Calculus for Mobile Ambients.. J. Comput. Sci. Technol., 20 (1): 95-104 (2005)Model-based Testing of Concurrent Programs with Predicate Sequencing Constraints., and . International Journal of Software Engineering and Knowledge Engineering, 16 (5): 727-746 (2006)Axiomatising timed automata., and . Acta Inf., 38 (4): 277-305 (2002)Automatic Verification of Optimization Algorithms: a Case Study of a Quadratic Assignment Problem Solver., , , and . International Journal of Software Engineering and Knowledge Engineering, 21 (2): 289-307 (2011)Proof Systems for Message-Passing Process Algebras., and . Formal Aspects Comput., 8 (4): 379-407 (1996)Extended Symbolic Transition Graphs with Assignment., and . COMPSAC (1), page 227-232. IEEE Computer Society, (2005)Convolutional neural network for automatic classification of copper alloy metallographs., , and . CIS, page 59-63. IEEE, (2022)Environment Abstraction with State Clustering and Parameter Truncating., , and . TASE, page 73-80. IEEE Computer Society, (2009)