( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Concurrency and Reversibility.

, , и . RC, том 8507 из Lecture Notes in Computer Science, стр. 1-14. Springer, (2014)

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.

Marvin Yuen

Jenny Yuen

Tak-Hong Yuen

Rafael Shoji

Shoji Wada

 

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

Nested Timed Automata with Frozen Clocks., , и . FORMATS, том 9268 из Lecture Notes in Computer Science, стр. 189-205. Springer, (2015)Extending Process Languages with Time., и . AMAST, том 1349 из Lecture Notes in Computer Science, стр. 524-538. Springer, (1997)Session-ocaml: A Session-Based Library with Polarities and Lenses., , и . COORDINATION, том 10319 из Lecture Notes in Computer Science, стр. 99-118. Springer, (2017)Process languages with discrete relative time based on the Ordered SOS format and rooted eager bisimulation., и . J. Log. Algebraic Methods Program., (2004)Automating Time-series Safety Analysis for Automotive Control Systems Using Weighted Partial Max-SMT., , , , и . J. Inf. Process., (2020)A Reversible Runtime Environment for Parallel Programs., и . RC, том 12227 из Lecture Notes in Computer Science, стр. 272-279. Springer, (2020)Concurrency and Reversibility., , и . RC, том 8507 из Lecture Notes in Computer Science, стр. 1-14. Springer, (2014)A Reversible Process Calculus and the Modelling of the ERK Signalling Pathway., , и . RC, том 7581 из Lecture Notes in Computer Science, стр. 218-232. Springer, (2012)A Reversible Debugger for Imperative Parallel Programs with Contracts., и . RC, том 13354 из Lecture Notes in Computer Science, стр. 204-212. Springer, (2022)Availability checking of dynamic spatial information for automobiles., , , и . ICSRS, стр. 505-511. IEEE, (2017)