db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"<br>
db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"<br>
@InProceedings{Michaelson13,
  title =        "{C}osting by {C}onstruction",
db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"<br>
  author=        "Michaelson,  Greg",
db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"<br>
  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.",
db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"<br>
  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."
}