Leily578's repositories
QtPhilosophers
Dining philosophers problem's solution in Qt application (QML/C++)
COS700-GDP
This repository is for COS700-Research project. (Verification tool for Generalised Dining Philosophers built on Qt)
Language:C++000
dining_philosophers
Simple solution of classic dining philosophers problem
Language:C++MIT000
Language:C000
SCXML-tutorial
SCXML illustrated examples and tutorials
BSD-3-Clause000