Author of the publication

An Abstract Distributed Middleware for Transactions over Heterogeneous Stores.

, , and . ICTCS, volume 2504 of CEUR Workshop Proceedings, page 171-183. CEUR-WS.org, (2019)

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

Constructive logical characterizations of bisimilarity for reactive probabilistic systems., and . Theor. Comput. Sci., (2019)Guest editors' foreword., and . J. Log. Algebraic Methods Program., (2018)Measurable Stochastics for Brane Calculus, and . MeCBIC, volume 40 of EPTCS, page 6-22. (2010)Composable partial multiparty session types for open systems., , and . Softw. Syst. Model., 22 (2): 473-494 (April 2023)Unobservable Intrusion Detection based on Call Traces in Paravirtualized Systems., and . SECRYPT, page 300-306. SciTePress, (2011)A Natural Deduction style proof system for propositional μ-calculus and its formalization in inductive type theories. CoRR, (1998)Automated verification of Telegram's MTProto 2.0 in the symbolic model., and . Comput. Secur., (March 2023)Directed Bigraphs., and . MFPS, volume 173 of Electronic Notes in Theoretical Computer Science, page 121-137. Elsevier, (2007)Reactive Systems over Directed Bigraphs., and . CONCUR, volume 4703 of Lecture Notes in Computer Science, page 380-394. Springer, (2007)Modal Logics for Brane Calculus., and . CMSB, volume 4210 of Lecture Notes in Computer Science, page 1-16. Springer, (2006)