The standard operational semantics of the sequential composition operator gives rise to unbounded branching and forgetfulness when transparent process expressions are put in sequence. Due to transparency, the correspondence between context-free and pushdown processes fails modulo bisimilarity, and it is not clear how to specify an always terminating half counter. We propose a revised operationa...

The standard operational semantics of the sequential composition operator gives rise to unbounded branching and forgetfulness when transparent process expressions are put in sequence. Due to transparency, the correspondence between context-free and push-down processes fails modulo bisimilarity, and it is not clear how to specify an always terminating half counter. We propose a revised operation...

This paper introduces a systematic approach to organizing the discipline of clinical chemistry. The approach is called a top-down systems approach because it starts at the top with the most general concepts and works down through less general concepts to the most specific details and techniques. The hypothesis is that the discipline can be organized into hierarchical levels of functional proces...

heat exchangers are the critical components of refrigeration and liquefaction processes. selection of appropriate operational conditions for cryogenic recuperative heat exchanger and expansion valve operating in joule-thomson cooling system results in improving the performance and efficiency. in the current study, a straightforward procedure is introduced to design an efficient joule-thomson co...

Organizational design affects performance via coupled search processes. At low frequency, managers search for appropriate organizational designs. At higher frequency, managers use designs to search for high-performing operational choices. The two searches are coupled: organizational design molds the choice among operational alternatives, and performance feedback from operational choices shapes ...

The aim of the paper is to introduce the novel architecture enabling effective improvement of operational processes in emergency management. For this purpose, the principles of Process Management were used. The architecture, allowing the deployment of comprehensive emergency management operational processes, was developed based on a detailed analysis of the features of emergency management (int...