( en | de | ru )

 

Disambiguation of "Börger, Egon"

Author of the publication

copydeleteadd this publication to your clipboard
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.

Egon Börger

Helmut Börger

Heinrich Börger

Ulrich Börger

Udo Börger

 

Other publications of authors with the same name

Approaches to modeling business processes: a critical analysis of BPMN, workflow patterns and YAWL.. Softw. Syst. Model., 11 (3): 305-318 (2012)A Formal Operational Semantics for PROLOG III: Using Dynamic Algebras, and . IWBS Report, (1990)Complexity of Logical Decision Problems: An Introduction. IWBS Report, (1990)The ASM Method: a Cornerstone in Computer Science Education.. Abstract State Machines, page 49-56. (2005)Full Prolog in a Nutshell., and . ICLP, page 832. MIT Press, (1993)Why Use Evolving Algebras for Hardware and Software Engineering?. SOFSEM, volume 1012 of Lecture Notes in Computer Science, page 236-271. Springer, (1995)Specifying Transaction Control to Serialize Concurrent Program Executions., and . CoRR, (2017)Design for Reuse via Structuring Techniques for ASMs.. EUROCAST, volume 2178 of Lecture Notes in Computer Science, page 20-35. Springer, (2001)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)Communication in Abstract State Machines., and . J. Univers. Comput. Sci., 23 (2): 129-145 (2017)