Reversing algebraic process calculi

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3921 LNCS, Issue , 2006, Pages 246-260

  Phillips, Iain ^a   Ulidowski, Irek ^b  

^a IMPERIAL COLLEGE LONDON   (United Kingdom)

^b UNIVERSITY OF LEICESTER   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATION THEORY; COMPUTER PROGRAMMING LANGUAGES; DIFFERENTIATION (CALCULUS); MATHEMATICAL OPERATORS; PROGRAM DEBUGGING; SEMANTICS;

OPERATIONAL SEMANTICS; PROCESS CALCULI; REVERSIBLE COMPUTATION; REVERSIBLE OPERATORS;

ALGEBRA;

EID: 33745772339     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11690634_17     Document Type: Conference Paper

References (20)

1. S. Abramsky. A structural approach to reversible computation. Theoretical Computer Science, 347(3):441-464, 2005.
2. T. Altenkirch and J. Grattage. A functional quantum programming language. In Proceedings of the 20th Annual IEEE Symposium on Logic in Computer Science, LICS 2005, pages 249-258. IEEE Computer Society Press, 2005.
3. J.C.M. Baeten and C. Verhoef. A congruence theorem for structured operational semantics with predicates. In Proceedings of 4th International Conference on Concurrency Theory, CONCUR '93, volume 715 of LNCS, pages 477-492. Springer-Verlag, 1993.
4. J.C.M. Baeten and W.P. Weijland. Process Algebra, volume 18 of Cambridge Tracts in Theoretical Computer Science. Cambridge University Press, 1990.
5. M.A. Bednarczyk. 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.
6. G. Boudol and I. Castellani. Flow models of distributed computations: three equivalent semantics for CCS. Information and Computation, 114:247-314, 1994.
7. H. Buhrman, J. Tromp, and P. Vitányi. Time and space bounds for reversible simulation. In Proceedings of 28th International Colloquium on Automata, Languages and Programming, ICALP 2001, volume 2076 of LNCS, pages 1017-1027. Springer-Verlag, 2001.
8. V. Danos and J. Krivine. Formal molecular biology done in CCS-R. In Proceedings of BioConcur, Marseille, 2003.
9. V. Danos and J. Krivine. Reversible communicating systems. In Proceedings of the 15th International Conference on Concurrency Theory, CONCUR 2004, volume 3170 of LNCS, pages 292-307. Springer-Verlag, 2004.
10. V. Danos and J. Krivine. Transactions in RCCS. In Proceedings of the 16th International Conference on Concurrency Theory, CONCUR 2005, volume 3653 of LNCS, pages 398-412. Springer-Verlag, 2005.
11. R. De Nicola, U. Montanari, and F. Vaandrager. Back and forth bisimulations. In Proceedings of CONCUR '90, Theories of Concurrency: Unification and Extension, volume 458 of LNCS, pages 152-165. Springer-Verlag, 1990.
12. R.J. van Glabbeek and U. Goltz. Refinement of actions and equivalence notions for concurrent systems. Acta Informatica, 37:229-327, 2001.
13. U. Goltz, R. Kuiper, and W. Penczek. Propositional temporal logics and equivalences. In Proceedings of 3rd International Conference on Concurrency Theory, CONCUR '92, volume 630 of LNCS, pages 222-235. Springer-Verlag, 1992.
14. C.A.R. Hoare. Communicating Sequential Processes. Prentice-Hall, 1985.
15. R. Landauer. Irreversibility and heat generated in the computing process. IBM Journal of Research and Development, 5:183-191, 1961.
16. R. Milner. Communication and Concurrency. Prentice-Hall, 1989.
17. M.R. Mousavi and M.A. Reniers. Congruence for structural congruences. In Proceedings of the 8th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2005, volume 3441 of LNCS, pages 47-62. Springer-Verlag, 2005.
18. I.C.C. Phillips and I. Ulidowski. Reversing algebraic process calculi. Technical Report CS-06-01, Department of Computer Science, Leicester University, 2006.
19. G.D. Plotkin. A structural approach to operational semantics. Journal of Logic and Algebraic Programming, 60-61:17-139, 2004.
20. Virtutech. Simics Hindsight. http://www.virtutech.com, 2005.