Khalid Amjed Mohammed Alsaegg

According to our database, Khalid Amjed Mohammed Alsaegg authored at least 1 paper in 2025.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2025

Formal modeling of a causal consistent distributed system and verification of its history <i>via</i> model checking using colored Petri net.

Khalid Amjed Mohammed Alsaegg, Saeid Pashazadeh, Mina Zolfy Lighvan

PeerJ Comput. Sci., 2025