( en | de | ru )

 

Disambiguation of "Lewis, Philip M."

Author of the publication

copydeleteadd this publication to your clipboard
A model for abstract process specification, verification and composition.

, , , and . ICSOC, page 232-241. ACM, (2004)

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.

Philip Lewis

Philip M Blumenthal

J. D. Lewis-Williams

Ingrid Lewis

Catharine Janna Lewis

 

Other publications of authors with the same name

The Concurrency Factory Software Development Environment., , , and . TACAS, volume 1055 of Lecture Notes in Computer Science, page 391-395. Springer, (1996)Attributed Translations., , and . Fundamental Problems in Computing, page 13-43. Springer, (2013)An analysis of several heuristics for the traveling salesman problem., , and . Fundamental Problems in Computing, page 45-69. Springer, (2013)The Concurrency Factory - Practical Tools for Specification, Stimulation, Verification, and Implementation of Concurrent Systems., , , , , and . Specification of Parallel Algorithms, volume 18 of DIMACS Series in Discrete Mathematics and Theoretical Computer Science, page 75-89. DIMACS/AMS, (1994)System Level Concurrency Control for Distributed Database Systems., , and . Fundamental Problems in Computing, page 71-98. Springer, (2013)Consistency and serializability in concurrent database systems., , and . Fundamental Problems in Computing, page 99-132. Springer, (2013)Semantic Conditions for Correctness at Different Isolation Levels., , and . ICDE, page 57-66. IEEE Computer Society, (2000)Concurrency control for step-decomposed transactions., , and . Inf. Syst., 24 (8): 673-698 (1999)The Concurrency Factory: A Development Environment for Concurrent Systems., , , and . CAV, volume 1102 of Lecture Notes in Computer Science, page 398-401. Springer, (1996)SNAPSHOT Isolation: Why Do Some People Call it SERIALIZABLE?. Fundamental Problems in Computing, page 353-373. Springer, (2013)