Author of the publication

Specifying Transaction Control to Serialize Concurrent Program Executions.

, and . ABZ, volume 8477 of Lecture Notes in Computer Science, page 142-157. Springer, (2014)

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 ASM Method: a Cornerstone in Computer Science Education.. Abstract State Machines, page 49-56. (2005)Specifying Transaction Control to Serialize Concurrent Program Executions., and . CoRR, (2017)Why Use Evolving Algebras for Hardware and Software Engineering?. SOFSEM, volume 1012 of Lecture Notes in Computer Science, page 236-271. Springer, (1995)A Logical Operational Semantics of Full Prolog. Part I: Selection Core and Control.. CSL, volume 440 of Lecture Notes in Computer Science, page 36-64. Springer, (1989)Design for Reuse via Structuring Techniques for ASMs.. EUROCAST, volume 2178 of Lecture Notes in Computer Science, page 20-35. Springer, (2001)Approaches to modeling business processes: a critical analysis of BPMN, workflow patterns and YAWL.. Softw. Syst. Model., 11 (3): 305-318 (2012)On formalizing UML state machines using ASM., , and . Inf. Softw. Technol., 46 (5): 287-292 (2004)JUCS Special ASM Issue, Part II - Introduction.. J. Univers. Comput. Sci., 3 (5): 414-415 (1997)Communication in Abstract State Machines., and . J. Univers. Comput. Sci., 23 (2): 129-145 (2017)A Neural Abstract Machine., and . J. Univers. Comput. Sci., 7 (11): 1006-1023 (2001)