Siphon-based deadlock detection in Integrated Model of Distributed Systems (IMDS)
Saved in:
Main Author: | Wiktor Daszczuk |
---|---|
Format: | Article |
Language: | English |
Published: |
Polish Information Processing Society
2018-09-01
|
Series: | Annals of computer science and information systems |
Online Access: | https://annals-csis.org/Volume_15/drp/pdf/114.pdf |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
-
Formal verification of BPMN diagrams in Integrated Model of Distributed Systems (IMDS)
by: Wiktor Daszczuk, et al.
Published: (2023-10-01) -
Deadlock /
by: Forbes, Colin -
Dayton Deadlock
by: I. S. Morozov
Published: (2011-02-01) -
Deadlock a V.I. Warshawski mystery
by: Paretsky, Sara
Published: (1984) -
RELAP5 Modeling of a Siphon Break Effect on the Brazilian Multipurpose Reactor
by: Humberto Vitor Soares, et al.
Published: (2021-02-01)