
Modelling Causal Consistency for Distributed Systems using Hierarchical Coloured Petri Net
Author(s) -
Saeed Saeedvand,
Mortaza Abbaszadeh,
Fahimeh Ansaroudi
Publication year - 2015
Publication title -
indian journal of science and technology
Language(s) - Uncategorized
Resource type - Journals
eISSN - 0974-6846
pISSN - 0974-5645
DOI - 10.17485/ijst/2015/v8i35/54980
Subject(s) - petri net , consistency (knowledge bases) , consistency model , computer science , causal consistency , distributed computing , sequential consistency , local consistency , casual , data consistency , weak consistency , strong consistency , theoretical computer science , artificial intelligence , mathematics , statistics , constraint satisfaction , materials science , estimator , probabilistic logic , composite material