https://github.com/cinrc/exercises-on-ccs-ccsk-and-rccs
A collection of exercises about CCS and its reversible declensions
Science Score: 26.0%
This score indicates how likely this project is to be science-related based on various indicators:
-
○CITATION.cff file
-
✓codemeta.json file
Found codemeta.json file -
✓.zenodo.json file
Found .zenodo.json file -
○DOI references
-
○Academic publication links
-
○Academic email domains
-
○Institutional organization owner
-
○JOSS paper metadata
-
○Scientific vocabulary similarity
Low similarity (6.4%) to scientific vocabulary
Keywords
Repository
A collection of exercises about CCS and its reversible declensions
Basic Info
Statistics
- Stars: 0
- Watchers: 3
- Forks: 1
- Open Issues: 1
- Releases: 0
Topics
Metadata Files
readme.md
A collection of exercises about CCS and its reversible declensions
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.
Exercises - 0 --- Setting up a Typesetting system
This very brief note indicates how those notes are produced, using Pandoc and other standard tools in the Academic field of Theoretical Computer Sciences.
Exercises - 1 --- Forward-Only CCS
A rough introduction to the Calculus of Communicating Systems (CCS), its syntax and semantics, as well as "the" canonical Vending machine example.
Exercises 2 -- CCSK
A rough introduction to one of the two reversible systems, CCSK.
Exercises 3 -- (Bi)simulations
Some notes about the purpose and benefits of (bi)simulations for CCS and CCSK.
Exercise Bonus -- Some notes on λ-calculus
Some rapid notes introducing λ-calculus.
Some Notes About Reversibility
Some brief notes about the benefits and usage of reversible computation.
License
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.
Owner
- Name: Concurrency In Reversible Computations
- Login: CinRC
- Kind: organization
- Email: caubert@augusta.edu
- Website: https://spots.augusta.edu/caubert/cinrc/
- Repositories: 2
- Profile: https://github.com/CinRC
An NSF-funded project aiming at improving current specification languages for concurrent, reversible programs and protocols.
GitHub Events
Total
- Push event: 1
- Pull request event: 3
Last Year
- Push event: 1
- Pull request event: 3
Issues and Pull Requests
Last synced: over 1 year ago
All Time
- Total issues: 1
- Total pull requests: 2
- Average time to close issues: N/A
- Average time to close pull requests: 4 days
- Total issue authors: 1
- Total pull request authors: 1
- Average comments per issue: 2.0
- Average comments per pull request: 0.5
- Merged pull requests: 2
- Bot issues: 0
- Bot pull requests: 0
Past Year
- Issues: 1
- Pull requests: 2
- Average time to close issues: N/A
- Average time to close pull requests: 4 days
- Issue authors: 1
- Pull request authors: 1
- Average comments per issue: 2.0
- Average comments per pull request: 0.5
- Merged pull requests: 2
- Bot issues: 0
- Bot pull requests: 0
Top Authors
Issue Authors
- aubertc (1)
Pull Request Authors
- GabrieleCecilia (4)