L
lock
Projects with this topic
-
En esta segunda práctica el problema se resolverá utilizando los monitores como herramienta de concurrencia.
Updated -
A class I followed about modelling and verifying a lock in UPPAAL.
Updated -
jPack is an application that encrypts/decrypts a selected directory by creating a single file from it. It works on the principle of creating an archive that contains strong encrypt data.
Updated