zbMATH — the first resource for mathematics

Foundations of web transactions. (English) Zbl 1118.68335
Sassone, Vladimiro (ed.), Foundations of software science and computation structures. 8th international conference, FOSSACS 2005, held as part of the joint European conferences on theory and practice of software, ETAPS 2005, Edinburgh, UK, April 4–8, 2005. Proceedings. Berlin: Springer (ISBN 3-540-25388-2/pbk). Lecture Notes in Computer Science 3441, 282-298 (2005).
Summary: A timed extension of \(\pi\)-calculus with a transaction construct – the calculus \(\text{Web}\pi\) – is studied. The underlying model of Web \(\pi\) relies on networks of processes; time proceeds asynchronously at the network level, while it is constrained by the local urgency at the process level. Namely process reductions cannot be delayed to favour idle steps. The extensional model – the timed bisimilarity – copes with time and asynchrony in a different way with respect to previous proposals. In particular, the discriminating power of timed bisimilarity is weaker when local urgency is dropped. A labelled characterization of timed bisimilarity is alsodiscussed.
For the entire collection see [Zbl 1068.68009].

68M10 Network design and communication in computer systems
68Q85 Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
Full Text: DOI