In this page you will find information about the current state of the Kell calculus, links to published papers and drafts, information about where the Kell calculus is going, and job opportunities. You will also find information about other formal methods used in the Sardes project, such as type systems for component-based systems. Research on the Kell includes four main topics. - Calculus and Language: design of the calculus itself, its syntax and semantics, its extension into a programming language, and extensions such as sharing and multistage and transparent kells.
- Formal Properties: creation of formal tools to guarantee some properties of Kell calculus terms, such as type systems and bisimulations. Use of these tools to study failures, transactions, and compensable actions in the calculus.
- Fractal Modelisation: instantiation of the Kell calculus in FraKtal, a calculus able to faithfully model the Fractal component model.
- Implementation: study of implementation strategies and realization of implementations of the Kell calculus.
Papers and presentations - Journal Papers
-
- The Kell Calculus: A Family of Higher-Order Distributed Process Calculi. Alan Schmitt and Jean-Bernard Stefani. In LNCS volume of the post-proceedings of the Global Computing 2004 workshop, Venice, Italy, 2004. (34 pages)
This paper presents the Kell calculus, a family of distributed process calculi, parameterized by languages for input patterns, that is intended as a basis for studying component-based distributed programming. The Kell calculus is built around a pi-calculus core, and follows five design principles which are essential for a foundational model of distributed and mobile programming: hierarchical localities, local actions, higher-order communication, programmable membranes, and dynamic binding. The paper discusses these principles, and defines the syntax and operational semantics common to all calculi in the Kell calculus family. The paper provides a co-inductive characterization of contextual equivalence for Kell calculi, under sufficient conditions on pattern languages, by means of a form of higher-order bisimulation called strong context bisimulation. The paper also contains several examples that illustrate the expressive power of Kell calculi.
-
- Conference and Workshop Papers
-
- Component-Oriented Programming with Sharing: Containment is not Ownership. Daniel Hirschkoff, Tom Hirschowitz, Damien Pous, Alan Schmitt, and Jean-Bernard Stefani. In 4th International Conference on Generative Programming and Component Engineering (GPCE), Tallinn, Estonia, September 2005.
- An Abstract Machine for the Kell Calculus. Philippe Bidinger, Alan Schmitt, and Jean-Bernard Stefani. In 7th IFIP International Conference on Formal Methods for Object-Based Distributed Systems (FMOODS), Athens, Greece, June, 2005. This paper obtained the Best Paper Award.
- Dream Types - A Domain Specific Type System for Component-Based Message-Oriented Middleware. Philippe Bidinger, Matthieu Leclercq, Vivien Quéma, Alan Schmitt and Jean-Bernard Stefani. In Proceedings of the 4th Workshop on Specification and Verification of Component-Based Systems (SAVCBS'05), in association with ESEC/FSE'05, Lisbon, Portugal, September 2005.
- The Kell calculus: operational semantics and type system. Philippe Bidinger and Jean-Bernard Stefani. In Proceedings 6th IFIP International Conference on Formal Methods for Open Object-based Distributed Systems(FMOODS 2003) , Paris, France, November 19-21, 2003. (c) Springer-Verlag.
- The M-calculus: A Higher-Order Distributed Process Calculus. Alan Schmitt and Jean-Bernard Stefani. In Proceedings of the 30th Annual ACM Symposium on Principles of Programming Languages (POPL), New Orleans, LA, USA, January 17-19, 2003. (c) ACM.
- A Calculus of Kells. Jean-Bernard Stefani. In Proceedings of the 2nd International Workshop on Foundations of Global Computing, Eindhoven, the Netherlands, June 28-29, 2003.
-
- Technical Reports
-
-
- Presentations
-
-
- Drafts
-
Implementation An implementation of the Kell Calculus by Philippe Bidinger and David Teller is available on demand.
Job opportunities If you are interested in an internship, a PhD, or a postdoc in the Kell calculus, please contact
This e-mail address is being protected from spam bots, you need JavaScript enabled to view it
.
|