# American Institute of Mathematical Sciences

December  2015, 8(6): 1357-1371. doi: 10.3934/dcdss.2015.8.1357

## Nondeterministic semantics of compound diagrams

 1 Mathematics department, King Saud University, P.O.Box 22452, Riyadh 11495, Saudi Arabia

Received  May 2015 Revised  July 2015 Published  December 2015

We presented a unified description of flow control and single steps of a program is given to obtain flexible definitions of algebraic manipulations. This is achieved by using the notion of relational diagram. We show how the notion of relational diagram, introduced by Schmidt, can be used to give a demonic definition for a wide range of programming constructs. It is shown that the input-output relation of a compound diagram is equal to that of the diagram in which each sub-diagram has been replaced by its input-output relation. This process is repeated until elementary diagrams is obtained.
Citation: Fairouz Tchier. Nondeterministic semantics of compound diagrams. Discrete & Continuous Dynamical Systems - S, 2015, 8 (6) : 1357-1371. doi: 10.3934/dcdss.2015.8.1357
##### References:

show all references

##### References:
 [1] Wucheng Zi, Jiayu Zhou, Honglei Xu, Guodong Li, Gang Lin. Preserving relational contract stability of fresh agricultural product supply chains. Journal of Industrial & Management Optimization, 2020  doi: 10.3934/jimo.2020079 [2] Zhimin Zhang, Yang Yang, Chaolin Liu. On a perturbed compound Poisson model with varying premium rates. Journal of Industrial & Management Optimization, 2017, 13 (2) : 721-736. doi: 10.3934/jimo.2016043 [3] Abraão D. C. Nascimento, Leandro C. Rêgo, Raphaela L. B. A. Nascimento. Compound truncated Poisson normal distribution: Mathematical properties and Moment estimation. Inverse Problems & Imaging, 2019, 13 (4) : 787-803. doi: 10.3934/ipi.2019036 [4] Linlin Tian, Xiaoyi Zhang, Yizhou Bai. Optimal dividend of compound poisson process under a stochastic interest rate. Journal of Industrial & Management Optimization, 2020, 16 (5) : 2141-2157. doi: 10.3934/jimo.2019047 [5] Shuhua Zhang, Junying Zhao, Ming Yan, Xinyu Wang. Modeling and computation of mean field game with compound carbon abatement mechanisms. Journal of Industrial & Management Optimization, 2020  doi: 10.3934/jimo.2020121 [6] Emmanuel Gobet, Mohamed Mrad. Convergence rate of strong approximations of compound random maps, application to SPDEs. Discrete & Continuous Dynamical Systems - B, 2018, 23 (10) : 4455-4476. doi: 10.3934/dcdsb.2018171 [7] Solange Mancini, Miriam Manoel, Marco Antonio Teixeira. Divergent diagrams of folds and simultaneous conjugacy of involutions. Discrete & Continuous Dynamical Systems, 2005, 12 (4) : 657-674. doi: 10.3934/dcds.2005.12.657 [8] Julián López-Gómez, Marcela Molina-Meyer, Andrea Tellini. Spiraling bifurcation diagrams in superlinear indefinite problems. Discrete & Continuous Dynamical Systems, 2015, 35 (4) : 1561-1588. doi: 10.3934/dcds.2015.35.1561 [9] E. Kapsza, Gy. Károlyi, S. Kovács, G. Domokos. Regular and random patterns in complex bifurcation diagrams. Discrete & Continuous Dynamical Systems - B, 2003, 3 (4) : 519-540. doi: 10.3934/dcdsb.2003.3.519 [10] Luisa Fermo, Andrea Tosin. Fundamental diagrams for kinetic equations of traffic flow. Discrete & Continuous Dynamical Systems - S, 2014, 7 (3) : 449-462. doi: 10.3934/dcdss.2014.7.449 [11] Po-Chun Huang, Shin-Hwa Wang, Tzung-Shin Yeh. Classification of bifurcation diagrams of a $P$-Laplacian nonpositone problem. Communications on Pure & Applied Analysis, 2013, 12 (5) : 2297-2318. doi: 10.3934/cpaa.2013.12.2297 [12] Litao Guo, Bernard L. S. Lin. Vulnerability of super connected split graphs and bisplit graphs. Discrete & Continuous Dynamical Systems - S, 2019, 12 (4&5) : 1179-1185. doi: 10.3934/dcdss.2019081 [13] Srimathy Srinivasan, Andrew Thangaraj. Codes on planar Tanner graphs. Advances in Mathematics of Communications, 2012, 6 (2) : 131-163. doi: 10.3934/amc.2012.6.131 [14] Cristina M. Ballantine. Ramanujan type graphs and bigraphs. Conference Publications, 2003, 2003 (Special) : 78-82. doi: 10.3934/proc.2003.2003.78 [15] Yong Lin, Gábor Lippner, Dan Mangoubi, Shing-Tung Yau. Nodal geometry of graphs on surfaces. Discrete & Continuous Dynamical Systems, 2010, 28 (3) : 1291-1298. doi: 10.3934/dcds.2010.28.1291 [16] Daniele D'angeli, Alfredo Donno, Michel Matter, Tatiana Nagnibeda. Schreier graphs of the Basilica group. Journal of Modern Dynamics, 2010, 4 (1) : 167-205. doi: 10.3934/jmd.2010.4.167 [17] Jun Xie, Jinlong Yuan, Dongxia Wang, Weili Liu, Chongyang Liu. Uniqueness of solutions to fuzzy relational equations regarding Max-av composition and strong regularity of the matrices in Max-av algebra. Journal of Industrial & Management Optimization, 2018, 14 (3) : 1007-1022. doi: 10.3934/jimo.2017087 [18] Michael Herty, Reinhard Illner. Coupling of non-local driving behaviour with fundamental diagrams. Kinetic & Related Models, 2012, 5 (4) : 843-855. doi: 10.3934/krm.2012.5.843 [19] Austin Lawson, Tyler Hoffman, Yu-Min Chung, Kaitlin Keegan, Sarah Day. A density-based approach to feature detection in persistence diagrams for firn data. Foundations of Data Science, 2021  doi: 10.3934/fods.2021012 [20] Xuanhua Peng, Wen Su, Zhimin Zhang. On a perturbed compound Poisson risk model under a periodic threshold-type dividend strategy. Journal of Industrial & Management Optimization, 2020, 16 (4) : 1967-1986. doi: 10.3934/jimo.2019038

2019 Impact Factor: 1.233