Skip to main content
Kent Academic Repository

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: Chalmers, Kevin and Pedersen, Jan B. and Welch, Peter H. and Broenink, Jan and Sampson, Adam T. and Ivimey-Cook, Ruth and Barnes, Frederick R.M., eds. Proceedings of Communicating Process Architectures 2015. (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: Welch, Peter H. and Barnes, Frederick R.M. and Broenink, Jan F. and Chalmers, Kevin and Pedersen, Jan B. and Sampson, Adam T., eds. Communicating Process Architectures 2013. Open Channel Publishing pp. 271-291. ISBN 978-0-9565409-7-3. (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: Welch, Peter H. and Barnes, Frederick R.M. and Broenink, Jan F. and Chalmers, Kevin and Pedersen, Jan B. and Sampson, Adam T., eds. Communicating Process Architectures 2013. Open Channel Publishing pp. 249-262. ISBN 978-0-9565409-7-3. (Full text available)
[img]
Preview

Welch, Peter H. and Pedersen, Jan B. (2008) Santa Claus - with Mobile Reindeer and Elves. In: Welch, Peter H. and Stepney, Susan and Polack, Fiona A.C. and Barnes, Frederick R.M. and McEwan, Alistair A. and Stiles, Gardner S. and Broenink, Jan F. and Sampson, Adam T., eds. Communicating Process Architectures 2008. Concurrent Systems Engineering, 66. IOS Press, Amsterdam, The Netherlands pp. 455-456. ISBN 978-1-58603-907-3. (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 978-0-9565409-5-9. (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 978-1-60750-773-4. (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 Sun Apr 28 09:36:19 2019 BST.