Studies in Computational Intelligence - Integrated Model of Distributed Systems
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer International Publishing

9783030128340, 9783030128357

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Distributed Autonomous and Asynchronous Automata (DA3)

Studies in Computational Intelligence - Integrated Model of Distributed Systems ◽

10.1007/978-3-030-12835-7_8 ◽

2019 ◽

pp. 125-137

Author(s):

Wiktor B. Daszczuk

Keyword(s):

Asynchronous Automata

Download Full-text

2-Vagabonds: Non-exhaustive Verification Algorithm

Studies in Computational Intelligence - Integrated Model of Distributed Systems ◽

10.1007/978-3-030-12835-7_11 ◽

2019 ◽

pp. 193-218

Author(s):

Wiktor B. Daszczuk

Keyword(s):

Verification Algorithm

Download Full-text

Fairness in Distributed Systems Verification

Studies in Computational Intelligence - Integrated Model of Distributed Systems ◽

10.1007/978-3-030-12835-7_9 ◽

2019 ◽

pp. 139-159

Author(s):

Wiktor B. Daszczuk

Keyword(s):

Distributed Systems

Download Full-text

Using the Dedan Program

Studies in Computational Intelligence - Integrated Model of Distributed Systems ◽

10.1007/978-3-030-12835-7_6 ◽

2019 ◽

pp. 87-97

Author(s):

Wiktor B. Daszczuk

Download Full-text

Conclusions and Further Work

Studies in Computational Intelligence - Integrated Model of Distributed Systems ◽

10.1007/978-3-030-12835-7_12 ◽

2019 ◽

pp. 219-226

Author(s):

Wiktor B. Daszczuk

Download Full-text

Introduction

Studies in Computational Intelligence - Integrated Model of Distributed Systems ◽

10.1007/978-3-030-12835-7_1 ◽

2019 ◽

pp. 1-16

Author(s):

Wiktor B. Daszczuk

Download Full-text

Integrated Model of Distributed Systems

Studies in Computational Intelligence - Integrated Model of Distributed Systems ◽

10.1007/978-3-030-12835-7_3 ◽

2019 ◽

pp. 31-48

Author(s):

Wiktor B. Daszczuk

Keyword(s):

Distributed Systems ◽

Integrated Model

Download Full-text

Deadlock Detection Examples: The Dedan Environment at Work

Studies in Computational Intelligence - Integrated Model of Distributed Systems ◽

10.1007/978-3-030-12835-7_5 ◽

2019 ◽

pp. 53-85

Author(s):

Wiktor B. Daszczuk

Keyword(s):

Deadlock Detection

Download Full-text

Deadlock Detection in Petri Net Equivalent to IMDS

Studies in Computational Intelligence - Integrated Model of Distributed Systems ◽

10.1007/978-3-030-12835-7_7 ◽

2019 ◽

pp. 99-123

Author(s):

Wiktor B. Daszczuk

Keyword(s):

Petri Net ◽

Deadlock Detection

Download Full-text

Model Checking of IMDS Specifications in the Dedan Environment

Studies in Computational Intelligence - Integrated Model of Distributed Systems ◽

10.1007/978-3-030-12835-7_4 ◽

2019 ◽

pp. 49-51

Author(s):

Wiktor B. Daszczuk

Keyword(s):

Model Checking

Download Full-text

Studies in Computational Intelligence - Integrated Model of Distributed SystemsLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer International Publishing

Distributed Autonomous and Asynchronous Automata (DA3)

2-Vagabonds: Non-exhaustive Verification Algorithm

Fairness in Distributed Systems Verification

Using the Dedan Program

Conclusions and Further Work

Introduction

Integrated Model of Distributed Systems

Deadlock Detection Examples: The Dedan Environment at Work

Deadlock Detection in Petri Net Equivalent to IMDS

Model Checking of IMDS Specifications in the Dedan Environment

Studies in Computational Intelligence - Integrated Model of Distributed Systems
Latest Publications