Results 241 to 250 of about 2,702 (264)
Some of the next articles are maybe not open access.
Fairness in Temporal Verification of Distributed Systems
2018The verification of deadlock freeness and distributed termination in distributed systems by Dedan tool is described. In Dedan, the IMDS formalism for specification of distributed systems is used. A system is described in terms of servers’ states, agents’ messages, and actions.
openaire +1 more source
Distributive fairness and the social responsibility of the representative of a group
Applied Economics, 2021Jinkwon Lee
exaly
Procedural and Distributive Fairness: Determinants of Overall Price Fairness
Journal of Business Ethics, 2013Pam Scholder Ellen +2 more
exaly

