( en | de | ru )

 

Disambiguation of "Phillips, Iain C. C."

Author of the publication

copydeleteadd this publication to your clipboard
Event structures for the reversible early internal Pi-calculus.

, , and . CoRR, (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. 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

Reversing algebraic process calculi., and . J. Log. Algebraic Methods Program., 73 (1-2): 70-96 (2007)Reversible Causal Nets and Reversible Event Structures., , , , and . CoRR, (2019)Event structure semantics of (controlled) reversible CCS., , and . J. Log. Algebraic Methods Program., (2021)Ordered SOS Process Languages for Branching and Eager Bisimulations., and . Inf. Comput., 178 (1): 180-213 (2002)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)Reversing Algebraic Process Calculi., and . FoSSaCS, volume 3921 of Lecture Notes in Computer Science, page 246-260. Springer, (2006)Towards a Taxonomy for Reversible Computation Approaches., , , , , , and . RC, volume 13960 of Lecture Notes in Computer Science, page 24-39. Springer, (2023)An Axiomatic Approach to Reversible Computation., , and . FoSSaCS, volume 12077 of Lecture Notes in Computer Science, page 442-461. Springer, (2020)Event structures for the reversible early internal Pi-calculus., , and . CoRR, (2020)