( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Soft component automata: Composition, compilation, logic, and verification.

, , , и . Sci. Comput. Program., (2019)

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.

Carolyn Lerche

Carolyn Schaller

Carolyn Weber

Carolyn Grone

Carolyn Hinz

 

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

A Semantic Framework for Specifying and Reasoning about Composable Distributed Middleware Services.. FMOODS, том 209 из IFIP Conference Proceedings, стр. 25-26. Kluwer, (2002)Reasoning Theories: Towards an Architecture for Open Mechanized Reasoning Systems., , и . FroCoS, том 3 из Applied Logic Series, стр. 157-174. Kluwer Academic Publishers, (1996)A Sampler of Application Areas., , , , , , и . All About Maude, том 4350 из Lecture Notes in Computer Science, Springer, (2007)Introduction., , , , , , и . All About Maude, том 4350 из Lecture Notes in Computer Science, Springer, (2007)Metaprogramming Applications., , , , , , и . All About Maude, том 4350 из Lecture Notes in Computer Science, Springer, (2007)Predefined Data Modules., , , , , , и . All About Maude, том 4350 из Lecture Notes in Computer Science, Springer, (2007)José Meseguer: Scientist and Friend Extraordinaire., , и . Logic, Rewriting, and Concurrency, том 9200 из Lecture Notes in Computer Science, стр. 1-47. Springer, (2015)Specification Diagrams for Actor Systems., и . High. Order Symb. Comput., 15 (4): 301-348 (2002)An Actor-Based Approach for Security Analysis of Cyber-Physical Systems., , , , , и . FMICS, том 12327 из Lecture Notes in Computer Science, стр. 130-147. Springer, (2020)Semantic Models for Distributed Object Reflection., и . ECOOP, том 2374 из Lecture Notes in Computer Science, стр. 1-36. Springer, (2002)