J.C.M. Baeten, H.M.A. van Beek, and S. Mauw. Operational semantics of DiCons, a formal language for developing internet applications. CS-Report 01/12, Department of Mathematics and Computing Science, Technische Universiteit Eindhoven, October 2001.  Home/Search   Document Not in Database   Summary   Related Articles

....one has to commit the updates to make them visible to other users. As long as the updates are not committed, they can be undone (rolled back) So transactions cover a signi cant part of all processes. Our goal is to give formal speci cations of Internet applications for distributed consensus [4, 3] which comes as close to real life applications as possible. We therefore need to have a formalism to handle transactional processes. Since we have chosen to use process algebra [7] for the speci cation of Internet applications, we prefer modelling transactional behaviour of processes in process ....

....put into practice. In our opinion, these extensions do not in uence the complexity of the formalism, however, a lot of (syntactical) extensions have to be added. By combining the concepts described in this paper with the process algebra we are making use of for modelling Internet applications [4, 3], we are able to give speci cations that come closer to real life applications. Currently, we are working on this combination to come to a complete process algebra for specifying Internet applications. Acknowledgements I would like to thank Jos Baeten and Sjouke Mauw for their valuable comments ....

J.C.M. Baeten, H.M.A. van Beek, and S. Mauw. Operational semantics of DiCons, a formal language for developing internet applications. CS-Report 01/12, Department of Mathematics and Computing Science, Technische Universiteit Eindhoven, October 2001.

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC