FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2565764087> ?p ?o ?g. }

• W2565764087 abstract "Modern static deadlock detection techniques deal with the global properties of the verified systems, using methods that explore the state space. Local features, like partial deadlocks or individual process terminations, are not easily expressed or checked by such methods. Also the distinction between communication deadlocks and resource deadlocks, common in dynamic waits-for methods, cannot be addressed or verified by static methods. An Integrated Model of Distributed Systems (IMDS) is proposed which specifies distributed systems as sets of servers’ states, sets of messages and sets of actions. The message passing/resource sharing dualism of distributed systems is provided by projections: on servers (server view) and on agents (agent view), yet the uniform specification of a verified system is preserved. A progress of computation is defined in terms of actions which change (local) states and generate messages. Distributed actions do not depend on global states and are independent from one another. Therefore, local features of subsystems can be easily described in IMDS. Communication and resource deadlocks can be handled separately and total and partial deadlocks and terminations can be distinguished from each other. Integration of IMDS with model checking is outlined and temporal formulas for deadlock and termination checking are discussed." @default.
• W2565764087 created "2017-01-06" @default.
• W2565764087 creator A5066950874 @default.
• W2565764087 date "2016-12-20" @default.
• W2565764087 modified "2023-09-27" @default.
• W2565764087 title "Communication and Resource Deadlock Analysis Using IMDS Formalism and Model Checking" @default.
• W2565764087 cites W1452568986 @default.
• W2565764087 cites W1482434736 @default.
• W2565764087 cites W1504940531 @default.
• W2565764087 cites W1506588809 @default.
• W2565764087 cites W1518775808 @default.
• W2565764087 cites W152267705 @default.
• W2565764087 cites W1529568204 @default.
• W2565764087 cites W1530895039 @default.
• W2565764087 cites W1532908479 @default.
• W2565764087 cites W1555460062 @default.
• W2565764087 cites W1598605911 @default.
• W2565764087 cites W1780887522 @default.
• W2565764087 cites W1890368987 @default.
• W2565764087 cites W1925744448 @default.
• W2565764087 cites W1964718922 @default.
• W2565764087 cites W1967622799 @default.
• W2565764087 cites W1978208568 @default.
• W2565764087 cites W1980868220 @default.
• W2565764087 cites W1986332631 @default.
• W2565764087 cites W198918365 @default.
• W2565764087 cites W1990986484 @default.
• W2565764087 cites W1992135271 @default.
• W2565764087 cites W1993668481 @default.
• W2565764087 cites W1996589696 @default.
• W2565764087 cites W1999937954 @default.
• W2565764087 cites W2001289891 @default.
• W2565764087 cites W2001478969 @default.
• W2565764087 cites W2004043832 @default.
• W2565764087 cites W2007866490 @default.
• W2565764087 cites W2013173096 @default.
• W2565764087 cites W2016484402 @default.
• W2565764087 cites W2023408771 @default.
• W2565764087 cites W2028025798 @default.
• W2565764087 cites W2036442623 @default.
• W2565764087 cites W2036521380 @default.
• W2565764087 cites W2036868494 @default.
• W2565764087 cites W2040060046 @default.
• W2565764087 cites W2051539487 @default.
• W2565764087 cites W2066775342 @default.
• W2565764087 cites W2069754808 @default.
• W2565764087 cites W2081317651 @default.
• W2565764087 cites W2096115456 @default.
• W2565764087 cites W2096455207 @default.
• W2565764087 cites W2100578622 @default.
• W2565764087 cites W2101097602 @default.
• W2565764087 cites W2101508170 @default.
• W2565764087 cites W2106461458 @default.
• W2565764087 cites W2107978495 @default.
• W2565764087 cites W2108678912 @default.
• W2565764087 cites W2109787297 @default.
• W2565764087 cites W2115309705 @default.
• W2565764087 cites W2116873772 @default.
• W2565764087 cites W2120098047 @default.
• W2565764087 cites W2120849108 @default.
• W2565764087 cites W2122762495 @default.
• W2565764087 cites W2123471081 @default.
• W2565764087 cites W2127721288 @default.
• W2565764087 cites W2129292921 @default.
• W2565764087 cites W2131053137 @default.
• W2565764087 cites W2133010105 @default.
• W2565764087 cites W2137057055 @default.
• W2565764087 cites W2137398674 @default.
• W2565764087 cites W2146928461 @default.
• W2565764087 cites W2149313960 @default.
• W2565764087 cites W2150023806 @default.
• W2565764087 cites W2155373035 @default.
• W2565764087 cites W2159375180 @default.
• W2565764087 cites W2160097679 @default.
• W2565764087 cites W2164768429 @default.
• W2565764087 cites W2166334040 @default.
• W2565764087 cites W2166357363 @default.
• W2565764087 cites W2294580796 @default.
• W2565764087 cites W2332567642 @default.
• W2565764087 cites W2492912431 @default.
• W2565764087 cites W2540703162 @default.
• W2565764087 cites W2546017686 @default.
• W2565764087 cites W3123595139 @default.
• W2565764087 doi "https://doi.org/10.1093/comjnl/bxw099" @default.
• W2565764087 hasPublicationYear "2016" @default.
• W2565764087 type Work @default.
• W2565764087 sameAs 2565764087 @default.
• W2565764087 citedByCount "13" @default.
• W2565764087 countsByYear W25657640872017 @default.
• W2565764087 countsByYear W25657640872018 @default.
• W2565764087 countsByYear W25657640872019 @default.
• W2565764087 countsByYear W25657640872021 @default.
• W2565764087 crossrefType "journal-article" @default.
• W2565764087 hasAuthorship W2565764087A5066950874 @default.
• W2565764087 hasConcept C110251889 @default.
• W2565764087 hasConcept C113429609 @default.
• W2565764087 hasConcept C11413529 @default.
• W2565764087 hasConcept C120314980 @default.
• W2565764087 hasConcept C142362112 @default.
• W2565764087 hasConcept C153349607 @default.

• next