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 <
10000
a data-hydro-click="{"event_type":"explore.click","payload":{"click_context":"REPOSITORY_CARD","click_target":"TOPIC","click_visual_representation":"TOPIC_TAG","actor_id":null,"record_id":12700,"originating_url":"https://github.com/topics/concurrent-systems","user_id":null}}" data-hydro-click-hmac="8d2477badfaae75c8693195c197f5643b0c56ad8b60d8e721a59f65c59fcc69f" title="Topic: makefile" href="/topics/makefile" data-view-component="true" class="topic-tag topic-tag-link Link f6 mb-2">makefile concurrency concurrent-programming regular safe threads registers concurrent-systems mrmw
-
Updated
Oct 30, 2023 - 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++
College "Distributed and Concurrent Systems" exercises.
-
Updated
Oct 16, 2021 - Java
💜 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 23, 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."