( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
On the Monitorability of Session Types, in Theory and Practice (Extended Version).

, , и . CoRR, (2021)

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.

Adrian Francalanza

Adrian Gabriel

Adrian Bölingen

Adrian Niemietz

Adrian Mehler

 

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

A Survey of Challenges for Runtime Verification from Advanced Application Domains (Beyond Software)., , , , , , , , , и 6 other автор(ы). CoRR, (2018)Implementing a Message-Passing Interpretation of the Semi-Axiomatic Sequent Calculus (Sax)., , и . COORDINATION, том 14676 из Lecture Notes in Computer Science, стр. 295-313. Springer, (2024)Testing Equivalence vs. Runtime Monitoring., , , , и . Models, Languages, and Tools for Concurrent and Distributed Programming, том 11665 из Lecture Notes in Computer Science, стр. 28-44. Springer, (2019)Session types in Elixir., и . AGERE!@SPLASH, стр. 12-23. ACM, (2021)Runtime Instrumentation for Reactive Components (Extended Version)., , , и . CoRR, (2024)On Implementing Symbolic Controllability., и . COORDINATION, том 12134 из Lecture Notes in Computer Science, стр. 350-369. Springer, (2020)Towards Probabilistic Session-Type Monitoring., , , , и . COORDINATION, том 12717 из Lecture Notes in Computer Science, стр. 106-120. Springer, (2021)On Bidirectional Runtime Enforcement., , , и . FORTE, том 12719 из Lecture Notes in Computer Science, стр. 3-21. Springer, (2021)On Benchmarking for Concurrent Runtime Verification., , , и . FASE, том 12649 из Lecture Notes in Computer Science, стр. 3-23. Springer, (2021)Heaps Don't Lie: Countering Unsoundness with Heap Snapshots., , , и . CoRR, (2019)