( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
An Axiomatic Approach to Reversible Computation.

, , и . FoSSaCS, том 12077 из Lecture Notes in Computer Science, стр. 442-461. Springer, (2020)

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.

Guido C C Clinckspoor

Thomas C C Knöbig

Ullrich C C Jagstaidt

Guido C C Clinckspoor

Thomas C C Gartenmann

 

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

Ordered SOS Process Languages for Branching and Eager Bisimulations., и . Inf. Comput., 178 (1): 180-213 (2002)An Axiomatic Approach to Reversible Computation., , и . FoSSaCS, том 12077 из Lecture Notes in Computer Science, стр. 442-461. Springer, (2020)Reversing Algebraic Process Calculi., и . FoSSaCS, том 3921 из Lecture Notes in Computer Science, стр. 246-260. Springer, (2006)Towards a Taxonomy for Reversible Computation Approaches., , , , , , и . RC, том 13960 из Lecture Notes in Computer Science, стр. 24-39. Springer, (2023)Possible and Guaranteed Concurrency in CSP., и . STRICT, стр. 220-235. Springer, (1995)Event structures for the reversible early internal Pi-calculus., , и . CoRR, (2020)Foundations of Reversible Computation., , , , , , , , , и 5 other автор(ы). Selected Results of the COST Action IC1405, том 12070 из Lecture Notes in Computer Science, Springer, (2020)Preface., и . EXPRESS, том 154 из Electronic Notes in Theoretical Computer Science, стр. 1-2. Elsevier, (2005)Formats of Ordered SOS Rules with Silent Actions., и . TAPSOFT, том 1214 из Lecture Notes in Computer Science, стр. 297-308. Springer, (1997)The Meaning of Ordered SOS., , , и . FSTTCS, том 4337 из Lecture Notes in Computer Science, стр. 333-344. Springer, (2006)