( en | de | ru )

 

Disambiguation of "Browne, Michael C."

Author of the publication

copydeleteadd this publication to your clipboard
Exploiting Parallelism in Cache Coherency Protocol Engines.

, , , , , , and . Euro-Par, volume 966 of Lecture Notes in Computer Science, page 269-286. Springer, (1995)

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.

Gerald Browne

Michael C Walther

Michael C Kohl

Michael C Sabel

Michael C Petersen

 

Other publications of authors with the same name

The S3mp Scalable Shared Memory Multiprocessor., , , , , and . HICSS (1), page 144-153. IEEE Computer Society, (1994)Automatic Verification of Sequential Circuits Using Temporal Logic., , , and . IEEE Trans. Computers, 35 (12): 1035-1044 (1986)Using Temporal Logic for Automatic Verification of Finite State Systems., , , and . Logics and Models of Concurrent Systems, volume 13 of NATO ASI Series, page 3-26. Springer, (1984)Characterizing Finite Kripke Structures in Propositional Temporal Logic., , and . Theor. Comput. Sci., (1988)Reasoning about Networks with Many Identical Finite State Processes, , and . Inf. Comput., 81 (1): 13-31 (April 1989)Reasoning About Networks With Many Identical Finite-State Processes., , and . PODC, page 240-248. ACM, (1986)The S3.mp Architecture: A Local Area Multiprocessor., , , , , , and . SPAA, page 140-141. ACM, (1993)The S3.mp Scalable Shared Memory Multiprocessor., , , , , , and . ICPP (1), page 1-10. CRC Press, (1995)An Improved Algorithm for the Automatic Verification of Finite State Systems Using Temporal Logic. LICS, page 260-266. IEEE Computer Society, (1986)Exploiting Parallelism in Cache Coherency Protocol Engines., , , , , , and . Euro-Par, volume 966 of Lecture Notes in Computer Science, page 269-286. Springer, (1995)