chu spaces
Recently Published Documents


TOTAL DOCUMENTS

39
(FIVE YEARS 0)

H-INDEX

7
(FIVE YEARS 0)

2020 ◽  
Vol 17 ◽  
pp. 1352-1358
Author(s):  
A. A. Stepanova ◽  
E. E. Skurihin ◽  
A. G. Sukhonos
Keyword(s):  

2019 ◽  
Vol 16 ◽  
pp. 709-717
Author(s):  
A. A. Stepanova ◽  
E. E. Skurihin ◽  
A. G. Sukhonos
Keyword(s):  

2013 ◽  
Vol 2013 ◽  
pp. 1-33 ◽  
Author(s):  
Sergey A. Solovyov

Recently, Denniston, Melton, and Rodabaugh presented a new categorical outlook on a certain lattice-valued extension of Formal Concept Analysis (FCA) of Ganter and Wille; their outlook was based on the notion of lattice-valued interchange system and a category of Galois connections. This paper extends the approach of Denniston et al. clarifying the relationships between Chu spaces of Pratt, many-valued formal contexts of FCA, lattice-valued interchange systems, and Galois connections.


Author(s):  
Xutao Du ◽  
Chunxiao Xing ◽  
Lizhu Zhou ◽  
Ke Han

This paper presents a Chu spaces semantics of typical control flow of WS-BPEL including fault handling and link semantics. BPEL-CF is proposed as a simplification of this subset of WS-BPEL. For the compositional modeling of BPEL, the authors present a Chu spaces process algebra. This algebra allows faults to be thrown at any point of execution and take link-based synchronization into consideration. The paper gives the abstract syntax of BPEL-CF, the semantic algebra, and the valuation functions for computing the Chu spaces denotations of BPEL-CF programs.


Author(s):  
Xutao Du ◽  
Chunxiao Xing ◽  
Lizhu Zhou ◽  
Ke Han

This paper presents a Chu spaces semantics of typical control flow of WS-BPEL including fault handling and link semantics. BPEL-CF is proposed as a simplification of this subset of WS-BPEL. For the compositional modeling of BPEL, the authors present a Chu spaces process algebra. This algebra allows faults to be thrown at any point of execution and take link-based synchronization into consideration. The paper gives the abstract syntax of BPEL-CF, the semantic algebra, and the valuation functions for computing the Chu spaces denotations of BPEL-CF programs.


2011 ◽  
Vol E94-D (6) ◽  
pp. 1321-1324
Author(s):  
Xutao DU ◽  
Chunxiao XING ◽  
Lizhu ZHOU
Keyword(s):  

Sign in / Sign up

Export Citation Format

Share Document