Author of the publication

A Reversible Process Calculus and the Modelling of the ERK Signalling Pathway.

, , and . RC, volume 7581 of Lecture Notes in Computer Science, page 218-232. Springer, (2012)

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. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Automating Time-series Safety Analysis for Automotive Control Systems Using Weighted Partial Max-SMT., , , , and . J. Inf. Process., (2020)Process languages with discrete relative time based on the Ordered SOS format and rooted eager bisimulation., and . J. Log. Algebraic Methods Program., (2004)Concurrency and Reversibility., , and . RC, volume 8507 of Lecture Notes in Computer Science, page 1-14. Springer, (2014)A Reversible Process Calculus and the Modelling of the ERK Signalling Pathway., , and . RC, volume 7581 of Lecture Notes in Computer Science, page 218-232. Springer, (2012)A Reversible Runtime Environment for Parallel Programs., and . RC, volume 12227 of Lecture Notes in Computer Science, page 272-279. Springer, (2020)Extending Process Languages with Time., and . AMAST, volume 1349 of Lecture Notes in Computer Science, page 524-538. Springer, (1997)Session-ocaml: A Session-Based Library with Polarities and Lenses., , and . COORDINATION, volume 10319 of Lecture Notes in Computer Science, page 99-118. Springer, (2017)Nested Timed Automata with Frozen Clocks., , and . FORMATS, volume 9268 of Lecture Notes in Computer Science, page 189-205. Springer, (2015)Constant Propagation in CRIL by Bidirectional Data Flow Analysis., and . J. Inf. Process., (2024)Web Automata: A Behavioral Model of Web applications based on the MVC model., , , and . Inf. Media Technol., 1 (1): 66-79 (2006)