Alloy

Used alloy to understand Threads and Processes such as semaphores, mutex, and race conditions

Name		Name	Last commit message	Last commit date
CafeStarter-Model_1-Semaphores1.pml		CafeStarter-Model_1-Semaphores1.pml
FieldComplex-static.als		FieldComplex-static.als
FieldComplex_dynamic.als		FieldComplex_dynamic.als
FieldComplex_static.als		FieldComplex_static.als
FoodDB.als		FoodDB.als
IceCreamOrdered.als		IceCreamOrdered.als
IceCreamRace.pml		IceCreamRace.pml
Marriage-01 (1).als		Marriage-01 (1).als
Marriage-02.als		Marriage-02.als
Museum.als		Museum.als
Museum.html		Museum.html
PoliceLineup-soln.als		PoliceLineup-soln.als
PoliceLineup-stu.als		PoliceLineup-stu.als
R2.als		R2.als
README.md		README.md
WildlifeWalk-stu.als		WildlifeWalk-stu.als
WildlifeWalk-stu.pdf		WildlifeWalk-stu.pdf
alloy4.2.jar		alloy4.2.jar
config.cfg		config.cfg
friend-enemies.als		friend-enemies.als
lcm.pml		lcm.pml
philosophers.pml		philosophers.pml

Navigation Menu