search

CinRC / IRDC-CCSK

Java implementation of distributed reversible computation verification
https://spots.augusta.edu/caubert/cinrc/
GNU General Public License v3.0
4 stars 2 forks source link

Synchronization #11

Closed aubertc closed 2 years ago

aubertc commented 2 years ago

Whenever there is a process such as a.P | 'a . P, three actions are possible:

We will need to implement this third option.

peterbro1 commented 2 years ago

Implemented