Browse by Person (creator, editor, contributor, etc.)

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | Date | No Grouping
Number of items: 8.

Article

Pedersen, Jan B. and Welch, Peter H. (2017) The symbiosis of concurrency and verification: teaching and case studies. Formal Aspects of Computing, 30 (2). pp. 239-277. ISSN 0934-5043. (doi:https://doi.org/10.1007/s00165-017-0447-x) (Full text available)
[img]
Preview

Welch, Peter H. and Pedersen, Jan B. (2010) Santa Claus: Formal analysis of a process-oriented solution. ACM Transactions on Programming Languages and Systems (TOPLAS), 32 (4). pp. 182-196. ISSN 0164-0925. (doi:https://doi.org/10.1145/1734206.1734211) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Conference or workshop item

Barnes, Frederick R.M. (2015) Guppy: Process-Oriented Programming on Embedded Devices. In: Communicating Process Architectures 2015, August 2015, Canterbury, Kent, UK. (Full text available)
[img]
Preview

Ritson, Carl G. and Barnes, Frederick R.M. (2013) An Evaluation of Intel's Restricted Transactional Memory for CPAs. In: Communicating Process Architectures 2013, 25 Aug - 28 Aug 2013, Edinburgh Napier University, UK. (Full text available)
[img]
Preview

Barnes, Frederick R.M. and Pressnell, Thomas and Le Foll, Brendan (2013) Exploring GPGPU Acceleration of Process-Oriented Simulations. In: Communicating Process Architectures 2013, 25 Aug - 28 Aug 2013, Edinburgh Napier University, UK. (Full text available)
[img]
Preview

Welch, Peter H. and Pedersen, Jan B. (2008) Santa Claus - with Mobile Reindeer and Elves. In: Communicating Process Architectures 2008, Sept 07-10, 2008, York, England. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Edited book

Welch, Peter H. and Barnes, Frederick R.M. and Pedersen, Jan B. and Sampson, Adam T., eds. (2012) Communicating Process Architectures 2012. Open Channel Publishing, 236 pp. ISBN 9780956540959. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Welch, Peter H. and Sampson, Adam T. and Pedersen, Jan B. and Kerridge, Jon M. and Broenink, Jan F. and Barnes, Frederick R.M., eds. (2011) Communicating Process Architectures 2011. Concurrent Systems Engineering, 68 . IOS Press, Amsterdam, The Netherlands, 400 pp. ISBN 9781607507734. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

This list was generated on Sat Apr 21 20:35:27 2018 BST.