Used together with:
concurr
(1)
model
(1)
deadlock
(1)
time
(1)
prevent
(1)
Stem
inreal$ (
all stems
)
1 papers:
QoSA-2014-MzidMBA
#concurrent
#design pattern
#modelling
#named
#realtime
SRMP: a software pattern for deadlocks prevention inreal-time concurrency models (
RM
,
CM
,
JPB
,
MA
), pp. 139–144.
Bibliography of Software Language Engineering in Generated Hypertext
(
BibSLEIGH
) is created and maintained by
Dr. Vadim Zaytsev
.
Hosted as a part of
SLEBOK
on
GitHub
.