( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Locally Abstract, Globally Concrete Semantics of Concurrent Programming Languages.

, , , , и . TABLEAUX, том 10501 из Lecture Notes in Computer Science, стр. 22-43. Springer, (2017)

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.

Carla Crystal Rieger

Fu-Chang Chang

George Din

George Din

Din Wabbals

 

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

Twinning-by-Construction: Ensuring Correctness for Self-adaptive Digital Twins., , , , и . ISoLA (1), том 13701 из Lecture Notes in Computer Science, стр. 188-204. Springer, (2022)Program Verification for Exception Handling on Active Objects Using Futures., , и . SEFM, том 10886 из Lecture Notes in Computer Science, стр. 73-88. Springer, (2018)Consistency-preserving evolution planning on feature models., , , , , , , и . SPLC (A), стр. 8:1-8:12. ACM, (2020)Behavioral Contracts for Cooperative Scheduling., , , и . 20 Years of KeY, том 12345 из Lecture Notes in Computer Science, Springer, (2020)Geological Multi-scenario Reasoning., , , , , и . NIK, Bibsys Open Journal Systems, Norway, (2019)Session-Based Compositional Analysis for Actor-Based Languages Using Futures., , и . ICFEM, том 10009 из Lecture Notes in Computer Science, стр. 296-312. (2016)Locally Abstract, Globally Concrete Semantics of Concurrent Programming Languages., , , , и . TABLEAUX, том 10501 из Lecture Notes in Computer Science, стр. 22-43. Springer, (2017)I Can See Clearly Now: Clairvoyant Assertions for Deadlock Checking., , , и . The Logic of Software. A Tasting Menu of Formal Methods, том 13360 из Lecture Notes in Computer Science, стр. 1-18. Springer, (2022)History-Based Specification and Verification of Scalable Concurrent and Distributed Systems., , , и . ICFEM, том 9407 из Lecture Notes in Computer Science, стр. 217-233. Springer, (2015)Translating Active Objects into Colored Petri Nets for Communication Analysis., , , , и . FSEN, том 10522 из Lecture Notes in Computer Science, стр. 84-99. Springer, (2017)