A Proof System in Process Algebra for Demand and Supply

2014 ◽  
Author(s):  
Xinghua Yao ◽  
Yixiang Chen
Keyword(s):  
Process Algebra ◽  
Proof System ◽  
Demand And Supply

scholarly journals A Compositional Proof System for the Modal mu-Calculus

1998 ◽  
Vol 5 (40) ◽  
Author(s):  
Henrik Reif Andersen ◽  
Colin Stirling ◽  
Glynn Winskel
Keyword(s):  
Model Checking ◽  
Process Algebra ◽  
Local Model ◽  
Proof System ◽  
Compositional Reasoning ◽  
General Process ◽  
Finite State ◽  
Local Model Checking

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.

scholarly journals A Compositional Proof System for the Modal mu-Calculus

1994 ◽  
Vol 1 (34) ◽  
Author(s):  
Henrik Reif Andersen ◽  
Colin Stirling ◽  
Glynn Winskel
Keyword(s):  
Model Checking ◽  
Process Algebra ◽  
Local Model ◽  
Proof System ◽  
Compositional Reasoning ◽  
General Process ◽  
Finite State ◽  
Local Model Checking

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.

Illicit Drugs: Price Elasticity of Demand and Supply

2002 ◽  
Author(s):  
William Rhodes ◽  
Patrick Johnston ◽  
Song Han ◽  
Quentin McMullen ◽  
Lynne Hozik
Keyword(s):  
Price Elasticity ◽  
Illicit Drugs ◽  
Demand And Supply ◽  
Elasticity Of Demand ◽  
Price Elasticity Of Demand

A Study on the Countermeasures for Demand and Supply Control in Case of High Penetration of Renewable Energy Sources

2016 ◽  
Vol 136 (5) ◽  
pp. 459-470 ◽  
Author(s):  
Yuki Tsujii ◽  
Takao Tsuji ◽  
Tsutomu Oyama ◽  
Yoshiki Nakachi ◽  
Suresh Chand Verma
Keyword(s):  
Renewable Energy ◽  
Renewable Energy Sources ◽  
Energy Sources ◽  
Demand And Supply ◽  
High Penetration

On strategy for the development of multifunctional social infrastructure complexes in the ‘Smart City’ paradigm

2020 ◽  
Vol 26 (7) ◽  
pp. 1469-1495
Author(s):  
A.L. Sabinina ◽  
V.V. Sokolovskii ◽  
N.A. Shul'zhenko ◽  
N.A. Sychova
Keyword(s):  
Smart City ◽  
Housing Demand ◽  
Infrastructure Development ◽  
Social Infrastructure ◽  
Strategic Decisions ◽  
Demand And Supply ◽  
Living Space ◽  
Two Stages ◽  
The Cost ◽  
Comprehensive Study

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).

A Study on the Establishment of ｢Gim-DSFM(Demand and Supply Forecasting Model)｣

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

A Study on Network Service Behavior Verification with Process Algebra and Its Application

2011 ◽  
Vol 34 (9) ◽  
pp. 1660-1668
Author(s):  
Fu CHEN ◽  
Jia-Hai YANG ◽  
Yang YANG ◽  
Yuan-Zhuo WANG ◽  
Mei-Ying JIA
Keyword(s):  
Process Algebra ◽  
Network Service ◽  
Service Behavior
Sign in / Sign up

Export Citation Format

Share Document