From post

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.

 

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

Hybrid and Subexponential Linear Logics., , и . LSFA, том 332 из Electronic Notes in Theoretical Computer Science, стр. 95-111. Elsevier, (2016)Models and emerging trends of concurrent constraint programming., , и . Constraints An Int. J., 18 (4): 535-578 (2013)Hybrid linear logic, revisited., , , и . Math. Struct. Comput. Sci., 29 (8): 1151-1176 (2019)Universal concurrent constraint programing: symbolic semantics and applications to security., и . SAC, стр. 145-150. ACM, (2008)A linear logic framework for multimodal logics., , и . Math. Struct. Comput. Sci., 32 (9): 1176-1204 (октября 2022)Unified Opinion Dynamic Modeling as Concurrent Set Relations in Rewriting Logic., , , и . CoRR, (2024)Foundations for Reliable and Flexible Interactive Multimedia Scores., , , и . MCM, том 9110 из Lecture Notes in Computer Science, стр. 29-41. Springer, (2015)Simulating Signalling Pathways With BioWayS., , , , и . CS2Bio, том 293 из Electronic Notes in Theoretical Computer Science, стр. 17-34. Elsevier, (2012)A framework for abstract interpretation of timed concurrent constraint programs., , и . PPDP, стр. 207-218. ACM, (2009)A Constraint-based Language for Multiparty Interactions., и . LSFA, том 351 из Electronic Notes in Theoretical Computer Science, стр. 25-50. Elsevier, (2020)