INSPIRING FUTURES

Browse by Author

Up a level
Export as [feed] RSS
Group by: Item Type | No Grouping
Jump to: Book Section | Book
Number of items: 7.

Book Section

Chalmers, Kevin and Kerridge, Jon (2013) Verifying the CPA Networking Stack using SPIN/Promela. In: Communicating Process Architectures 2013. Open Channel Publishing Ltd., Bicester, pp. 39-56. ISBN 978-0-9565409-7-3

Clayton, Sarah and Urquhart, Neil B (2009) An application of CoSMoS design methods to pedestrian simulation. In: Communicating Process Architectures 2009 WoTUG-32. Concurrent Systems Engineering, 67 . IOS. ISBN 978-1-60750-065-0

Chalmers, Kevin and Kerridge, Jon (2009) An investigation into distributed channel mobility support for Communicating Process Architectures. In: Communicating Process Architectures 2009. IOS Press, Amsterdam, pp. 205-223. ISBN 978-1-60750-065-0

Kosek, Anna, Kerridge, Jon, Syed, Aly and Armitage, Alistair (2009) JCSP agents-based service discovery for pervasive computing. In: Communicating Process Architectures 2009 - WoTUG-32. Concurrent Systems Engineering Series, 67 . IOS Press, pp. 363-373. ISBN 978-1-60750-065-0

Chalmers, Kevin, Kerridge, Jon and Romdhani, Imed (2008) A critique of JCSP networking. In: Communicating Process Architectures 2008. Concurrent Systems Engineering Series, 66 . IOS Press, Amsterdam, pp. 271-291. ISBN 978-1-58603-907-3

Kerridge, Jon, Haschke, Jens-Oliver and Chalmers, Kevin (2008) Mobile agents and processes using communicating process architectures. In: Communicating Process Architectures 2008. Concurrent Systems Engineering Series, 66 . IOS Press, Amsterdam, pp. 397-410. ISBN 978-1-58603-907-3

Book

Welch, Peter H, Barnes, Frederick R M, Broenink, Jan F, Chalmers, Kevin, Pedersen, Jan Bækgaard and Sampson, Adam T, eds. (2013) Communicating Process Architectures 2013. Open Channel Publishing Ltd.. ISBN 978-0-9565409-7-3

This list was generated on Fri Dec 19 10:06:51 2014 GMT.

Edinburgh Napier University is a registered Scottish charity. Registration number SC018373