Homepage for the Coloured Petri Nets book
-
Updated
Jun 23, 2019
#
concurrent-systems
Here are 9 public repositories matching this topic...
A modern specification language and model checker for concurrent and distributed systems. Faster than TLA+/TLC.
rust distributed-systems model-checking formal-verification specification-language concurrent-systems tla-plus
-
Updated
Mar 20, 2026 - Rust
These are systems comprising a collection of independent components which may perform operations concurrently — that is, at the same instant of time.
java synchronization atomic makefile concurrency concurrent-programming regular safe threads registers concurrent-systems mrmw
-
Updated
Oct 30, 2023 - Java
Homework project developed in the course FORMAL METHODS FOR CONCURRENT AND REAL-TIME SYSTEMS (now FORMAL METHODS FOR SOFTWARE ENGINEERING) of Politecnico di Milano during the academic year 2024/2025. Mark: 30 cum laude
model-checking formal-methods polimi real-time-systems concurrent-systems uppaal timed-automata homework-project polimi-projects
-
Updated
Jul 26, 2025 - TeX
Prácticas de Sistemas Concurrentes y Distribuidos. Curso 2021/2022
distributed-systems mpi cpp11 spanish concurrent-programming scd concurrent-systems sistemas-concurrentes-distribuidos
-
Updated
Mar 2, 2023 - C++
College "Distributed and Concurrent Systems" exercises.
-
Updated
Oct 16, 2021 - Java
Production-grade ML platform for real-time predictive maintenance using FastAPI, Docker, XGBoost, SQLite, and AWS EC2.
docker machine-learning ai backend rest-api sqlite xgboost machinelearning sws concurrent-systems predictive-maintenance mlops fastapi ml-engineering
-
Updated
Mar 20, 2026 - Python
Concurrent programming project developed with Java, Fork/Join, Threads, ExecutorService, CSV data processing, and NetBeans, featuring concurrent standard deviation calculation, 10x10 matrix multiplication using Threads and ExecutorService, and descending merge sort with Fork/Join for the Concurrent Systems CA1 module at CCT College Dublin.
java netbeans concurrency parallel-computing multithreading matrix-multiplication threads concurrent-systems standard-deviation merge-sort csv-processing fork-join executorservice
-
Updated
Mar 20, 2026 - Java
Full-stack multiplayer web-based board game developed with Node.js, WebSockets, JavaScript, HTML, and CSS, featuring real-time turn-based gameplay, combat mechanics, concurrent game sessions, player statistics, and an arcade-style user interface for the Concurrent Systems CA2 Module at CCT College.
-
Updated
Mar 17, 2026 - JavaScript
Improve this page
Add a description, image, and links to the concurrent-systems topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the concurrent-systems topic, visit your repo's landing page and select "manage topics."