Communication and Resource Deadlock Analysis Using IMDS Formalism and Model Checking.
- Published in:
- Computer Journal, 2017, v. 60, n. 5, p. 729, doi. 10.1093/comjnl/bxw099
- By:
- Publication type:
- Article
Works matching IS 00104620 AND DT 2017 AND VI 60 AND IP 5
Results: 9
1
2
Events Algebra of Triggers.
- Published in:
- Computer Journal, 2017, v. 60, n. 5, p. 751, doi. 10.1093/comjnl/bxw100
- By:
- Publication type:
- Article
3
Compressed Bit vectors Based on Variable-to-Fixed Encodings.
- Published in:
- Computer Journal, 2017, v. 60, n. 5, p. 761, doi. 10.1093/comjnl/bxw103
- By:
- Publication type:
- Article
4
General Constructions of Rational Secret Sharing with Expected Constant-Round Reconstruction.
- Published in:
- Computer Journal, 2017, v. 60, n. 5, p. 711, doi. 10.1093/comjnl/bxw094
- By:
- Publication type:
- Article
5
On Algorithms for Enumerating Subtrees of Hexagonal and Phenylene Chains.
- Published in:
- Computer Journal, 2017, v. 60, n. 5, p. 690, doi. 10.1093/comjnl/bxw091
- By:
- Publication type:
- Article
6
Verification for Non-polynomial Hybrid Systems Using Rational Invariants.
- Published in:
- Computer Journal, 2017, v. 60, n. 5, p. 675, doi. 10.1093/comjnl/bxw090
- By:
- Publication type:
- Article
7
Heap Construction—50 Years Later.
- Published in:
- Computer Journal, 2017, v. 60, n. 5, p. 657, doi. 10.1093/comjnl/bxw085
- By:
- Publication type:
- Article
8
Semantic Subtyping for Objects and Classes.
- Published in:
- Computer Journal, 2017, v. 60, n. 5, p. 636, doi. 10.1093/comjnl/bxw080
- By:
- Publication type:
- Article
9
Reliability of Complete Cubic Networks under the Condition of g-Good-Neighbor.
- Published in:
- Computer Journal, 2017, v. 60, n. 5, p. 625, doi. 10.1093/comjnl/bxw078
- By:
- Publication type:
- Article