Reversing Algebraic Process Calculi-Reference-Cited by-同舟云学术

Reversing Algebraic Process Calculi

Published:2006 Issue: Volume: Page:246-260
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Phillips Iain,Ulidowski Irek

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/11690634_17

Reference20 articles.

1. Abramsky, S.: A structural approach to reversible computation. Theoretical Computer Science 347(3), 441–464 (2005)

2. Altenkirch, T., Grattage, J.: A functional quantum programming language. In: Proceedings of the 20th Annual IEEE Symposium on Logic in Computer Science, LICS 2005, pp. 249–258. IEEE Computer Society Press, Los Alamitos (2005)

3. Lecture Notes in Computer Science;J.C.M. Baeten,1993

4. Baeten, J.C.M., Weijland, W.P.: Process Algebra. In: Cambridge Tracts in Theoretical Computer Science, vol. 18, Cambridge University Press, Cambridge (1990)

5. Bednarczyk, M.A.: Hereditary history preserving bisimulations or what is the power of the future perfect in program logics. Technical report, Institute of Computer Science, Polish Academy of Sciences, Gdańsk (1991)

Cited by 18 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. An Axiomatic Theory for Reversible Computation;ACM Transactions on Computational Logic;2024-04-16

2. Compositional Reversible Computation;Lecture Notes in Computer Science;2024

3. Implementation of a Reversible Distributed Calculus;Reversible Computation;2023

4. Processes, Systems & Tests: Defining Contextual Equivalences;Electronic Proceedings in Theoretical Computer Science;2021-10-02

5. Explicit Identifiers and Contexts in Reversible Concurrent Calculus;Reversible Computation;2021