WoTUG - The place for concurrent processes

Paper Details

@InProceedings{Abramsky08,
  title = "{T}ypes, {O}rthogonality and {G}enericity: {S}ome {T}ools for {C}ommunicating {P}rocess {A}rchitectures",
  author= "Abramsky, Samson",
  editor= "Welch, Peter H. and Stepney, S. and Polack, F.A.C and Barnes, Frederick R. M. and McEwan, Alistair A. and Stiles, G. S. and Broenink, Jan F. and Sampson, Adam T.",
  pages = "1--13",
  booktitle= "{C}ommunicating {P}rocess {A}rchitectures 2008",
  isbn= "978-1-58603-907-3",
  year= "2008",
  month= "sep",
  abstract= "We shall develop a simple and natural formalization of the
     idea of
     \textlessi\textgreaterclient-server\textless/i\textgreater
     architectures, and, based on this, define a notion of
     \textlessi\textgreaterorthogonality\textless/i\textgreater
     between clients and servers, which embodies strong
     correctness properties, and exposes the rich logical
     structure inherent in such systems. Then we generalize from
     pure clients and servers to
     \textlessi\textgreatercomponents\textless/i\textgreater,
     which provide some services to the environment, and require
     others from it. We identify the key notion of
     \textlessi\textgreatercomposition\textless/i\textgreater of
     such components, in which some of the services required by
     one component are supplied by another. This allows complex
     systems to be built from ultimately simple components. We
     show that this has the logical form of
     the \textlessi\textgreaterCut rule\textless/i\textgreater, a
     fundamental principle of logic, and that it can be enriched
     with a suitable notion of \textlessi\textgreaterbehavioural
     types\textless/i\textgreater based on orthogonality, in such
     a way that correctness properties are preserved by
     composition. We also develop the basic ideas of how logical
     constructions can be used to develop
     \textlessi\textgreaterstructured interfaces\textless/i\textgreater
     for systems, with operations corresponding to logical rules.
     Finally, we show how the setting can be enhanced, and made
     more robust and expressive, by using
     \textlessi\textgreaternames\textless/i\textgreater (as
     in the \π-calculus) to allow clients to bind dynamically
     to generic instances of services."
}

If you have any comments on this database, including inaccuracies, requests to remove or add information, or suggestions for improvement, the WoTUG web team are happy to hear of them. We will do our best to resolve problems to everyone's satisfaction.

Copyright for the papers presented in this database normally resides with the authors; please contact them directly for more information. Addresses are normally presented in the full paper.

Pages © WoTUG, or the indicated author. All Rights Reserved.
Comments on these web pages should be addressed to: www at wotug.org

Valid HTML 4.01!