Paper Details

@InProceedings{Michaelson13,
  title = "{C}osting by {C}onstruction",
  author= "Michaelson, Greg",
  editor= "Welch, Peter H. and Barnes, Frederick R. M. and Broenink, Jan F. and Chalmers, Kevin and Pedersen, Jan Bækgaard and Sampson, Adam T.",
  pages = "1--2",
  booktitle= "{C}ommunicating {P}rocess {A}rchitectures 2013",
  isbn= "978-0-9565409-7-3",
  year= "2013",
  month= "nov",
  abstract= "Predicting the performance of sequential systems is hard
     and concurrency brings additional complexities of
     coordination and timing. However, current models of
     concurrency tend to be unitary and so conflate computation
     and coordination. In contrast, the Hume language is based
     on concurrent generalised finite state boxes linked by
     wires. Boxes are stateless with transitions driven by
     pattern matching to select actions in a full strength
     functional language. This explicit separation of
     coordination and computation greatly eases concurrent system
     modelling: classical inductive reasoning may be used
     to establish properties within boxes, while box coordination
     may be explored independently through the novel box
     calculus. This seminar gives an introduction to the Hume
     language, cost models for Hume, and the box calculus, and
     considers how they might be integrated in a system to
     support costing by construction, where the
     resource implications of design decisions are made manifest
     as a system evolves."
}

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.