Most of the documents below can be pre-viewed in github directly, by simply opening the "main.md" file. However, due to the limitations of github's markdown, it is recommended to refer to the pdf documents, also included.
This very brief note indicates how those notes are produced, using Pandoc and other standard tools in the Academic field of Theoretical Computer Sciences.
A rough introduction to the Calculus of Communicating Systems (CCS), its syntax and semantics, as well as "the" canonical Vending machine example.
A rough introduction to one of the two reversible systems, CSSK.
Some notes about the purpose and benefits of (bi)simulations for CSS and CSSK.
Some rapid notes introducing λ-calculus.
Some brief notes about the benefits and usage of reversible computation.
This work is licensed under the Creative Commons Attribution 4.0 International License. To view a copy of this license, refer to the license.md file, visit http://creativecommons.org/licenses/by/4.0/ or send a letter to Creative Commons, PO Box 1866, Mountain View, CA 94042, USA.