Homepage for the Coloured Petri Nets book
-
Updated
Jun 23, 2019
#
concurrent-systems
Here are 7 public repositories matching this topic...
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
College "Distributed and Concurrent Systems" exercises.
-
Updated
Oct 16, 2021 - Java
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++
💜 Scalable and feature-rich chat server and clients built with FIO, designed for high-performance asynchronous communication
chat application distributed-systems fsharp functional-programming dotnet fio chat-application fiber concurrent-systems chat-system messaging-app
-
Updated
May 29, 2025 - F#
TLA+ examples demonstrating AI-assisted formal specification development, model checking, and verification processes
distributed-systems verification literate-programming model-checking formal-methods formal-verification concurrent-systems formal-specification tla-plus ai-assisted
-
Updated
Jun 8, 2025 - TLA
Explore the TLA+ AI Amplifier repository to see how AI tools can enhance formal specification development and verification. 🛠️ Discover examples like a race condition counter and a producer-consumer queue, complete with TLA+ specs and Python implementations. 💻
distributed-systems verification literate-programming model-checking formal-methods formal-verification concurrent-systems formal-specification tla-plus ai-assisted
-
Updated
Jun 19, 2025 - TLA
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."