A JavaScript Library for Dimensionality Reduction
Real-time System Modeling and Verification through Labeled Transition System Analyser (LTSA)
Verification tool for concurrent systems using FSP and Labelled Transition Systems, with LTS visualization, animation, and a working MSC plugin.
Theory notes, exercises, and project - Software Engineering II course - Computer Science @ FAMAF (UNC)
Relevant files used for the project 'Characterization of Implied Scenarios as Families of Common Behavior'.
FSP component for Concurrent Programming coursework
Demonstration of a concurrent printing system (Java & FSP), that has several students that share a printer to print documents, and two technicians that refill it with paper and toner cartridges.
To associate your repository with the ltsa topic, visit your repo's landing page and select "manage topics."