Author of the publication

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

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)Concurrency control for step-decomposed transactions., , and . Inf. Syst., 24 (8): 673-698 (1999)A Theory of Testing for Soft Real-Time Processes., , , and . SEKE, page 474-479. Knowledge Systems Institute, (1996)Transaction Decomposition Using Transaction Semantics., and . Distributed Parallel Databases, 4 (1): 25-47 (1996)Automatic workflow verification and generation., , and . Theor. Comput. Sci., 353 (1-3): 71-92 (2006)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)The Concurrency Factory Software Development Environment., , , and . TACAS, volume 1055 of Lecture Notes in Computer Science, page 391-395. Springer, (1996)Practical techniques for the design, specification, verification, and implementation of concurrent systems., , and . ACM SIGSOFT Softw. Eng. Notes, 25 (1): 43-44 (2000)B74-17 The Theory of Parsing, Translation, and Compiling - Volume II: Compiling.. IEEE Trans. Computers, 23 (2): 219-220 (1974)