Formal modeling of a causal consistent distributed system and verification of its history via model checking using colored Petri net.
Saved in:
| Title: | Formal modeling of a causal consistent distributed system and verification of its history via model checking using colored Petri net. |
|---|---|
| Authors: | Alsaegg, Khalid Amjed Mohammed1, Pashazadeh, Saeid2, s_pashazadeh@yahoo.com, Zolfy Lighvan, Mina1 |
| Source: | PeerJ Computer Science; Jul2025, p1-35, 35p |
| Database: | Applied Science & Technology Source |
| ISSN: | 23765992 |
|---|---|
| DOI: | 10.7717/peerj-cs.2995 |
