×

zbMATH — the first resource for mathematics

Interaction in time and space. (English) Zbl 1277.68172
Goldin, Dina (ed.) et al., Proceedings of the workshop on the foundations of interactive computation (FinCo 2007), Braga, Portugal, March 31, 2007. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 203, No. 3, 5-18 (2008).
Summary: Distributed \(\pi\)-calculus and ambient calculus are extended with timers which may trigger timeout recovery processes. Timers provide a useful notion of relative time with respect to the interaction in a distributed system. The rather flat notion of space in timed distributed \(\pi\)-calculus is improved by considering a hierarchical representation of space in timed mobile ambients. Some basic results are proven, making sound both formal approaches. An easily understood example is used for both extensions, showing how it is possible to describe a non-monotonic behaviour and use a decentralized control to coordinate the interacting components in time and space.
For the entire collection see [Zbl 1276.68017].
MSC:
68Q85 Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
68Q60 Specification and verification (program logics, model checking, etc.)
PDF BibTeX XML Cite
Full Text: DOI
References:
[1] Aman, B.; Ciobanu, G., Timers and proximities for mobile ambients, (), 33-43 · Zbl 1188.68202
[2] Aman, B.; Ciobanu, G., Mobile ambients with timers and types, (), 50-63 · Zbl 1147.68586
[3] Cardelli, L.; Gordon, A., Mobile ambients, (), 140-155 · Zbl 0954.68108
[4] Ciobanu, G.; Prisacariu, C., Timers for distributed systems, Electronic notes in theoretical computer science, 164, 81-99, (2006)
[5] Ciobanu, G.; Prisacariu, C., Coordination by timers for channel-based anonymous communications, Electronic notes in theoretical computer science, 175, 3-17, (2007)
[6] Hennessy, M.; Riely, J., Resource access control in systems of mobile agents, Information and computation, 173, 82-120, (2002) · Zbl 1009.68081
[7] Milner, R., Communicating and mobile systems: the π-calculus, (1999), Cambridge University Press · Zbl 0942.68002
[8] Papadopoulos, G.A.; Arbab, F., Coordination models and languages, (), 329-400
[9] Teller, D.; Zimmer, P.; Hirschkoff, D., Using ambients to control resources, (), 288-303 · Zbl 1012.68530
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.