#

concurrent-objects

Here are 2 public repositories matching this topic...

emilstahl97 / Concurrent-Programming-ID1217

The course covers the core concepts, models, paradigms and techniques for concurrent programming. This forms the basis for operating systems, distributed systems and multiprocessor systems, including multicore systems. The course studies foundations and principles of concurrent programming.

processes threads monitors paradigms mutual-exclusion semaphores concurrent-objects concurrent-programs concurrent-utilities multiprocessor-systems multicore-systems condition-synchronization

Updated Mar 10, 2023
TeX

praalhans / lean-abs

Formalization of proof system for ABS in the Lean theorem prover

theorem-proving verification lean concurrent-objects

Updated Dec 9, 2019
Lean

Improve this page

Add a description, image, and links to the concurrent-objects topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the concurrent-objects topic, visit your repo's landing page and select "manage topics."