16.Distributed Systems Theory and Languages


Link to the SOTA Chapter (Theory)

Link to the SOTA Chapter (Languages)

Ongoing Research

Future Directions

CaberNet Related Activities

Architectural approach to mobile systems developments based on a uniform mathematical framework supporting (i) sound methodological principles, (ii) formal analysis, and (iii) refinement across levels of development.

The focus in this project is on substantiating incidental techniques for viewpoint consistency and unification developed in those projects, by investigating categorical underpinnings for them.

Mikado is an IST project whose goal is to construct a new formal programming model, based upon the notion of domain as a computing concept, which supports reliable, distributed mobile computation, and provides the mathematical basis for a secure standard for distributed computing in open systems [Schmitt 2003] .

The goal of this project is to identify proper tradeoffs to relieve the programmer as much as possible from the burden of dealing explicitly with low-level events taking place in open, distributed, and mobile system.
Our researches concern three areas: models of computation, programming languages and distributed system technology.


[Pinho 2001] L. Pinho, F. Vasques."Timing Analysis of Reliable Real-Time Communication in CAN Networks". Proceedings of the 13th Euromicro Conference on Real-Time Systems. Delft, Netherlands. June 2001. pp. 103-112.

[Pinho 2002] L. Pinho, F. Vasques. "Transparent Environment for Replicated Ravenscar Applications". Proceedings of the 7th International Conference on Reliable Software Technologies - Ada-Europe 2001. Vienna, Austria. June 2002.

[Schmitt 2003] Alan Schmitt and Jean-Bernard Stefani. The M-calculus: A Higher-Order Distributed Process Calculus. In Proceedings of the 30th Annual ACM Symposium on Principles of Programming Languages (POPL), New Orleans, LA, USA, January 17-19, 2003.

Maintained by Rogério de Lemos (r.delemos@ukc.ac.uk)
Last updated 4 November, 2002