1 On the Faithfulness of Formal Models
نویسندگان
چکیده
The paper presents a critical examination of the way certain central aspects of concurrent programs are formally modeled. The main formal model examined is the operational model of fair transition system which represents concurrency by interleaving of actions considered atomic. Several questions concerning the faithfulness of this representation naturally arise. The paper considers some of these questions and, while presenting and analyzing some of the alternatives, attempts to justify the design decisions actually taken in the construction of the model.
منابع مشابه
Idempotency in Optimality Theory 1
An idempotent phonological grammar maps phonotactically licit forms faithfully to themselves. This paper establishes tight sufficient conditions for idempotency in (classical) Optimality Theory. Building on Tesar (2013), these conditions are derived in two steps. First, idempotency is shown to follow from a general formal condition on the faithfulness constraints. Second, this condition is show...
متن کاملIdempotency in Optimality Theory 1 GIORGIO MAGRI
An idempotent phonological grammar maps phonotactically licit forms faithfully to themselves. This paper establishes tight sufficient conditions for idempotency in (classical) Optimality Theory. Building on Tesar (2013), these conditions are derived in two steps. First, idempotency is shown to follow from a general formal condition on the faithfulness constraints. Second, this condition is show...
متن کاملThe Degree of Faithfulness to the Norms of Islamic Ethics A Case Study on the Sellers of Home Supplies in Tehran
In this study, the most considerable moral characters were decided on the basis of Islamic sources at first and then, performing a field test based upon buyers` opinions, the degree of the home supplies sellers` faithfulness to them has been decided. In first stage 21 cases of moral characters were decided and then, they were classified in six main characters including lack of deception, honest...
متن کاملComputationally secure multiple secret sharing: models, schemes, and formal security analysis
A multi-secret sharing scheme (MSS) allows a dealer to share multiple secrets among a set of participants. in such a way a multi-secret sharing scheme (MSS) allows a dealer to share multiple secrets among a set of participants, such that any authorized subset of participants can reconstruct the secrets. Up to now, existing MSSs either require too long shares for participants to be perfect secur...
متن کاملModeling and Evaluation of Stochastic Discrete-Event Systems with RayLang Formalism
In recent years, formal methods have been used as an important tool for performance evaluation and verification of a wide range of systems. In the view points of engineers and practitioners, however, there are still some major difficulties in using formal methods. In this paper, we introduce a new formal modeling language to fill the gaps between object-oriented programming languages (OOPLs) us...
متن کامل