Trace Semantics and Algebraic Laws for MCA ARMv8 Architecture Based on UTP

2021 ◽  
pp. 81-101
Author(s):  
Lili Xiao ◽  
Huibiao Zhu
Keyword(s):  
Trace Semantics ◽  
Algebraic Laws

Trace Semantics and Algebraic Laws for Total Store Order Memory Model

2021 ◽  
Vol 36 (6) ◽  
pp. 1269-1290
Author(s):  
Li-Li Xiao ◽  
Hui-Biao Zhu ◽  
Qi-Wen Xu
Keyword(s):  
Memory Model ◽  
Trace Semantics ◽  
Algebraic Laws

scholarly journals Modelling Geometric Measure of Variation About the Population Mean

2021 ◽  
Author(s):  
Benedict Troon
Keyword(s):  
Mean Deviation ◽  
Average Deviation ◽  
Statistical Tool ◽  
Population Mean ◽  
Geometric Measure ◽  
Initial Dataset ◽  
Algebraic Laws ◽  
Average Variation ◽  
Measures Of Dispersion ◽  
The Mean

Measures of dispersion are important statistical tool used to illustrate the distribution of datasets. These measureshave allowed researchers to define the distribution of various datasets especially the measures of dispersion from the mean.Researchers and mathematicians have been able to develop measures of dispersion from the mean such as mean deviation, variance and standard deviation. However, these measures have been determined not to be perfect, for example, variance give average of squared deviation which differ in unit of measurement as the initial dataset, mean deviation gives bigger average deviation than the actual average deviation because it violates the algebraic laws governing absolute numbers, while standarddeviation is affected by outliers and skewed datasets. As a result, there was a need to develop a more efficient measure of variation from the mean that would overcome these weaknesses. The aim of this paper was to model a geometric measure of variation about the population mean which could overcome the weaknesses of the existing measures of variation about the population mean. The study was able to formulate the geometric measure of variation about the population mean that obeyedthe algebraic laws behind absolute numbers, which was capable of further algebraic manipulations as it could be used further to estimate the average variation about the mean for weighted datasets, probability mass functions and probability density functions. Lastly, the measure was not affected by outliers and skewed datasets. This shows that the formulated measure was capable of solving the weaknesses of the existing measures of variation about the mean

scholarly journals Trace Semantics via Determinization

2012 ◽  
pp. 109-129 ◽  
Author(s):  
Bart Jacobs ◽  
Alexandra Silva ◽  
Ana Sokolova
Keyword(s):  
Trace Semantics

Trace Semantics for IPDL

2015 ◽  
pp. 169-181
Author(s):  
Fengkui Ju ◽  
Nana Cui ◽  
Shujiao Li
Keyword(s):  
Trace Semantics

scholarly journals Ready-Trace Semantics for Concrete Process Algebra with the Priority Operator

1987 ◽  
Vol 30 (6) ◽  
pp. 498-506 ◽  
Author(s):  
J. C. M. Baeten ◽  
J. A. Bergstra ◽  
J. W. Klop
Keyword(s):  
Process Algebra ◽  
Trace Semantics

scholarly journals Modal logic and the approximation induction principle

2012 ◽  
Vol 22 (2) ◽  
pp. 175-201 ◽  
Author(s):  
MACIEJ GAZDA ◽  
WAN FOKKINK
Keyword(s):  
Modal Logic ◽  
Upper Bounds ◽  
Compactness Theorem ◽  
Projection Operators ◽  
Sufficient Condition ◽  
Induction Principle ◽  
Constructive Version ◽  
Trace Semantics

We prove a compactness theorem in the context of Hennessy–Milner logic and use it to derive a sufficient condition on modal characterisations for the approximation induction principle to be sound modulo the corresponding process equivalence. We show that this condition is necessary when the equivalence in question is compositional with respect to the projection operators. Furthermore, we derive different upper bounds for the constructive version of the approximation induction principle with respect to simulation and decorated trace semantics.

Sign in / Sign up

Export Citation Format

Share Document