Algebraic Approach to Operational Semantics and Observation-Oriented Semantics for a Timed Shared-Variable Language with Probability

2007 ◽  
Author(s):  
Huibiao Zhu ◽  
Jifeng He ◽  
Jonathan P. Bowen
Keyword(s):  
Operational Semantics ◽  
Algebraic Approach ◽  
Shared Variable

scholarly journals Linking operational semantics and algebraic semantics for a probabilistic timed shared-variable language

2012 ◽  
Vol 81 (1) ◽  
pp. 2-25 ◽  
Author(s):  
Huibiao Zhu ◽  
Fan Yang ◽  
Jifeng He ◽  
Jonathan P. Bowen ◽  
Jeff W. Sanders ◽  
...  
Keyword(s):  
Operational Semantics ◽  
Algebraic Semantics ◽  
Shared Variable

Multilevel Algebraic Approach for Performance Analysis of Parallel Algorithms

2019 ◽  
Vol 38 (4) ◽  
pp. 817-850 ◽  
Author(s):  
Luisa D'Amore ◽  
Valeria Mele ◽  
Diego Romano ◽  
Giuliano Laccetti
Keyword(s):  
Performance Analysis ◽  
Parallel Algorithms ◽  
Algebraic Approach

scholarly journals Lie-Algebraic Approach for Pricing Zero-Coupon Bonds in Single-Factor Interest Rate Models

2013 ◽  
Vol 2013 ◽  
pp. 1-9 ◽  
Author(s):  
C. F. Lo
Keyword(s):  
Interest Rate ◽  
Algebraic Approach ◽  
Dynamical Symmetry ◽  
Bond Pricing ◽  
Model Parameters ◽  
Time Varying ◽  
Single Factor ◽  
Bond Price ◽  
Interest Rate Models ◽  
Root Model

The Lie-algebraic approach has been applied to solve the bond pricing problem in single-factor interest rate models. Four of the popular single-factor models, namely, the Vasicek model, Cox-Ingersoll-Ross model, double square-root model, and Ahn-Gao model, are investigated. By exploiting the dynamical symmetry of their bond pricing equations, analytical closed-form pricing formulae can be derived in a straightfoward manner. Time-varying model parameters could also be incorporated into the derivation of the bond price formulae, and this has the added advantage of allowing yield curves to be fitted. Furthermore, the Lie-algebraic approach can be easily extended to formulate new analytically tractable single-factor interest rate models.

scholarly journals Specifying and Executing User Agents in an Environment of Reasoning and RESTful Systems Using the Guard-Stage-Milestone Approach

2021 ◽  
Author(s):  
Tobias Käfer ◽  
Benjamin Jochum ◽  
Nico Aßfalg ◽  
Leonard Nürnberg
Keyword(s):  
Linked Data ◽  
Operational Semantics ◽  
Workflow Management ◽  
Management Systems ◽  
Workflow Management Systems ◽  
The Web

AbstractFor Read-Write Linked Data, an environment of reasoning and RESTful interaction, we investigate the use of the Guard-Stage-Milestone approach for specifying and executing user agents. We present an ontology to specify user agents. Moreover, we give operational semantics to the ontology in a rule language that allows for executing user agents on Read-Write Linked Data. We evaluate our approach formally and regarding performance. Our work shows that despite different assumptions of this environment in contrast to the traditional environment of workflow management systems, the Guard-Stage-Milestone approach can be transferred and successfully applied on the web of Read-Write Linked Data.

Sign in / Sign up

Export Citation Format

Share Document