( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Checking Amalgamability Conditions for C ASL Architectural Specifications.

, , , , и . MFCS, том 2136 из Lecture Notes in Computer Science, стр. 451-463. Springer, (2001)

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.

Bartek Gedrojc

Tobias Bartek

Uwe Bartek

Harald Bartek

Benjamin Bartek

 

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

Coalgebraic trace semantics via forgetful logics., и . Log. Methods Comput. Sci., (2016)Structural Operational Semantics for Weighted Transition Systems.. Semantics and Algebraic Specification, том 5700 из Lecture Notes in Computer Science, стр. 121-139. Springer, (2009)Coalgebraic Trace Semantics via Forgetful Logics., и . FoSSaCS, том 9034 из Lecture Notes in Computer Science, стр. 151-166. Springer, (2015)History-Dependent Nominal μ-Calculus., и . LICS, стр. 1-13. IEEE, (2019)Bialgebras for structural operational semantics: An introduction.. Theor. Comput. Sci., 412 (38): 5043-5069 (2011)Structural Operational Semantics for Stochastic Process Calculi., и . FoSSaCS, том 4962 из Lecture Notes in Computer Science, стр. 428-442. Springer, (2008)Structural Operational Semantics and Modal Logic, Revisited.. CMCS@ETAPS, том 264 из Electronic Notes in Theoretical Computer Science, стр. 155-175. Elsevier, (2010)Learning nominal automata., , , , и . POPL, стр. 613-625. ACM, (2017)The Least Fibred Lifting and the Expressivity of Coalgebraic Modal Logic.. CALCO, том 3629 из Lecture Notes in Computer Science, стр. 247-262. Springer, (2005)Automata with Group Actions., , и . LICS, стр. 355-364. IEEE Computer Society, (2011)