Formal verification of python software transactional memory serializability based on the push/pull semantic model

Резултати

Назив:	Formal verification of python software transactional memory serializability based on the push/pull semantic model
Аутори:	Popovic, Miroslav ; Popovic, Marko; Gilezan, Silvia ; Kordić, Branislav
Година:	2019
Публикација:	ACM International Conference Proceeding Series
Издавач:	Association for Computing Machinery
Тип резултата:	Конференцијски рад
ISBN:	978-1-450-37636-5 Претражи идентификатор
DOI:	10.1145/3352700.3352706
WoS-ID:	000525376600006
Scopus-ID:	2-s2.0-85075866047
URI:	https://enauka.gov.rs/handle/123456789/249963 http://researchrepository.mi.sanu.ac.rs/handle/123456789/2574
Пројекат:	Development of embedded systems with connected services and digital technology Development of new information and communication technologies, based on advanced mathematical methods, with applications in medicine, telecommunications, power systems, protection of national heritage and education Representations of logical structures and formal languages and their application in computing
Извор метаподатака:	Migracija
М-категорија:	Мп категорија ће бити приказана накнадно.

3
SCOPUS^TM

1
OpenCitations

Алт метрика

Dimensions

Unpaywall

Google Scholar^TM

Резултати на еНаука су заштићени ауторским правима и сва права су задржана, осим ако није другачије назначено.