( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
A unifying logic for non-deterministic, parallel and concurrent abstract state machines.

, , , и . Ann. Math. Artif. Intell., 83 (3-4): 321-349 (2018)

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.

Klaus-Dieter Schewe

Kurt Schewe

Günter Schewe

Joachim Schewe

Gerhard Schewe

 

Другие публикации лиц с тем же именем

Concurrent abstract state machines., и . Acta Inf., 53 (5): 469-492 (2016)A Generalization of Dijkstra's Calculus to Typed Program Specifications., и . FCT, том 1684 из Lecture Notes in Computer Science, стр. 463-474. Springer, (1999)The Power of Media Types.. WISE, том 3306 из Lecture Notes in Computer Science, стр. 53-58. Springer, (2004)Web information systems design in the era of web 2.0 and beyond., , и . iiWAS, стр. 10. ACM, (2009)Hagenberg Business Process Modelling Method, , , , , , , и . Springer, Cham, (2016)A heuristic approach to cost-efficient fragmentation and allocation of complex value databases., , и . ADC, том 49 из CRPIT, стр. 183-192. Australian Computer Society, (2006)Semantics in Data and Knowledge Bases., и . SDKB, том 4925 из Lecture Notes in Computer Science, стр. 1-25. Springer, (2008)Active Consistency Enforcement for Repairable Database Transitions., и . FMLDO, стр. 87-102. University of Magedeburg, Faculty of Computer Science, (1996)A New Thesis concerning Synchronised Parallel Computing - Simplified Parallel ASM Thesis., , , и . CoRR, (2015)A Complete Logic for Non-Deterministic Database Transformations., , , и . CoRR, (2016)