( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Formal Techniques for Computer Systems and Business Processes, European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versailles, France, September 1-3, 2005, Proceedings

, , и (Ред.) том 3670 из Lecture Notes in Computer Science, Springer, (2005)

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.

Ernst Marioth-Wirtz

Simone Marion

Anneliese Marioth

Martin Marioth

Ilias Mariolakos

 

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

Behavioural Types for Memory and Method Safety in a Core Object-Oriented Language., , , , , , и . APLAS, том 12470 из Lecture Notes in Computer Science, стр. 105-124. Springer, (2020)Towards the Verification of Adaptable Processes., , , и . ISoLA (1), том 7609 из Lecture Notes in Computer Science, стр. 269-283. Springer, (2012)Real Time and Stochastic Time.. SFM, том 3185 из Lecture Notes in Computer Science, стр. 132-180. Springer, (2004)A Theory for Strong Service Compliance., и . COORDINATION, том 4467 из Lecture Notes in Computer Science, стр. 96-112. Springer, (2007)Foundations of Coordination and Contracts and Their Contribution to Session Type Theory., и . COORDINATION, том 10852 из Lecture Notes in Computer Science, стр. 21-50. Springer, (2018)Deciding and Axiomatizing ST Bisimulation for a Process Algebra with Recursion and Action Refinement., и . EXPRESS, том 27 из Electronic Notes in Theoretical Computer Science, стр. 107-126. Elsevier, (1999)A Sound Algorithm for Asynchronous Session Subtyping., , , , и . CONCUR, том 140 из LIPIcs, стр. 38:1-38:16. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2019)Web Services for E-commerce: guaranteeing security access and quality of service., , , и . SAC, стр. 800-806. ACM, (2004)Relating Session Types and Behavioural Contracts: The Asynchronous Case., и . SEFM, том 11724 из Lecture Notes in Computer Science, стр. 29-47. Springer, (2019)A Petri Net Based Modeling of Active Objects and Futures., , , и . Fundam. Informaticae, 159 (3): 197-256 (2018)