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

SDL in a Changing World.. SAM, volume 3319 of Lecture Notes in Computer Science, page 96-105. Springer, (2004)Relativity and Abstract State Machines.. SAM, volume 7744 of Lecture Notes in Computer Science, page 105-120. Springer, (2012)Arise: Operating PCTE Over a Wide-Area Network., , and . IEEE Software, 10 (6): 60-62 (1993)Intelligent Resilience in the IoT.. SDL Forum, volume 10567 of Lecture Notes in Computer Science, page 46-60. Springer, (2017)SDL: Meeting the IoT Challenge.. SAM, volume 9959 of Lecture Notes in Computer Science, page 36-50. Springer, (2016)Distributed ASM - Pitfalls and Solutions., and . ABZ, volume 8477 of Lecture Notes in Computer Science, page 210-215. Springer, (2014)The unification of OMT, SDL and IDL for service creation., , , and . SDL Forum, page 443-458. Elsevier, (1997)Model-Driven Development of Reactive Systems with SDL.. SDL Forum, volume 3530 of Lecture Notes in Computer Science, page 224-233. Springer, (2005)Eventual Consistency Formalized., and . SAM, volume 11753 of Lecture Notes in Computer Science, page 249-265. Springer, (2019)Nonmonotonic Reasoning and Formal Software Development.. IWFM, BCS, (1997)