A Proof System in Process Algebra for Demand and Supply

Author(s):  
Xinghua Yao ◽  
Yixiang Chen
1998 ◽  
Vol 5 (40) ◽  
Author(s):  
Henrik Reif Andersen ◽  
Colin Stirling ◽  
Glynn Winskel

We present a proof system for determining satisfaction between<br />processes in a fairly general process algebra and assertions of the modal mu-calculus. The proof system is compositional in the structure of processes. It extends earlier work on compositional reasoning within the modal mu-calculus and combines it with techniques from work on local model checking. The proof system is sound for all processes and complete for a class of finite-state processes.


1994 ◽  
Vol 1 (34) ◽  
Author(s):  
Henrik Reif Andersen ◽  
Colin Stirling ◽  
Glynn Winskel

We present a proof system for determining satisfaction between processes in a fairly general process algebra and assertions of the modal mu-calculus. The proof system is compositional in the structure of processes. It extends earlier work on compositional reasoning within the modal mu-calculus and combines it with techniques from work on local model checking. The proof system is sound for all processes and complete for a class of finite-state processes.


Author(s):  
William Rhodes ◽  
Patrick Johnston ◽  
Song Han ◽  
Quentin McMullen ◽  
Lynne Hozik

2016 ◽  
Vol 136 (5) ◽  
pp. 459-470 ◽  
Author(s):  
Yuki Tsujii ◽  
Takao Tsuji ◽  
Tsutomu Oyama ◽  
Yoshiki Nakachi ◽  
Suresh Chand Verma

2020 ◽  
Vol 26 (7) ◽  
pp. 1469-1495
Author(s):  
A.L. Sabinina ◽  
V.V. Sokolovskii ◽  
N.A. Shul'zhenko ◽  
N.A. Sychova

Subject. The article describes the findings of the authors of fundamental strategic decisions on the formation of multifunctional urban complexes, using the housing demand and supply criterion. Objectives. We undertake a comprehensive study aimed at perfecting the methodology for evaluating the options for city infrastructure development at two stages, i.e. strategic, when general targets of feasible commissioning are determined, and current, when parameters of demand for facilities are taken into account. Methods. The study employs methods of expert survey, statistical data processing, predictive and investigative analysis. Results. We explored factors of creating amenities and comfort in residential construction areas, developed an algorithm to calculate the volume of new living space commissioning on the basis of evaluating demands in the Smart City paradigm. Conclusions. The study shows the cost increase depending on the built-up area, number of floors, and the balance between the type of capacity and the number of residents in the quarter (linear relationship).


2020 ◽  
Vol 32 (4) ◽  
pp. 165-182
Author(s):  
Heon-Dong Lee ◽  
Su-Jin Heo ◽  
Hyun-Jung Ha

2011 ◽  
Vol 34 (9) ◽  
pp. 1660-1668
Author(s):  
Fu CHEN ◽  
Jia-Hai YANG ◽  
Yang YANG ◽  
Yuan-Zhuo WANG ◽  
Mei-Ying JIA

Sign in / Sign up

Export Citation Format

Share Document