Auto-Mobiles: Optimised Message-Passing

Brown, Neil C.C. (2009) Auto-Mobiles: Optimised Message-Passing. In: Welch, Peter H. and Roebbers, Herman W. and Broenink, Jan F. and Barnes, Frederick R.M. and Ritson, Carl G. and Sampson, Adam T. and Stiles, Gardiner S. and Vinter, Brian, eds. Communicating Process Architectures 2009. Concurrent Systems Engineering, 67. IOS Press, Amsterdam, The Netherlands pp. 182-196. ISBN 978-1-60750-065-0. (Full text available)

PDF - Publisher pdf
Download (212kB) Preview
[img]
Preview
Official URL
http://www.cs.kent.ac.uk/pubs/2009/3018
Item Type: Conference or workshop item (UNSPECIFIED)
Uncontrolled keywords: determinacy analysis, Craig interpolants
Subjects: Q Science > QA Mathematics (inc Computing science) > QA 76 Software, computer programming,
Divisions: Faculties > Sciences > School of Computing > Programming Languages and Systems Group
Depositing User: Neil Brown
Date Deposited: 21 Sep 2012 09:49 UTC
Last Modified: 07 Aug 2018 09:31 UTC
Resource URI: https://kar.kent.ac.uk/id/eprint/30582 (The current URI for this page, for reference purposes)
  • Depositors only (login required):

Downloads

Downloads per month over past year