( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
On Series-Parallel Pomset Languages: Rationality, Context-Freeness and Automata.

, , , , и . CoRR, (2018)

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.

Bas Altena

Bas Heur

Bas Basten

Murat Bas

Murat Bas

 

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

Preface to special issue: EXPRESS 2011., и . Math. Struct. Comput. Sci., 26 (8): 1351 (2016)Computations and Interaction., , и . ICDCIT, том 6536 из Lecture Notes in Computer Science, стр. 35-54. Springer, (2011)Divergence-Preserving Branching Bisimilarity.. EXPRESS/SOS, том 322 из EPTCS, стр. 3-11. (2020)Up-to Techniques for Branching Bisimilarity., , и . CoRR, (2020)Divide and Congruence III: Stability & Divergence., , и . CONCUR, том 85 из LIPIcs, стр. 15:1-15:16. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2017)On the axiomatisability of priority III: Priority strikes again., , , , , и . Theor. Comput. Sci., (2020)Pushdown Automata and Context-Free Grammars in Bisimulation Semantics., , и . Log. Methods Comput. Sci., (2023)On the Axiomatisability of Parallel Composition., , , , и . CoRR, (2021)Towards model checking executable UML specifications in mCRL2., , , , и . Innov. Syst. Softw. Eng., 6 (1-2): 83-90 (2010)Editorial., , и . Formal Aspects Comput., 10 (5-6): 435 (1998)