Cristian Masalagiu

Learn More
Both specification and verification of business processes are gaining more and more attention in the field. Most of the existing works in the last years are dealing with important, yet very specialized, issues. Among these, we can enumerate compensation constructs to cope with exceptions generated by long running business transactions, fully programmable(More)
This paper refers to the Collatz conjecture. The origin and the formalization of the Collatz problem are presented in the first section, named “Introduction”. In the second section, entitled “Properties of the Collatz function”, we treat mainly the bijectivity of the Collatz function. Using the obtained results, we construct a (set of) binary tree(s) which(More)
The paper introduces a model for processing systems which proi ides ‘environment’ to the abstract notion of process as introduced by Nicst [ 131. X basic componcllt of the model is ;I protection mechanism which is general enough to capture as particular instances known protection strategies [e.g. take. grant, create, parameter passing) [5. 8. 91. Decision(More)
We have created a framework for the development of a multiagent system to control a group of elevators. This control system, besides real time useful response, must fulfill stability, massive concurrency and correctness requirements. These lead to the necessity of a highly evolved inter-agent negotiation protocol. We introduced a ”contract net” like(More)
  • 1