Search


Volume

Author

Year

  • < Previous
  • 1
  • Next >
3 results

A calculus for costed computations

matthew hennessy.
We develop a version of the pi-calculus, picost, where channels are interpreted as resources which have costs associated with them. Code runs under the financial responsibility of owners; they must pay to use resources, but may profit by providing them. We provide a proof methodology for processes&nbsp;[&hellip;]
Published on March 23, 2011
Volume 7, Issue 1

Modelling MAC-Layer Communications in Wireless Systems

Andrea Cerone ; Matthew Hennessy ; Massimo Merro.
We present a timed process calculus for modelling wireless networks in which individual stations broadcast and receive messages; moreover the broadcasts are subject to collisions. Based on a reduction semantics for the calculus we define a contextual equivalence to compare the external behaviour of&nbsp;[&hellip;]
Published on March 31, 2015
Volume 11, Issue 1

Mutually Testing Processes

Giovanni Bernardi ; Matthew Hennessy.
In the standard testing theory of DeNicola-Hennessy one process is considered to be a refinement of another if every test guaranteed by the former is also guaranteed by the latter. In the domain of web services this has been recast, with processes viewed as servers and tests as clients. In this way&nbsp;[&hellip;]
Published on April 14, 2015
Volume 11, Issue 2
  • < Previous
  • 1
  • Next >