( en | de | ru )

 

Disambiguation of "Phillips, Iain C. C."

Author of the publication

copydeleteadd this publication to your clipboard
Event structure semantics of (controlled) reversible CCS.

, , and . J. Log. Algebraic Methods Program., (2021)

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.

Guido C C Clinckspoor

Thomas C C Knöbig

Ullrich C C Jagstaidt

Guido C C Clinckspoor

Thomas C C Gartenmann

 

Other publications of authors with the same name

Reversible Causal Nets and Reversible Event Structures., , , , and . CoRR, (2019)Ordered SOS Process Languages for Branching and Eager Bisimulations., and . Inf. Comput., 178 (1): 180-213 (2002)Event structure semantics of (controlled) reversible CCS., , and . J. Log. Algebraic Methods Program., (2021)Reversing algebraic process calculi., and . J. Log. Algebraic Methods Program., 73 (1-2): 70-96 (2007)Reversing Algebraic Process Calculi., and . FoSSaCS, volume 3921 of Lecture Notes in Computer Science, page 246-260. Springer, (2006)An Axiomatic Approach to Reversible Computation., , and . FoSSaCS, volume 12077 of Lecture Notes in Computer Science, page 442-461. Springer, (2020)Towards a Taxonomy for Reversible Computation Approaches., , , , , , and . RC, volume 13960 of Lecture Notes in Computer Science, page 24-39. Springer, (2023)Possible and Guaranteed Concurrency in CSP., and . STRICT, page 220-235. Springer, (1995)An Axiomatic Theory for Reversible Computation., , and . ACM Trans. Comput. Log., 25 (2): 11:1-11:40 (April 2024)Event structures for the reversible early internal Pi-calculus., , and . CoRR, (2020)