![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
Search dblp for Publications
export results for "stream:conf/wotug:"
@inproceedings{DBLP:conf/wotug/AlamKW13, author = {Sarwar Alam and Humaira Kamal and Alan Wagner}, editor = {Peter H. Welch and Frederick R. M. Barnes and Jan F. Broenink and Kevin Chalmers and Jan B{\ae}kgaard Pedersen and Adam T. Sampson}, title = {Service Oriented Programming in {MPI}}, booktitle = {35th Communicating Process Architectures, {CPA} 2013, organised under the auspices of WoTUG, Edinburgh, Scotland, UK, August 25, 2013}, pages = {93--112}, publisher = {Open Channel Publishing Ltd.}, year = {2013}, url = {http://wotug.org/paperdb/show\_pap.php?f=1\&num=695}, timestamp = {Tue, 09 Feb 2021 08:32:30 +0100}, biburl = {https://dblp.org/rec/conf/wotug/AlamKW13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wotug/Barnes13, author = {Frederick R. M. Barnes}, editor = {Peter H. Welch and Frederick R. M. Barnes and Jan F. Broenink and Kevin Chalmers and Jan B{\ae}kgaard Pedersen and Adam T. Sampson}, title = {The Guppy Language: an Update}, booktitle = {35th Communicating Process Architectures, {CPA} 2013, organised under the auspices of WoTUG, Edinburgh, Scotland, UK, August 25, 2013}, pages = {327--328}, publisher = {Open Channel Publishing Ltd.}, year = {2013}, url = {http://wotug.org/paperdb/show\_pap.php?f=1\&num=707}, timestamp = {Tue, 09 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/wotug/Barnes13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wotug/BarnesPF13, author = {Frederick R. M. Barnes and Thomas Pressnell and Brendan Le Foll}, editor = {Peter H. Welch and Frederick R. M. Barnes and Jan F. Broenink and Kevin Chalmers and Jan B{\ae}kgaard Pedersen and Adam T. Sampson}, title = {Exploring {GPGPU} Acceleration of Process-Oriented Simulations}, booktitle = {35th Communicating Process Architectures, {CPA} 2013, organised under the auspices of WoTUG, Edinburgh, Scotland, UK, August 25, 2013}, pages = {249--262}, publisher = {Open Channel Publishing Ltd.}, year = {2013}, url = {http://wotug.org/paperdb/show\_pap.php?f=1\&num=698}, timestamp = {Tue, 09 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/wotug/BarnesPF13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wotug/Bate13, author = {Andrew Bate}, editor = {Peter H. Welch and Frederick R. M. Barnes and Jan F. Broenink and Kevin Chalmers and Jan B{\ae}kgaard Pedersen and Adam T. Sampson}, title = {Scalable Performance for Scala Message-Passing Concurrency}, booktitle = {35th Communicating Process Architectures, {CPA} 2013, organised under the auspices of WoTUG, Edinburgh, Scotland, UK, August 25, 2013}, pages = {113--132}, publisher = {Open Channel Publishing Ltd.}, year = {2013}, url = {http://wotug.org/paperdb/show\_pap.php?f=1\&num=687}, timestamp = {Tue, 09 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/wotug/Bate13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wotug/Beton13, author = {Rick D. Beton}, editor = {Peter H. Welch and Frederick R. M. Barnes and Jan F. Broenink and Kevin Chalmers and Jan B{\ae}kgaard Pedersen and Adam T. Sampson}, title = {An Introduction to Go}, booktitle = {35th Communicating Process Architectures, {CPA} 2013, organised under the auspices of WoTUG, Edinburgh, Scotland, UK, August 25, 2013}, pages = {325--326}, publisher = {Open Channel Publishing Ltd.}, year = {2013}, url = {http://wotug.org/paperdb/show\_pap.php?f=1\&num=708}, timestamp = {Tue, 09 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/wotug/Beton13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wotug/BoodeBB13, author = {Antoon Hendrik Boode and Hajo Broersma and Jan F. Broenink}, editor = {Peter H. Welch and Frederick R. M. Barnes and Jan F. Broenink and Kevin Chalmers and Jan B{\ae}kgaard Pedersen and Adam T. Sampson}, title = {Improving the Performance of Periodic Real-time Processes: a Graph Theoretical Approach}, booktitle = {35th Communicating Process Architectures, {CPA} 2013, organised under the auspices of WoTUG, Edinburgh, Scotland, UK, August 25, 2013}, pages = {57--80}, publisher = {Open Channel Publishing Ltd.}, year = {2013}, url = {http://wotug.org/paperdb/show\_pap.php?f=1\&num=685}, timestamp = {Mon, 29 Aug 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/wotug/BoodeBB13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wotug/ChalmersK13, author = {Kevin Chalmers and Jon M. Kerridge}, editor = {Peter H. Welch and Frederick R. M. Barnes and Jan F. Broenink and Kevin Chalmers and Jan B{\ae}kgaard Pedersen and Adam T. Sampson}, title = {Verifying the {CPA} Networking Stack using SPIN/Promela}, booktitle = {35th Communicating Process Architectures, {CPA} 2013, organised under the auspices of WoTUG, Edinburgh, Scotland, UK, August 25, 2013}, pages = {39--52}, publisher = {Open Channel Publishing Ltd.}, year = {2013}, url = {http://wotug.org/paperdb/show\_pap.php?f=1\&num=697}, timestamp = {Tue, 09 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/wotug/ChalmersK13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wotug/FriborgBV13, author = {Rune M{\o}lleg{\aa}rd Friborg and John Markus Bj{\o}rndalen and Brian Vinter}, editor = {Peter H. Welch and Frederick R. M. Barnes and Jan F. Broenink and Kevin Chalmers and Jan B{\ae}kgaard Pedersen and Adam T. Sampson}, title = {Scaling PyCSP}, booktitle = {35th Communicating Process Architectures, {CPA} 2013, organised under the auspices of WoTUG, Edinburgh, Scotland, UK, August 25, 2013}, pages = {81--92}, publisher = {Open Channel Publishing Ltd.}, year = {2013}, url = {http://wotug.org/paperdb/show\_pap.php?f=1\&num=699}, timestamp = {Tue, 09 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/wotug/FriborgBV13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wotug/Gibson-Robinson13, author = {Thomas Gibson{-}Robinson and Michael Goldsmith}, editor = {Peter H. Welch and Frederick R. M. Barnes and Jan F. Broenink and Kevin Chalmers and Jan B{\ae}kgaard Pedersen and Adam T. Sampson}, title = {The Meaning and Implementation of {SKIP} in {CSP}}, booktitle = {35th Communicating Process Architectures, {CPA} 2013, organised under the auspices of WoTUG, Edinburgh, Scotland, UK, August 25, 2013}, pages = {5--20}, publisher = {Open Channel Publishing Ltd.}, year = {2013}, url = {http://wotug.org/paperdb/show\_pap.php?f=1\&num=692}, timestamp = {Tue, 09 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/wotug/Gibson-Robinson13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wotug/Gibson-Robinson13a, author = {Thomas Gibson{-}Robinson}, editor = {Peter H. Welch and Frederick R. M. Barnes and Jan F. Broenink and Kevin Chalmers and Jan B{\ae}kgaard Pedersen and Adam T. Sampson}, title = {Efficient Simulation of CSP-Like Languages}, booktitle = {35th Communicating Process Architectures, {CPA} 2013, organised under the auspices of WoTUG, Edinburgh, Scotland, UK, August 25, 2013}, pages = {185--204}, publisher = {Open Channel Publishing Ltd.}, year = {2013}, url = {http://wotug.org/paperdb/show\_pap.php?f=1\&num=691}, timestamp = {Tue, 09 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/wotug/Gibson-Robinson13a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wotug/Gibson-Robinson13b, author = {Thomas Gibson{-}Robinson}, editor = {Peter H. Welch and Frederick R. M. Barnes and Jan F. Broenink and Kevin Chalmers and Jan B{\ae}kgaard Pedersen and Adam T. Sampson}, title = {{FDR3:} the Future of {CSP} Model Checking}, booktitle = {35th Communicating Process Architectures, {CPA} 2013, organised under the auspices of WoTUG, Edinburgh, Scotland, UK, August 25, 2013}, pages = {321--322}, publisher = {Open Channel Publishing Ltd.}, year = {2013}, url = {http://wotug.org/paperdb/show\_pap.php?f=1\&num=703}, timestamp = {Tue, 09 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/wotug/Gibson-Robinson13b.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wotug/Gibson-Robinson13c, author = {Thomas Gibson{-}Robinson}, editor = {Peter H. Welch and Frederick R. M. Barnes and Jan F. Broenink and Kevin Chalmers and Jan B{\ae}kgaard Pedersen and Adam T. Sampson}, title = {Using {FDR} to Model Check CSP-Like Languages}, booktitle = {35th Communicating Process Architectures, {CPA} 2013, organised under the auspices of WoTUG, Edinburgh, Scotland, UK, August 25, 2013}, pages = {323--324}, publisher = {Open Channel Publishing Ltd.}, year = {2013}, url = {http://wotug.org/paperdb/show\_pap.php?f=1\&num=704}, timestamp = {Tue, 09 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/wotug/Gibson-Robinson13c.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wotug/Howellsd13, author = {Paul Howells and Mark d'Inverno}, editor = {Peter H. Welch and Frederick R. M. Barnes and Jan F. Broenink and Kevin Chalmers and Jan B{\ae}kgaard Pedersen and Adam T. Sampson}, title = {Successful Termination in Timed {CSP}}, booktitle = {35th Communicating Process Architectures, {CPA} 2013, organised under the auspices of WoTUG, Edinburgh, Scotland, UK, August 25, 2013}, pages = {21--38}, publisher = {Open Channel Publishing Ltd.}, year = {2013}, url = {http://wotug.org/paperdb/show\_pap.php?f=1\&num=694}, timestamp = {Tue, 09 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/wotug/Howellsd13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wotug/Howellsd13a, author = {Paul Howells and Mark d'Inverno}, editor = {Peter H. Welch and Frederick R. M. Barnes and Jan F. Broenink and Kevin Chalmers and Jan B{\ae}kgaard Pedersen and Adam T. Sampson}, title = {Specifying and Analysing Networks of Processes in CSPt (or In Search of Associativity)}, booktitle = {35th Communicating Process Architectures, {CPA} 2013, organised under the auspices of WoTUG, Edinburgh, Scotland, UK, August 25, 2013}, pages = {157--184}, publisher = {Open Channel Publishing Ltd.}, year = {2013}, url = {http://wotug.org/paperdb/show\_pap.php?f=1\&num=686}, timestamp = {Tue, 09 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/wotug/Howellsd13a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wotug/Jones13, author = {Christopher C. R. Jones}, editor = {Peter H. Welch and Frederick R. M. Barnes and Jan F. Broenink and Kevin Chalmers and Jan B{\ae}kgaard Pedersen and Adam T. Sampson}, title = {A Personal Perspective on the State of {HPC} in 2013}, booktitle = {35th Communicating Process Architectures, {CPA} 2013, organised under the auspices of WoTUG, Edinburgh, Scotland, UK, August 25, 2013}, pages = {263--270}, publisher = {Open Channel Publishing Ltd.}, year = {2013}, url = {http://wotug.org/paperdb/show\_pap.php?f=1\&num=700}, timestamp = {Tue, 09 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/wotug/Jones13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wotug/JonesP13, author = {Michael Quinn Jones and Jan B{\ae}kgaard Pedersen}, editor = {Peter H. Welch and Frederick R. M. Barnes and Jan F. Broenink and Kevin Chalmers and Jan B{\ae}kgaard Pedersen and Adam T. Sampson}, title = {The Distributed Application Debugger}, booktitle = {35th Communicating Process Architectures, {CPA} 2013, organised under the auspices of WoTUG, Edinburgh, Scotland, UK, August 25, 2013}, pages = {217--232}, publisher = {Open Channel Publishing Ltd.}, year = {2013}, url = {http://wotug.org/paperdb/show\_pap.php?f=1\&num=690}, timestamp = {Tue, 09 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/wotug/JonesP13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wotug/Michaelson13, author = {Greg Michaelson}, editor = {Peter H. Welch and Frederick R. M. Barnes and Jan F. Broenink and Kevin Chalmers and Jan B{\ae}kgaard Pedersen and Adam T. Sampson}, title = {Costing by Construction}, booktitle = {35th Communicating Process Architectures, {CPA} 2013, organised under the auspices of WoTUG, Edinburgh, Scotland, UK, August 25, 2013}, pages = {1--2}, publisher = {Open Channel Publishing Ltd.}, year = {2013}, url = {http://wotug.org/paperdb/show\_pap.php?f=1\&num=701}, timestamp = {Tue, 09 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/wotug/Michaelson13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wotug/PedersenS13, author = {Jan B{\ae}kgaard Pedersen and Marc L. Smith}, editor = {Peter H. Welch and Frederick R. M. Barnes and Jan F. Broenink and Kevin Chalmers and Jan B{\ae}kgaard Pedersen and Adam T. Sampson}, title = {ProcessJ: {A} Possible Future of Process-Oriented Design}, booktitle = {35th Communicating Process Architectures, {CPA} 2013, organised under the auspices of WoTUG, Edinburgh, Scotland, UK, August 25, 2013}, pages = {133--156}, publisher = {Open Channel Publishing Ltd.}, year = {2013}, url = {http://wotug.org/paperdb/show\_pap.php?f=1\&num=689}, timestamp = {Tue, 09 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/wotug/PedersenS13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wotug/RehrSV13, author = {Martin Rehr and Kenneth Skovhede and Brian Vinter}, editor = {Peter H. Welch and Frederick R. M. Barnes and Jan F. Broenink and Kevin Chalmers and Jan B{\ae}kgaard Pedersen and Adam T. Sampson}, title = {{BPU} Simulator}, booktitle = {35th Communicating Process Architectures, {CPA} 2013, organised under the auspices of WoTUG, Edinburgh, Scotland, UK, August 25, 2013}, pages = {233--248}, publisher = {Open Channel Publishing Ltd.}, year = {2013}, url = {http://wotug.org/paperdb/show\_pap.php?f=1\&num=688}, timestamp = {Tue, 09 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/wotug/RehrSV13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wotug/RitsonB13, author = {Carl G. Ritson and Frederick R. M. Barnes}, editor = {Peter H. Welch and Frederick R. M. Barnes and Jan F. Broenink and Kevin Chalmers and Jan B{\ae}kgaard Pedersen and Adam T. Sampson}, title = {An Evaluation of Intel's Restricted Transactional Memory for CPAs}, booktitle = {35th Communicating Process Architectures, {CPA} 2013, organised under the auspices of WoTUG, Edinburgh, Scotland, UK, August 25, 2013}, pages = {271--292}, publisher = {Open Channel Publishing Ltd.}, year = {2013}, url = {http://wotug.org/paperdb/show\_pap.php?f=1\&num=696}, timestamp = {Tue, 09 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/wotug/RitsonB13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wotug/Teig13, author = {{\O}yvind Teig}, editor = {Peter H. Welch and Frederick R. M. Barnes and Jan F. Broenink and Kevin Chalmers and Jan B{\ae}kgaard Pedersen and Adam T. Sampson}, title = {Selective Choice "Feathering" with XCHANs}, booktitle = {35th Communicating Process Architectures, {CPA} 2013, organised under the auspices of WoTUG, Edinburgh, Scotland, UK, August 25, 2013}, pages = {205--216}, publisher = {Open Channel Publishing Ltd.}, year = {2013}, url = {http://wotug.org/paperdb/show\_pap.php?f=1\&num=684}, timestamp = {Tue, 09 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/wotug/Teig13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wotug/Teig13a, author = {{\O}yvind Teig}, editor = {Peter H. Welch and Frederick R. M. Barnes and Jan F. Broenink and Kevin Chalmers and Jan B{\ae}kgaard Pedersen and Adam T. Sampson}, title = {Names of {XCHAN} Implementations}, booktitle = {35th Communicating Process Architectures, {CPA} 2013, organised under the auspices of WoTUG, Edinburgh, Scotland, UK, August 25, 2013}, pages = {331--332}, publisher = {Open Channel Publishing Ltd.}, year = {2013}, url = {http://wotug.org/paperdb/show\_pap.php?f=1\&num=709}, timestamp = {Tue, 09 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/wotug/Teig13a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wotug/Turner13, author = {Andrew Turner}, editor = {Peter H. Welch and Frederick R. M. Barnes and Jan F. Broenink and Kevin Chalmers and Jan B{\ae}kgaard Pedersen and Adam T. Sampson}, title = {National {HPC} Facilities at {EPCC:} Exploiting Massively Parallel Architectures for Scientific Simulation}, booktitle = {35th Communicating Process Architectures, {CPA} 2013, organised under the auspices of WoTUG, Edinburgh, Scotland, UK, August 25, 2013}, pages = {3--4}, publisher = {Open Channel Publishing Ltd.}, year = {2013}, url = {http://wotug.org/paperdb/show\_pap.php?f=1\&num=702}, timestamp = {Tue, 09 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/wotug/Turner13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wotug/Welch13, author = {Peter H. Welch}, editor = {Peter H. Welch and Frederick R. M. Barnes and Jan F. Broenink and Kevin Chalmers and Jan B{\ae}kgaard Pedersen and Adam T. Sampson}, title = {Life of occam-Pi}, booktitle = {35th Communicating Process Architectures, {CPA} 2013, organised under the auspices of WoTUG, Edinburgh, Scotland, UK, August 25, 2013}, pages = {293--318}, publisher = {Open Channel Publishing Ltd.}, year = {2013}, url = {http://wotug.org/paperdb/show\_pap.php?f=1\&num=693}, timestamp = {Tue, 09 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/wotug/Welch13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wotug/Welch13a, author = {Peter H. Welch}, editor = {Peter H. Welch and Frederick R. M. Barnes and Jan F. Broenink and Kevin Chalmers and Jan B{\ae}kgaard Pedersen and Adam T. Sampson}, title = {An occam Model of XCHANs}, booktitle = {35th Communicating Process Architectures, {CPA} 2013, organised under the auspices of WoTUG, Edinburgh, Scotland, UK, August 25, 2013}, pages = {329--330}, publisher = {Open Channel Publishing Ltd.}, year = {2013}, url = {http://wotug.org/paperdb/show\_pap.php?f=1\&num=706}, timestamp = {Tue, 09 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/wotug/Welch13a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wotug/WelchPB13, author = {Peter H. Welch and Jan B{\ae}kgaard Pedersen and Frederick R. M. Barnes}, editor = {Peter H. Welch and Frederick R. M. Barnes and Jan F. Broenink and Kevin Chalmers and Jan B{\ae}kgaard Pedersen and Adam T. Sampson}, title = {Mutually Assured Destruction (or the Joy of Sync)}, booktitle = {35th Communicating Process Architectures, {CPA} 2013, organised under the auspices of WoTUG, Edinburgh, Scotland, UK, August 25, 2013}, pages = {319--320}, publisher = {Open Channel Publishing Ltd.}, year = {2013}, url = {http://wotug.org/paperdb/show\_pap.php?f=1\&num=705}, timestamp = {Tue, 09 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/wotug/WelchPB13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/wotug/2013, editor = {Peter H. Welch and Frederick R. M. Barnes and Jan F. Broenink and Kevin Chalmers and Jan B{\ae}kgaard Pedersen and Adam T. Sampson}, title = {35th Communicating Process Architectures, {CPA} 2013, organised under the auspices of WoTUG, Edinburgh, Scotland, UK, August 25, 2013}, publisher = {Open Channel Publishing Ltd.}, year = {2013}, url = {http://wotug.org/paperdb/show\_proc.php?f=1\&num=30}, isbn = {978-0-9565409-7-3}, timestamp = {Tue, 09 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/wotug/2013.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wotug/Barrocas12, author = {S. L. M. Barrocas}, editor = {Peter H. Welch and Frederick R. M. Barnes and Kevin Chalmers and Jan B{\ae}kgaard Pedersen and Adam T. Sampson}, title = {JCircus Demo}, booktitle = {34th Communicating Process Architectures, {CPA} 2012, organised under the auspices of WoTUG, Dundee, Scotland, UK, August 26, 2012}, publisher = {Open Channel Publishing Ltd.}, year = {2012}, url = {http://wotug.org/paperdb/show\_pap.php?f=1\&num=680}, timestamp = {Tue, 09 Feb 2021 08:32:30 +0100}, biburl = {https://dblp.org/rec/conf/wotug/Barrocas12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wotug/BarrocasO12, author = {S. L. M. Barrocas and Marcel Oliveira}, editor = {Peter H. Welch and Frederick R. M. Barnes and Kevin Chalmers and Jan B{\ae}kgaard Pedersen and Adam T. Sampson}, title = {JCircus 2.0: an Extension of an Automatic Translator from Circus to Java}, booktitle = {34th Communicating Process Architectures, {CPA} 2012, organised under the auspices of WoTUG, Dundee, Scotland, UK, August 26, 2012}, pages = {15--36}, publisher = {Open Channel Publishing Ltd.}, year = {2012}, url = {http://wotug.org/paperdb/show\_pap.php?f=1\&num=662}, timestamp = {Tue, 09 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/wotug/BarrocasO12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wotug/BateL12, author = {Andrew Bate and Gavin Lowe}, editor = {Peter H. Welch and Frederick R. M. Barnes and Kevin Chalmers and Jan B{\ae}kgaard Pedersen and Adam T. Sampson}, title = {A Debugger for Communicating Scala Objects}, booktitle = {34th Communicating Process Architectures, {CPA} 2012, organised under the auspices of WoTUG, Dundee, Scotland, UK, August 26, 2012}, pages = {135--154}, publisher = {Open Channel Publishing Ltd.}, year = {2012}, url = {http://wotug.org/paperdb/show\_pap.php?f=1\&num=666}, timestamp = {Tue, 09 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/wotug/BateL12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wotug/BezemerW12, author = {Maarten M. Bezemer and Robert J. W. Wilterdink}, editor = {Peter H. Welch and Frederick R. M. Barnes and Kevin Chalmers and Jan B{\ae}kgaard Pedersen and Adam T. Sampson}, title = {Developing {JIWY} using {TERRA}}, booktitle = {34th Communicating Process Architectures, {CPA} 2012, organised under the auspices of WoTUG, Dundee, Scotland, UK, August 26, 2012}, publisher = {Open Channel Publishing Ltd.}, year = {2012}, url = {http://wotug.org/paperdb/show\_pap.php?f=1\&num=677}, timestamp = {Tue, 09 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/wotug/BezemerW12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wotug/BezemerWB12, author = {Maarten M. Bezemer and Robert J. W. Wilterdink and Jan F. Broenink}, editor = {Peter H. Welch and Frederick R. M. Barnes and Kevin Chalmers and Jan B{\ae}kgaard Pedersen and Adam T. Sampson}, title = {Design and Use of {CSP} Meta-Model for Embedded Control Software Development}, booktitle = {34th Communicating Process Architectures, {CPA} 2012, organised under the auspices of WoTUG, Dundee, Scotland, UK, August 26, 2012}, pages = {185--200}, publisher = {Open Channel Publishing Ltd.}, year = {2012}, url = {http://wotug.org/paperdb/show\_pap.php?f=1\&num=663}, timestamp = {Tue, 09 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/wotug/BezemerWB12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wotug/Chalmers12, author = {Kevin Chalmers}, editor = {Peter H. Welch and Frederick R. M. Barnes and Kevin Chalmers and Jan B{\ae}kgaard Pedersen and Adam T. Sampson}, title = {A Comparison of Message Passing Interface and Communicating Process Architecture Networking Communication Performance}, booktitle = {34th Communicating Process Architectures, {CPA} 2012, organised under the auspices of WoTUG, Dundee, Scotland, UK, August 26, 2012}, pages = {107--120}, publisher = {Open Channel Publishing Ltd.}, year = {2012}, url = {http://wotug.org/paperdb/show\_pap.php?f=1\&num=667}, timestamp = {Tue, 09 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/wotug/Chalmers12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wotug/Cole12, author = {Alex Cole}, editor = {Peter H. Welch and Frederick R. M. Barnes and Kevin Chalmers and Jan B{\ae}kgaard Pedersen and Adam T. Sampson}, title = {Handel-C++ - Adding Syntactic Support to {C++}}, booktitle = {34th Communicating Process Architectures, {CPA} 2012, organised under the auspices of WoTUG, Dundee, Scotland, UK, August 26, 2012}, publisher = {Open Channel Publishing Ltd.}, year = {2012}, url = {http://wotug.org/paperdb/show\_pap.php?f=1\&num=683}, timestamp = {Tue, 09 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/wotug/Cole12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wotug/ColeMM12, author = {Alex Cole and Alistair A. McEwan and Geoff Mainland}, editor = {Peter H. Welch and Frederick R. M. Barnes and Kevin Chalmers and Jan B{\ae}kgaard Pedersen and Adam T. Sampson}, title = {Beauty And The Beast: Exploiting GPUs In Haskell}, booktitle = {34th Communicating Process Architectures, {CPA} 2012, organised under the auspices of WoTUG, Dundee, Scotland, UK, August 26, 2012}, pages = {121--134}, publisher = {Open Channel Publishing Ltd.}, year = {2012}, url = {http://wotug.org/paperdb/show\_pap.php?f=1\&num=664}, timestamp = {Tue, 09 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/wotug/ColeMM12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wotug/East12, author = {Ian R. East}, editor = {Peter H. Welch and Frederick R. M. Barnes and Kevin Chalmers and Jan B{\ae}kgaard Pedersen and Adam T. Sampson}, title = {A {CPA} Series}, booktitle = {34th Communicating Process Architectures, {CPA} 2012, organised under the auspices of WoTUG, Dundee, Scotland, UK, August 26, 2012}, publisher = {Open Channel Publishing Ltd.}, year = {2012}, url = {http://wotug.org/paperdb/show\_pap.php?f=1\&num=674}, timestamp = {Tue, 09 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/wotug/East12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wotug/EllisB12, author = {Martin Ellis and Frederick R. M. Barnes}, editor = {Peter H. Welch and Frederick R. M. Barnes and Kevin Chalmers and Jan B{\ae}kgaard Pedersen and Adam T. Sampson}, title = {Data Escape Analysis for Process Oriented Systems}, booktitle = {34th Communicating Process Architectures, {CPA} 2012, organised under the auspices of WoTUG, Dundee, Scotland, UK, August 26, 2012}, pages = {217--218}, publisher = {Open Channel Publishing Ltd.}, year = {2012}, url = {http://wotug.org/paperdb/show\_pap.php?f=1\&num=678}, timestamp = {Tue, 09 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/wotug/EllisB12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wotug/GardnerS12, author = {William B. Gardner and Yuriy Solovyov}, editor = {Peter H. Welch and Frederick R. M. Barnes and Kevin Chalmers and Jan B{\ae}kgaard Pedersen and Adam T. Sampson}, title = {Supporting Timed {CSP} Operators in {CSP++}}, booktitle = {34th Communicating Process Architectures, {CPA} 2012, organised under the auspices of WoTUG, Dundee, Scotland, UK, August 26, 2012}, pages = {89--106}, publisher = {Open Channel Publishing Ltd.}, year = {2012}, url = {http://wotug.org/paperdb/show\_pap.php?f=1\&num=659}, timestamp = {Tue, 09 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/wotug/GardnerS12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wotug/KosekG12, author = {Anna Magdalena Kosek and Oliver Gehrke}, editor = {Peter H. Welch and Frederick R. M. Barnes and Kevin Chalmers and Jan B{\ae}kgaard Pedersen and Adam T. Sampson}, title = {A Distributed Multi-Agent Control System for Power Consumption in Buildings}, booktitle = {34th Communicating Process Architectures, {CPA} 2012, organised under the auspices of WoTUG, Dundee, Scotland, UK, August 26, 2012}, pages = {37--52}, publisher = {Open Channel Publishing Ltd.}, year = {2012}, url = {http://wotug.org/paperdb/show\_pap.php?f=1\&num=669}, timestamp = {Tue, 09 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/wotug/KosekG12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wotug/LarsenV12, author = {Mads Ohm Larsen and Brian Vinter}, editor = {Peter H. Welch and Frederick R. M. Barnes and Kevin Chalmers and Jan B{\ae}kgaard Pedersen and Adam T. Sampson}, title = {Exception Handling and Checkpointing in {CSP}}, booktitle = {34th Communicating Process Architectures, {CPA} 2012, organised under the auspices of WoTUG, Dundee, Scotland, UK, August 26, 2012}, pages = {201--212}, publisher = {Open Channel Publishing Ltd.}, year = {2012}, url = {http://wotug.org/paperdb/show\_pap.php?f=1\&num=660}, timestamp = {Tue, 09 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/wotug/LarsenV12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wotug/Li12, author = {Ye Li}, editor = {Peter H. Welch and Frederick R. M. Barnes and Kevin Chalmers and Jan B{\ae}kgaard Pedersen and Adam T. Sampson}, title = {Implementation of an Agent-based Model with {TBB} Technique}, booktitle = {34th Communicating Process Architectures, {CPA} 2012, organised under the auspices of WoTUG, Dundee, Scotland, UK, August 26, 2012}, publisher = {Open Channel Publishing Ltd.}, year = {2012}, url = {http://wotug.org/paperdb/show\_pap.php?f=1\&num=682}, timestamp = {Tue, 09 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/wotug/Li12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wotug/Miller12, author = {Richard Miller}, editor = {Peter H. Welch and Frederick R. M. Barnes and Kevin Chalmers and Jan B{\ae}kgaard Pedersen and Adam T. Sampson}, title = {Polyphonic Processors - Fantasy on an {FPGA}}, booktitle = {34th Communicating Process Architectures, {CPA} 2012, organised under the auspices of WoTUG, Dundee, Scotland, UK, August 26, 2012}, publisher = {Open Channel Publishing Ltd.}, year = {2012}, url = {http://wotug.org/paperdb/show\_pap.php?f=1\&num=675}, timestamp = {Tue, 09 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/wotug/Miller12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wotug/MirMP12, author = {Irfan F. Mir and Alistair A. McEwan and Neil J. Perrins}, editor = {Peter H. Welch and Frederick R. M. Barnes and Kevin Chalmers and Jan B{\ae}kgaard Pedersen and Adam T. Sampson}, title = {A High Performance Reconfigurable Architecture for Flash File Systems}, booktitle = {34th Communicating Process Architectures, {CPA} 2012, organised under the auspices of WoTUG, Dundee, Scotland, UK, August 26, 2012}, pages = {171--184}, publisher = {Open Channel Publishing Ltd.}, year = {2012}, url = {http://wotug.org/paperdb/show\_pap.php?f=1\&num=670}, timestamp = {Tue, 09 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/wotug/MirMP12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wotug/OguzBM12, author = {Oguzcan Oguz and Jan F. Broenink and Angelika Mader}, editor = {Peter H. Welch and Frederick R. M. Barnes and Kevin Chalmers and Jan B{\ae}kgaard Pedersen and Adam T. Sampson}, title = {Schedulability Analysis of Timed {CSP} Models Using the {PAT} Model Checker}, booktitle = {34th Communicating Process Architectures, {CPA} 2012, organised under the auspices of WoTUG, Dundee, Scotland, UK, August 26, 2012}, pages = {65--88}, publisher = {Open Channel Publishing Ltd.}, year = {2012}, url = {http://wotug.org/paperdb/show\_pap.php?f=1\&num=661}, timestamp = {Tue, 09 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/wotug/OguzBM12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wotug/PerrinsM12, author = {Neil J. Perrins and Alistair A. McEwan}, editor = {Peter H. Welch and Frederick R. M. Barnes and Kevin Chalmers and Jan B{\ae}kgaard Pedersen and Adam T. Sampson}, title = {{SEU} Protection for High-Reliability Flash File Systems}, booktitle = {34th Communicating Process Architectures, {CPA} 2012, organised under the auspices of WoTUG, Dundee, Scotland, UK, August 26, 2012}, pages = {219--220}, publisher = {Open Channel Publishing Ltd.}, year = {2012}, url = {http://wotug.org/paperdb/show\_pap.php?f=1\&num=679}, timestamp = {Tue, 09 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/wotug/PerrinsM12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wotug/Sampson12, author = {Adam T. Sampson}, editor = {Peter H. Welch and Frederick R. M. Barnes and Kevin Chalmers and Jan B{\ae}kgaard Pedersen and Adam T. Sampson}, title = {Process-Oriented Building Blocks}, booktitle = {34th Communicating Process Architectures, {CPA} 2012, organised under the auspices of WoTUG, Dundee, Scotland, UK, August 26, 2012}, pages = {215--216}, publisher = {Open Channel Publishing Ltd.}, year = {2012}, url = {http://wotug.org/paperdb/show\_pap.php?f=1\&num=673}, timestamp = {Tue, 09 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/wotug/Sampson12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wotug/Teig12, author = {{\O}yvind Teig}, editor = {Peter H. Welch and Frederick R. M. Barnes and Kevin Chalmers and Jan B{\ae}kgaard Pedersen and Adam T. Sampson}, title = {XCHANs: Notes on a New Channel Type}, booktitle = {34th Communicating Process Architectures, {CPA} 2012, organised under the auspices of WoTUG, Dundee, Scotland, UK, August 26, 2012}, pages = {155--170}, publisher = {Open Channel Publishing Ltd.}, year = {2012}, url = {http://wotug.org/paperdb/show\_pap.php?f=1\&num=668}, timestamp = {Tue, 09 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/wotug/Teig12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wotug/Welch12, author = {Peter H. Welch}, editor = {Peter H. Welch and Frederick R. M. Barnes and Kevin Chalmers and Jan B{\ae}kgaard Pedersen and Adam T. Sampson}, title = {occam Obviously}, booktitle = {34th Communicating Process Architectures, {CPA} 2012, organised under the auspices of WoTUG, Dundee, Scotland, UK, August 26, 2012}, pages = {213--214}, publisher = {Open Channel Publishing Ltd.}, year = {2012}, url = {http://wotug.org/paperdb/show\_pap.php?f=1\&num=676}, timestamp = {Tue, 09 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/wotug/Welch12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wotug/Welch12a, author = {Peter H. Welch}, editor = {Peter H. Welch and Frederick R. M. Barnes and Kevin Chalmers and Jan B{\ae}kgaard Pedersen and Adam T. Sampson}, title = {Cancellable Servers - a Pattern for Curiousity}, booktitle = {34th Communicating Process Architectures, {CPA} 2012, organised under the auspices of WoTUG, Dundee, Scotland, UK, August 26, 2012}, publisher = {Open Channel Publishing Ltd.}, year = {2012}, url = {http://wotug.org/paperdb/show\_pap.php?f=1\&num=672}, timestamp = {Tue, 09 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/wotug/Welch12a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wotug/Welch12b, author = {Peter H. Welch}, editor = {Peter H. Welch and Frederick R. M. Barnes and Kevin Chalmers and Jan B{\ae}kgaard Pedersen and Adam T. Sampson}, title = {Unfinished Business - occam-pi{\({^2}\)}}, booktitle = {34th Communicating Process Architectures, {CPA} 2012, organised under the auspices of WoTUG, Dundee, Scotland, UK, August 26, 2012}, publisher = {Open Channel Publishing Ltd.}, year = {2012}, url = {http://wotug.org/paperdb/show\_pap.php?f=1\&num=681}, timestamp = {Tue, 09 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/wotug/Welch12b.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wotug/WesterSKK12, author = {Rinse Wester and Dimitrios Sarakiotis and Eric Kooistra and Jan Kuper}, editor = {Peter H. Welch and Frederick R. M. Barnes and Kevin Chalmers and Jan B{\ae}kgaard Pedersen and Adam T. Sampson}, title = {Specification of {APERTIF} Polyphase Filter Bank in ClaSH}, booktitle = {34th Communicating Process Architectures, {CPA} 2012, organised under the auspices of WoTUG, Dundee, Scotland, UK, August 26, 2012}, pages = {53--64}, publisher = {Open Channel Publishing Ltd.}, year = {2012}, url = {http://wotug.org/paperdb/show\_pap.php?f=1\&num=665}, timestamp = {Tue, 09 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/wotug/WesterSKK12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wotug/Whitehead12, author = {James Whitehead II}, editor = {Peter H. Welch and Frederick R. M. Barnes and Kevin Chalmers and Jan B{\ae}kgaard Pedersen and Adam T. Sampson}, title = {Designing a Concurrent File Server}, booktitle = {34th Communicating Process Architectures, {CPA} 2012, organised under the auspices of WoTUG, Dundee, Scotland, UK, August 26, 2012}, pages = {1--14}, publisher = {Open Channel Publishing Ltd.}, year = {2012}, url = {http://wotug.org/paperdb/show\_pap.php?f=1\&num=671}, timestamp = {Tue, 09 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/wotug/Whitehead12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/wotug/2012, editor = {Peter H. Welch and Frederick R. M. Barnes and Kevin Chalmers and Jan B{\ae}kgaard Pedersen and Adam T. Sampson}, title = {34th Communicating Process Architectures, {CPA} 2012, organised under the auspices of WoTUG, Dundee, Scotland, UK, August 26, 2012}, publisher = {Open Channel Publishing Ltd.}, year = {2012}, url = {http://wotug.org/paperdb/show\_proc.php?f=1\&num=29}, isbn = {978-0-9565409-5-9}, timestamp = {Tue, 09 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/wotug/2012.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wotug/ArmstrongPSJ11, author = {Ian Armstrong and Michael Pirrone{-}Brusse and Anthony Smith and Matthew C. Jadud}, editor = {Peter H. Welch and Adam T. Sampson and Jan B{\ae}kgaard Pedersen and Jon M. Kerridge and Jan F. Broenink and Frederick R. M. Barnes}, title = {The Flying Gator: Towards Aerial Robotics in occam-{\(\pi\)}}, booktitle = {33th Communicating Process Architectures Conference, {CPA} 2011, organised under the auspices of WoTUG, Limerick, Ireland, June 19th, 2011}, series = {Concurrent Systems Engineering Series}, volume = {68}, pages = {329--340}, publisher = {{IOS} Press}, year = {2011}, url = {https://doi.org/10.3233/978-1-60750-774-1-329}, doi = {10.3233/978-1-60750-774-1-329}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/wotug/ArmstrongPSJ11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wotug/BezemerWB11, author = {Maarten M. Bezemer and Robert J. W. Wilterdink and Jan F. Broenink}, editor = {Peter H. Welch and Adam T. Sampson and Jan B{\ae}kgaard Pedersen and Jon M. Kerridge and Jan F. Broenink and Frederick R. M. Barnes}, title = {{LUNA:} Hard Real-Time, Multi-Threaded, CSP-Capable Execution Framework}, booktitle = {33th Communicating Process Architectures Conference, {CPA} 2011, organised under the auspices of WoTUG, Limerick, Ireland, June 19th, 2011}, series = {Concurrent Systems Engineering Series}, volume = {68}, pages = {157--175}, publisher = {{IOS} Press}, year = {2011}, url = {https://doi.org/10.3233/978-1-60750-774-1-157}, doi = {10.3233/978-1-60750-774-1-157}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/wotug/BezemerWB11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wotug/BonniciW11, author = {Eric Bonnici and Peter H. Welch}, editor = {Peter H. Welch and Adam T. Sampson and Jan B{\ae}kgaard Pedersen and Jon M. Kerridge and Jan F. Broenink and Frederick R. M. Barnes}, title = {Mobile Processes and Call Channels with Variant Interfaces (a Duality)}, booktitle = {33th Communicating Process Architectures Conference, {CPA} 2011, organised under the auspices of WoTUG, Limerick, Ireland, June 19th, 2011}, series = {Concurrent Systems Engineering Series}, volume = {68}, pages = {377}, publisher = {{IOS} Press}, year = {2011}, url = {https://doi.org/10.3233/978-1-60750-774-1-377}, doi = {10.3233/978-1-60750-774-1-377}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/wotug/BonniciW11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wotug/Chalmers11, author = {Kevin Chalmers}, editor = {Peter H. Welch and Adam T. Sampson and Jan B{\ae}kgaard Pedersen and Jon M. Kerridge and Jan F. Broenink and Frederick R. M. Barnes}, title = {Performance of the Distributed {CPA} Protocol and Architecture on Traditional Networks}, booktitle = {33th Communicating Process Architectures Conference, {CPA} 2011, organised under the auspices of WoTUG, Limerick, Ireland, June 19th, 2011}, series = {Concurrent Systems Engineering Series}, volume = {68}, pages = {227--242}, publisher = {{IOS} Press}, year = {2011}, url = {https://doi.org/10.3233/978-1-60750-774-1-227}, doi = {10.3233/978-1-60750-774-1-227}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/wotug/Chalmers11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wotug/ColeMS11, author = {Alex Cole and Alistair A. McEwan and Satnam Singh}, editor = {Peter H. Welch and Adam T. Sampson and Jan B{\ae}kgaard Pedersen and Jon M. Kerridge and Jan F. Broenink and Frederick R. M. Barnes}, title = {An Analysis of Programmer Productivity versus Performance for High Level Data Parallel Programming}, booktitle = {33th Communicating Process Architectures Conference, {CPA} 2011, organised under the auspices of WoTUG, Limerick, Ireland, June 19th, 2011}, series = {Concurrent Systems Engineering Series}, volume = {68}, pages = {111--130}, publisher = {{IOS} Press}, year = {2011}, url = {https://doi.org/10.3233/978-1-60750-774-1-111}, doi = {10.3233/978-1-60750-774-1-111}, timestamp = {Sat, 19 Oct 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/wotug/ColeMS11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wotug/FriborgV11, author = {Rune M{\o}llegaard Friborg and Brian Vinter}, editor = {Peter H. Welch and Adam T. Sampson and Jan B{\ae}kgaard Pedersen and Jon M. Kerridge and Jan F. Broenink and Frederick R. M. Barnes}, title = {Verification of a Dynamic Channel Model using the {SPIN} Model Checker}, booktitle = {33th Communicating Process Architectures Conference, {CPA} 2011, organised under the auspices of WoTUG, Limerick, Ireland, June 19th, 2011}, series = {Concurrent Systems Engineering Series}, volume = {68}, pages = {35--54}, publisher = {{IOS} Press}, year = {2011}, url = {https://doi.org/10.3233/978-1-60750-774-1-35}, doi = {10.3233/978-1-60750-774-1-35}, timestamp = {Wed, 04 Apr 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/wotug/FriborgV11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wotug/HanlonH11, author = {James W. Hanlon and Simon J. Hollis}, editor = {Peter H. Welch and Adam T. Sampson and Jan B{\ae}kgaard Pedersen and Jon M. Kerridge and Jan F. Broenink and Frederick R. M. Barnes}, title = {Fast Distributed Process Creation with the {XMOS} {XS1} Architecture}, booktitle = {33th Communicating Process Architectures Conference, {CPA} 2011, organised under the auspices of WoTUG, Limerick, Ireland, June 19th, 2011}, series = {Concurrent Systems Engineering Series}, volume = {68}, pages = {195--207}, publisher = {{IOS} Press}, year = {2011}, url = {https://doi.org/10.3233/978-1-60750-774-1-195}, doi = {10.3233/978-1-60750-774-1-195}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/wotug/HanlonH11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wotug/Huntbach11, author = {Matthew M. Huntbach}, editor = {Peter H. Welch and Adam T. Sampson and Jan B{\ae}kgaard Pedersen and Jon M. Kerridge and Jan F. Broenink and Frederick R. M. Barnes}, title = {A Model for Concurrency Using Single-Writer Single-Assignment Variables}, booktitle = {33th Communicating Process Architectures Conference, {CPA} 2011, organised under the auspices of WoTUG, Limerick, Ireland, June 19th, 2011}, series = {Concurrent Systems Engineering Series}, volume = {68}, pages = {255--272}, publisher = {{IOS} Press}, year = {2011}, url = {https://doi.org/10.3233/978-1-60750-774-1-255}, doi = {10.3233/978-1-60750-774-1-255}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/wotug/Huntbach11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wotug/Isobe11, author = {Yoshinao Isobe}, editor = {Peter H. Welch and Adam T. Sampson and Jan B{\ae}kgaard Pedersen and Jon M. Kerridge and Jan F. Broenink and Frederick R. M. Barnes}, title = {CONPASU-tool: {A} Concurrent Process Analysis Support Tool based on Symbolic Computation}, booktitle = {33th Communicating Process Architectures Conference, {CPA} 2011, organised under the auspices of WoTUG, Limerick, Ireland, June 19th, 2011}, series = {Concurrent Systems Engineering Series}, volume = {68}, pages = {341--362}, publisher = {{IOS} Press}, year = {2011}, url = {https://doi.org/10.3233/978-1-60750-774-1-341}, doi = {10.3233/978-1-60750-774-1-341}, timestamp = {Fri, 02 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/wotug/Isobe11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wotug/JacobsenJKS11, author = {Christian L. Jacobsen and Matthew C. Jadud and Omer Kilic and Adam T. Sampson}, editor = {Peter H. Welch and Adam T. Sampson and Jan B{\ae}kgaard Pedersen and Jon M. Kerridge and Jan F. Broenink and Frederick R. M. Barnes}, title = {Concurrent Event-driven Programming in occam-{\(\pi\)} for the Arduino}, booktitle = {33th Communicating Process Architectures Conference, {CPA} 2011, organised under the auspices of WoTUG, Limerick, Ireland, June 19th, 2011}, series = {Concurrent Systems Engineering Series}, volume = {68}, pages = {177--193}, publisher = {{IOS} Press}, year = {2011}, url = {https://doi.org/10.3233/978-1-60750-774-1-177}, doi = {10.3233/978-1-60750-774-1-177}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/wotug/JacobsenJKS11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wotug/Kerridge11, author = {Jon M. Kerridge}, editor = {Peter H. Welch and Adam T. Sampson and Jan B{\ae}kgaard Pedersen and Jon M. Kerridge and Jan F. Broenink and Frederick R. M. Barnes}, title = {Experiments in Multicore and Distributed Parallel Processing using {JCSP}}, booktitle = {33th Communicating Process Architectures Conference, {CPA} 2011, organised under the auspices of WoTUG, Limerick, Ireland, June 19th, 2011}, series = {Concurrent Systems Engineering Series}, volume = {68}, pages = {131--142}, publisher = {{IOS} Press}, year = {2011}, url = {https://doi.org/10.3233/978-1-60750-774-1-131}, doi = {10.3233/978-1-60750-774-1-131}, timestamp = {Sun, 25 Oct 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/wotug/Kerridge11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wotug/KorsgaardH11, author = {Martin Korsgaard and Sverre Hendseth}, editor = {Peter H. Welch and Adam T. Sampson and Jan B{\ae}kgaard Pedersen and Jon M. Kerridge and Jan F. Broenink and Frederick R. M. Barnes}, title = {The Computation Time Process Model}, booktitle = {33th Communicating Process Architectures Conference, {CPA} 2011, organised under the auspices of WoTUG, Limerick, Ireland, June 19th, 2011}, series = {Concurrent Systems Engineering Series}, volume = {68}, pages = {273--286}, publisher = {{IOS} Press}, year = {2011}, url = {https://doi.org/10.3233/978-1-60750-774-1-273}, doi = {10.3233/978-1-60750-774-1-273}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/wotug/KorsgaardH11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wotug/KosekSK11, author = {Anna Magdalena Kosek and Aly A. Syed and Jon M. Kerridge}, editor = {Peter H. Welch and Adam T. Sampson and Jan B{\ae}kgaard Pedersen and Jon M. Kerridge and Jan F. Broenink and Frederick R. M. Barnes}, title = {Evaluating an Emergent Behaviour Algorithm in {JCSP} for Energy Conservation in Lighting Systems}, booktitle = {33th Communicating Process Architectures Conference, {CPA} 2011, organised under the auspices of WoTUG, Limerick, Ireland, June 19th, 2011}, series = {Concurrent Systems Engineering Series}, volume = {68}, pages = {143--156}, publisher = {{IOS} Press}, year = {2011}, url = {https://doi.org/10.3233/978-1-60750-774-1-143}, doi = {10.3233/978-1-60750-774-1-143}, timestamp = {Sun, 25 Oct 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/wotug/KosekSK11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wotug/Lowe11, author = {Gavin Lowe}, editor = {Peter H. Welch and Adam T. Sampson and Jan B{\ae}kgaard Pedersen and Jon M. Kerridge and Jan F. Broenink and Frederick R. M. Barnes}, title = {Implementing Generalised Alt - {A} Case Study in Validated Design using {CSP}}, booktitle = {33th Communicating Process Architectures Conference, {CPA} 2011, organised under the auspices of WoTUG, Limerick, Ireland, June 19th, 2011}, series = {Concurrent Systems Engineering Series}, volume = {68}, pages = {1--34}, publisher = {{IOS} Press}, year = {2011}, url = {https://doi.org/10.3233/978-1-60750-774-1-1}, doi = {10.3233/978-1-60750-774-1-1}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/wotug/Lowe11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wotug/PedersenS11, author = {Jan B{\ae}kgaard Pedersen and Matthew Sowders}, editor = {Peter H. Welch and Adam T. Sampson and Jan B{\ae}kgaard Pedersen and Jon M. Kerridge and Jan F. Broenink and Frederick R. M. Barnes}, title = {Static Scoping and Name Resolution for Mobile Processes with Polymorphic Interfaces}, booktitle = {33th Communicating Process Architectures Conference, {CPA} 2011, organised under the auspices of WoTUG, Limerick, Ireland, June 19th, 2011}, series = {Concurrent Systems Engineering Series}, volume = {68}, pages = {71--85}, publisher = {{IOS} Press}, year = {2011}, url = {https://doi.org/10.3233/978-1-60750-774-1-71}, doi = {10.3233/978-1-60750-774-1-71}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/wotug/PedersenS11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wotug/PossoSST11, author = {Jeremy C. Posso and Adam T. Sampson and Jonathan Simpson and Jon Timmis}, editor = {Peter H. Welch and Adam T. Sampson and Jan B{\ae}kgaard Pedersen and Jon M. Kerridge and Jan F. Broenink and Frederick R. M. Barnes}, title = {Process-Oriented Subsumption Architectures in Swarm Robotic Systems}, booktitle = {33th Communicating Process Architectures Conference, {CPA} 2011, organised under the auspices of WoTUG, Limerick, Ireland, June 19th, 2011}, series = {Concurrent Systems Engineering Series}, volume = {68}, pages = {303--316}, publisher = {{IOS} Press}, year = {2011}, url = {https://doi.org/10.3233/978-1-60750-774-1-303}, doi = {10.3233/978-1-60750-774-1-303}, timestamp = {Fri, 02 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/wotug/PossoSST11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wotug/RitsonAS11, author = {Carl G. Ritson and Paul S. Andrews and Adam T. Sampson}, editor = {Peter H. Welch and Adam T. Sampson and Jan B{\ae}kgaard Pedersen and Jon M. Kerridge and Jan F. Broenink and Frederick R. M. Barnes}, title = {Object Store Based Simulation Interworking}, booktitle = {33th Communicating Process Architectures Conference, {CPA} 2011, organised under the auspices of WoTUG, Limerick, Ireland, June 19th, 2011}, series = {Concurrent Systems Engineering Series}, volume = {68}, pages = {243--253}, publisher = {{IOS} Press}, year = {2011}, url = {https://doi.org/10.3233/978-1-60750-774-1-243}, doi = {10.3233/978-1-60750-774-1-243}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/wotug/RitsonAS11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wotug/SaifhashemiB11, author = {Arash Saifhashemi and Peter A. Beerel}, editor = {Peter H. Welch and Adam T. Sampson and Jan B{\ae}kgaard Pedersen and Jon M. Kerridge and Jan F. Broenink and Frederick R. M. Barnes}, title = {SystemVerilogCSP: Modeling Digital Asynchronous Circuits Using SystemVerilog Interfaces}, booktitle = {33th Communicating Process Architectures Conference, {CPA} 2011, organised under the auspices of WoTUG, Limerick, Ireland, June 19th, 2011}, series = {Concurrent Systems Engineering Series}, volume = {68}, pages = {287--302}, publisher = {{IOS} Press}, year = {2011}, url = {https://doi.org/10.3233/978-1-60750-774-1-287}, doi = {10.3233/978-1-60750-774-1-287}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/wotug/SaifhashemiB11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wotug/SkovhedeLV11, author = {Kenneth Skovhede and Morten N. Larsen and Brian Vinter}, editor = {Peter H. Welch and Adam T. Sampson and Jan B{\ae}kgaard Pedersen and Jon M. Kerridge and Jan F. Broenink and Frederick R. M. Barnes}, title = {Programming the {CELL-BE} using {CSP}}, booktitle = {33th Communicating Process Architectures Conference, {CPA} 2011, organised under the auspices of WoTUG, Limerick, Ireland, June 19th, 2011}, series = {Concurrent Systems Engineering Series}, volume = {68}, pages = {55--70}, publisher = {{IOS} Press}, year = {2011}, url = {https://doi.org/10.3233/978-1-60750-774-1-55}, doi = {10.3233/978-1-60750-774-1-55}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/wotug/SkovhedeLV11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wotug/SlipperM11, author = {Dan Slipper and Alistair A. McEwan}, editor = {Peter H. Welch and Adam T. Sampson and Jan B{\ae}kgaard Pedersen and Jon M. Kerridge and Jan F. Broenink and Frederick R. M. Barnes}, title = {A Systems Re-engineering Case Study: Programming Robots with occam and Handel-C}, booktitle = {33th Communicating Process Architectures Conference, {CPA} 2011, organised under the auspices of WoTUG, Limerick, Ireland, June 19th, 2011}, series = {Concurrent Systems Engineering Series}, volume = {68}, pages = {317--327}, publisher = {{IOS} Press}, year = {2011}, url = {https://doi.org/10.3233/978-1-60750-774-1-317}, doi = {10.3233/978-1-60750-774-1-317}, timestamp = {Sat, 19 Oct 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/wotug/SlipperM11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wotug/Warren11, author = {Douglas N. Warren}, editor = {Peter H. Welch and Adam T. Sampson and Jan B{\ae}kgaard Pedersen and Jon M. Kerridge and Jan F. Broenink and Frederick R. M. Barnes}, title = {Prioritised Choice over Multiway Synchronisation}, booktitle = {33th Communicating Process Architectures Conference, {CPA} 2011, organised under the auspices of WoTUG, Limerick, Ireland, June 19th, 2011}, series = {Concurrent Systems Engineering Series}, volume = {68}, pages = {87--110}, publisher = {{IOS} Press}, year = {2011}, url = {https://doi.org/10.3233/978-1-60750-774-1-87}, doi = {10.3233/978-1-60750-774-1-87}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/wotug/Warren11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wotug/WelchPBRB11, author = {Peter H. Welch and Jan B{\ae}kgaard Pedersen and Fred R. M. Barnes and Carl G. Ritson and Neil C. C. Brown}, editor = {Peter H. Welch and Adam T. Sampson and Jan B{\ae}kgaard Pedersen and Jon M. Kerridge and Jan F. Broenink and Frederick R. M. Barnes}, title = {Adding Formal Verification to occam-{\(\pi\)}}, booktitle = {33th Communicating Process Architectures Conference, {CPA} 2011, organised under the auspices of WoTUG, Limerick, Ireland, June 19th, 2011}, series = {Concurrent Systems Engineering Series}, volume = {68}, pages = {379}, publisher = {{IOS} Press}, year = {2011}, url = {https://doi.org/10.3233/978-1-60750-774-1-379}, doi = {10.3233/978-1-60750-774-1-379}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/wotug/WelchPBRB11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wotug/Whitehead11, author = {James Whitehead II}, editor = {Peter H. Welch and Adam T. Sampson and Jan B{\ae}kgaard Pedersen and Jon M. Kerridge and Jan F. Broenink and Frederick R. M. Barnes}, title = {Serving Web Content with Dynamic Process Networks in Go}, booktitle = {33th Communicating Process Architectures Conference, {CPA} 2011, organised under the auspices of WoTUG, Limerick, Ireland, June 19th, 2011}, series = {Concurrent Systems Engineering Series}, volume = {68}, pages = {209--226}, publisher = {{IOS} Press}, year = {2011}, url = {https://doi.org/10.3233/978-1-60750-774-1-209}, doi = {10.3233/978-1-60750-774-1-209}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/wotug/Whitehead11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wotug/YamakawaOF11, author = {Takeshi Yamakawa and Tsuneki Ohashi and Chikara Fukunaga}, editor = {Peter H. Welch and Adam T. Sampson and Jan B{\ae}kgaard Pedersen and Jon M. Kerridge and Jan F. Broenink and Frederick R. M. Barnes}, title = {Development of an ML-based Verification Tool for Timed {CSP} Processes}, booktitle = {33th Communicating Process Architectures Conference, {CPA} 2011, organised under the auspices of WoTUG, Limerick, Ireland, June 19th, 2011}, series = {Concurrent Systems Engineering Series}, volume = {68}, pages = {363--375}, publisher = {{IOS} Press}, year = {2011}, url = {https://doi.org/10.3233/978-1-60750-774-1-363}, doi = {10.3233/978-1-60750-774-1-363}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/wotug/YamakawaOF11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/wotug/2011, editor = {Peter H. Welch and Adam T. Sampson and Jan B{\ae}kgaard Pedersen and Jon M. Kerridge and Jan F. Broenink and Frederick R. M. Barnes}, title = {33th Communicating Process Architectures Conference, {CPA} 2011, organised under the auspices of WoTUG, Limerick, Ireland, June 19th, 2011}, series = {Concurrent Systems Engineering Series}, volume = {68}, publisher = {{IOS} Press}, year = {2011}, url = {http://www.booksonline.iospress.nl/Content/View.aspx?piid=19804}, isbn = {978-1-60750-773-4}, timestamp = {Fri, 23 Mar 2012 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/wotug/2011.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wotug/Barnes09, author = {Frederick R. M. Barnes}, editor = {Peter H. Welch and Herman W. Roebbers and Jan F. Broenink and Fred R. M. Barnes and Carl G. Ritson and Adam T. Sampson and Gardiner S. Stiles and Brian Vinter}, title = {Mobile Escape Analysis for occam-pi}, booktitle = {The thirty-second Communicating Process Architectures Conference, {CPA} 2009, organised under the auspices of WoTUG, Eindhoven, The Netherlands, 1-6 November 2009}, series = {Concurrent Systems Engineering Series}, volume = {67}, pages = {117--134}, publisher = {{IOS} Press}, year = {2009}, url = {https://doi.org/10.3233/978-1-60750-065-0-117}, doi = {10.3233/978-1-60750-065-0-117}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/wotug/Barnes09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wotug/BezemerGB09, author = {Maarten M. Bezemer and Marcel A. Groothuis and Jan F. Broenink}, editor = {Peter H. Welch and Herman W. Roebbers and Jan F. Broenink and Fred R. M. Barnes and Carl G. Ritson and Adam T. Sampson and Gardiner S. Stiles and Brian Vinter}, title = {Analysing gCSP Models Using Runtime and Model Analysis Algorithms}, booktitle = {The thirty-second Communicating Process Architectures Conference, {CPA} 2009, organised under the auspices of WoTUG, Eindhoven, The Netherlands, 1-6 November 2009}, series = {Concurrent Systems Engineering Series}, volume = {67}, pages = {67--88}, publisher = {{IOS} Press}, year = {2009}, url = {https://doi.org/10.3233/978-1-60750-065-0-67}, doi = {10.3233/978-1-60750-065-0-67}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/wotug/BezemerGB09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wotug/BialkiewiczP09, author = {Jo{\"{e}}l{-}Alexis Bialkiewicz and Fr{\'{e}}d{\'{e}}ric Peschanski}, editor = {Peter H. Welch and Herman W. Roebbers and Jan F. Broenink and Fred R. M. Barnes and Carl G. Ritson and Adam T. Sampson and Gardiner S. Stiles and Brian Vinter}, title = {A Denotational Study of Mobility}, booktitle = {The thirty-second Communicating Process Architectures Conference, {CPA} 2009, organised under the auspices of WoTUG, Eindhoven, The Netherlands, 1-6 November 2009}, series = {Concurrent Systems Engineering Series}, volume = {67}, pages = {239--261}, publisher = {{IOS} Press}, year = {2009}, url = {https://doi.org/10.3233/978-1-60750-065-0-239}, doi = {10.3233/978-1-60750-065-0-239}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/wotug/BialkiewiczP09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wotug/Brown09, author = {Neil C. C. Brown}, editor = {Peter H. Welch and Herman W. Roebbers and Jan F. Broenink and Fred R. M. Barnes and Carl G. Ritson and Adam T. Sampson and Gardiner S. Stiles and Brian Vinter}, title = {Auto-Mobiles: Optimised Message-Passing}, booktitle = {The thirty-second Communicating Process Architectures Conference, {CPA} 2009, organised under the auspices of WoTUG, Eindhoven, The Netherlands, 1-6 November 2009}, series = {Concurrent Systems Engineering Series}, volume = {67}, pages = {225--238}, publisher = {{IOS} Press}, year = {2009}, url = {https://doi.org/10.3233/978-1-60750-065-0-225}, doi = {10.3233/978-1-60750-065-0-225}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/wotug/Brown09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wotug/BrownS09, author = {Neil C. C. Brown and Marc L. Smith}, editor = {Peter H. Welch and Herman W. Roebbers and Jan F. Broenink and Fred R. M. Barnes and Carl G. Ritson and Adam T. Sampson and Gardiner S. Stiles and Brian Vinter}, title = {Relating and Visualising CSP, {VCR} and Structural Traces}, booktitle = {The thirty-second Communicating Process Architectures Conference, {CPA} 2009, organised under the auspices of WoTUG, Eindhoven, The Netherlands, 1-6 November 2009}, series = {Concurrent Systems Engineering Series}, volume = {67}, pages = {89--103}, publisher = {{IOS} Press}, year = {2009}, url = {https://doi.org/10.3233/978-1-60750-065-0-89}, doi = {10.3233/978-1-60750-065-0-89}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/wotug/BrownS09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wotug/ChalmersK09, author = {Kevin Chalmers and Jon M. Kerridge}, editor = {Peter H. Welch and Herman W. Roebbers and Jan F. Broenink and Fred R. M. Barnes and Carl G. Ritson and Adam T. Sampson and Gardiner S. Stiles and Brian Vinter}, title = {An Investigation into Distributed Channel Mobility Support for Communicating Process Architectures}, booktitle = {The thirty-second Communicating Process Architectures Conference, {CPA} 2009, organised under the auspices of WoTUG, Eindhoven, The Netherlands, 1-6 November 2009}, series = {Concurrent Systems Engineering Series}, volume = {67}, pages = {205--223}, publisher = {{IOS} Press}, year = {2009}, url = {https://doi.org/10.3233/978-1-60750-065-0-205}, doi = {10.3233/978-1-60750-065-0-205}, timestamp = {Sun, 25 Oct 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/wotug/ChalmersK09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wotug/ClaytonUK09, author = {Sarah Clayton and Neil Urquhart and Jon M. Kerridge}, editor = {Peter H. Welch and Herman W. Roebbers and Jan F. Broenink and Fred R. M. Barnes and Carl G. Ritson and Adam T. Sampson and Gardiner S. Stiles and Brian Vinter}, title = {An Application of CoSMoS Design Methods to Pedestrian Simulation}, booktitle = {The thirty-second Communicating Process Architectures Conference, {CPA} 2009, organised under the auspices of WoTUG, Eindhoven, The Netherlands, 1-6 November 2009}, series = {Concurrent Systems Engineering Series}, volume = {67}, pages = {197--204}, publisher = {{IOS} Press}, year = {2009}, url = {https://doi.org/10.3233/978-1-60750-065-0-197}, doi = {10.3233/978-1-60750-065-0-197}, timestamp = {Sun, 25 Oct 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/wotug/ClaytonUK09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wotug/FriborgBV09, author = {Rune M{\o}llegaard Friborg and John Markus Bj{\o}rndalen and Brian Vinter}, editor = {Peter H. Welch and Herman W. Roebbers and Jan F. Broenink and Fred R. M. Barnes and Carl G. Ritson and Adam T. Sampson and Gardiner S. Stiles and Brian Vinter}, title = {Three Unique Implementations of Processes for PyCSP}, booktitle = {The thirty-second Communicating Process Architectures Conference, {CPA} 2009, organised under the auspices of WoTUG, Eindhoven, The Netherlands, 1-6 November 2009}, series = {Concurrent Systems Engineering Series}, volume = {67}, pages = {277--292}, publisher = {{IOS} Press}, year = {2009}, url = {https://doi.org/10.3233/978-1-60750-065-0-277}, doi = {10.3233/978-1-60750-065-0-277}, timestamp = {Wed, 04 Apr 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/wotug/FriborgBV09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wotug/Goldsmith09, author = {Michael Goldsmith}, editor = {Peter H. Welch and Herman W. Roebbers and Jan F. Broenink and Fred R. M. Barnes and Carl G. Ritson and Adam T. Sampson and Gardiner S. Stiles and Brian Vinter}, title = {Beyond Mobility : What Next After CSP/pi?}, booktitle = {The thirty-second Communicating Process Architectures Conference, {CPA} 2009, organised under the auspices of WoTUG, Eindhoven, The Netherlands, 1-6 November 2009}, series = {Concurrent Systems Engineering Series}, volume = {67}, pages = {1--6}, publisher = {{IOS} Press}, year = {2009}, url = {https://doi.org/10.3233/978-1-60750-065-0-1}, doi = {10.3233/978-1-60750-065-0-1}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/wotug/Goldsmith09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wotug/GroothuisB09, author = {Marcel A. Groothuis and Jan F. Broenink}, editor = {Peter H. Welch and Herman W. Roebbers and Jan F. Broenink and Fred R. M. Barnes and Carl G. Ritson and Adam T. Sampson and Gardiner S. Stiles and Brian Vinter}, title = {{HW/SW} Design Space Exploration on the Production Cell Setup}, booktitle = {The thirty-second Communicating Process Architectures Conference, {CPA} 2009, organised under the auspices of WoTUG, Eindhoven, The Netherlands, 1-6 November 2009}, series = {Concurrent Systems Engineering Series}, volume = {67}, pages = {387--402}, publisher = {{IOS} Press}, year = {2009}, url = {https://doi.org/10.3233/978-1-60750-065-0-387}, doi = {10.3233/978-1-60750-065-0-387}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/wotug/GroothuisB09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wotug/KlompRDB09, author = {Arjen Klomp and Herman W. Roebbers and Ruud Derwig and Leon Bouwmeester}, editor = {Peter H. Welch and Herman W. Roebbers and Jan F. Broenink and Fred R. M. Barnes and Carl G. Ritson and Adam T. Sampson and Gardiner S. Stiles and Brian Vinter}, title = {Designing a Mathematically Verified I\({}^{\mbox{2}}\)C Device Driver Using {ASD}}, booktitle = {The thirty-second Communicating Process Architectures Conference, {CPA} 2009, organised under the auspices of WoTUG, Eindhoven, The Netherlands, 1-6 November 2009}, series = {Concurrent Systems Engineering Series}, volume = {67}, pages = {105--116}, publisher = {{IOS} Press}, year = {2009}, url = {https://doi.org/10.3233/978-1-60750-065-0-105}, doi = {10.3233/978-1-60750-065-0-105}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/wotug/KlompRDB09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wotug/KorsgaardH09, author = {Martin Korsgaard and Sverre Hendseth}, editor = {Peter H. Welch and Herman W. Roebbers and Jan F. Broenink and Fred R. M. Barnes and Carl G. Ritson and Adam T. Sampson and Gardiner S. Stiles and Brian Vinter}, title = {Design Patterns for Communicating Systems with Deadline Propagation}, booktitle = {The thirty-second Communicating Process Architectures Conference, {CPA} 2009, organised under the auspices of WoTUG, Eindhoven, The Netherlands, 1-6 November 2009}, series = {Concurrent Systems Engineering Series}, volume = {67}, pages = {349--361}, publisher = {{IOS} Press}, year = {2009}, url = {https://doi.org/10.3233/978-1-60750-065-0-349}, doi = {10.3233/978-1-60750-065-0-349}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/wotug/KorsgaardH09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wotug/KosekKSA09, author = {Anna Magdalena Kosek and Jon M. Kerridge and Aly A. Syed and Alistair Armitage}, editor = {Peter H. Welch and Herman W. Roebbers and Jan F. Broenink and Fred R. M. Barnes and Carl G. Ritson and Adam T. Sampson and Gardiner S. Stiles and Brian Vinter}, title = {{JCSP} Agents-Based Service Discovery for Pervasive Computing}, booktitle = {The thirty-second Communicating Process Architectures Conference, {CPA} 2009, organised under the auspices of WoTUG, Eindhoven, The Netherlands, 1-6 November 2009}, series = {Concurrent Systems Engineering Series}, volume = {67}, pages = {363--373}, publisher = {{IOS} Press}, year = {2009}, url = {https://doi.org/10.3233/978-1-60750-065-0-363}, doi = {10.3233/978-1-60750-065-0-363}, timestamp = {Sun, 25 Oct 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/wotug/KosekKSA09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wotug/Lowe09, author = {Gavin Lowe}, editor = {Peter H. Welch and Herman W. Roebbers and Jan F. Broenink and Fred R. M. Barnes and Carl G. Ritson and Adam T. Sampson and Gardiner S. Stiles and Brian Vinter}, title = {Extending {CSP} with Tests for Availability}, booktitle = {The thirty-second Communicating Process Architectures Conference, {CPA} 2009, organised under the auspices of WoTUG, Eindhoven, The Netherlands, 1-6 November 2009}, series = {Concurrent Systems Engineering Series}, volume = {67}, pages = {325--347}, publisher = {{IOS} Press}, year = {2009}, url = {https://doi.org/10.3233/978-1-60750-065-0-325}, doi = {10.3233/978-1-60750-065-0-325}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/wotug/Lowe09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wotug/MartinBTBDW09, author = {Jeremy M. R. Martin and Steven J. Barrett and Simon J. Thornber and Silviu{-}Alin Bacanu and Dale Dunlap and Steve Weston}, editor = {Peter H. Welch and Herman W. Roebbers and Jan F. Broenink and Fred R. M. Barnes and Carl G. Ritson and Adam T. Sampson and Gardiner S. Stiles and Brian Vinter}, title = {Economics of Cloud Computing: a Statistical Genetics Case Study}, booktitle = {The thirty-second Communicating Process Architectures Conference, {CPA} 2009, organised under the auspices of WoTUG, Eindhoven, The Netherlands, 1-6 November 2009}, series = {Concurrent Systems Engineering Series}, volume = {67}, pages = {185--195}, publisher = {{IOS} Press}, year = {2009}, url = {https://doi.org/10.3233/978-1-60750-065-0-185}, doi = {10.3233/978-1-60750-065-0-185}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/wotug/MartinBTBDW09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wotug/MeulenP09, author = {Jos{\'{e}} Vander Meulen and Charles Pecheur}, editor = {Peter H. Welch and Herman W. Roebbers and Jan F. Broenink and Fred R. M. Barnes and Carl G. Ritson and Adam T. Sampson and Gardiner S. Stiles and Brian Vinter}, title = {Combining Partial Order Reduction with Bounded Model Checking}, booktitle = {The thirty-second Communicating Process Architectures Conference, {CPA} 2009, organised under the auspices of WoTUG, Eindhoven, The Netherlands, 1-6 November 2009}, series = {Concurrent Systems Engineering Series}, volume = {67}, pages = {29--48}, publisher = {{IOS} Press}, year = {2009}, url = {https://doi.org/10.3233/978-1-60750-065-0-29}, doi = {10.3233/978-1-60750-065-0-29}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/wotug/MeulenP09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wotug/MountHWN09, author = {Sarah Mount and Mohammad Hammoudeh and Sam Wilson and Robert M. Newman}, editor = {Peter H. Welch and Herman W. Roebbers and Jan F. Broenink and Fred R. M. Barnes and Carl G. Ritson and Adam T. Sampson and Gardiner S. Stiles and Brian Vinter}, title = {{CSP} as a Domain-Specific Language Embedded in Python and Jython}, booktitle = {The thirty-second Communicating Process Architectures Conference, {CPA} 2009, organised under the auspices of WoTUG, Eindhoven, The Netherlands, 1-6 November 2009}, series = {Concurrent Systems Engineering Series}, volume = {67}, pages = {293--309}, publisher = {{IOS} Press}, year = {2009}, url = {https://doi.org/10.3233/978-1-60750-065-0-293}, doi = {10.3233/978-1-60750-065-0-293}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/wotug/MountHWN09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wotug/Murakami09, author = {Masaki Murakami}, editor = {Peter H. Welch and Herman W. Roebbers and Jan F. Broenink and Fred R. M. Barnes and Carl G. Ritson and Adam T. Sampson and Gardiner S. Stiles and Brian Vinter}, title = {On Congruence Property of Scope Equivalence for Concurrent Programs with Higher-Order Communication}, booktitle = {The thirty-second Communicating Process Architectures Conference, {CPA} 2009, organised under the auspices of WoTUG, Eindhoven, The Netherlands, 1-6 November 2009}, series = {Concurrent Systems Engineering Series}, volume = {67}, pages = {49--66}, publisher = {{IOS} Press}, year = {2009}, url = {https://doi.org/10.3233/978-1-60750-065-0-49}, doi = {10.3233/978-1-60750-065-0-49}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/wotug/Murakami09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wotug/PedersenK09, author = {Jan B{\ae}kgaard Pedersen and Brian Kauke}, editor = {Peter H. Welch and Herman W. Roebbers and Jan F. Broenink and Fred R. M. Barnes and Carl G. Ritson and Adam T. Sampson and Gardiner S. Stiles and Brian Vinter}, title = {Resumable Java Bytecode - Process Mobility for the {JVM}}, booktitle = {The thirty-second Communicating Process Architectures Conference, {CPA} 2009, organised under the auspices of WoTUG, Eindhoven, The Netherlands, 1-6 November 2009}, series = {Concurrent Systems Engineering Series}, volume = {67}, pages = {159--172}, publisher = {{IOS} Press}, year = {2009}, url = {https://doi.org/10.3233/978-1-60750-065-0-159}, doi = {10.3233/978-1-60750-065-0-159}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/wotug/PedersenK09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wotug/Ritson09, author = {Carl G. Ritson}, editor = {Peter H. Welch and Herman W. Roebbers and Jan F. Broenink and Fred R. M. Barnes and Carl G. Ritson and Adam T. Sampson and Gardiner S. Stiles and Brian Vinter}, title = {Translating {ETC} to {LLVM} Assembly}, booktitle = {The thirty-second Communicating Process Architectures Conference, {CPA} 2009, organised under the auspices of WoTUG, Eindhoven, The Netherlands, 1-6 November 2009}, series = {Concurrent Systems Engineering Series}, volume = {67}, pages = {145--158}, publisher = {{IOS} Press}, year = {2009}, url = {https://doi.org/10.3233/978-1-60750-065-0-145}, doi = {10.3233/978-1-60750-065-0-145}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/wotug/Ritson09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wotug/SimpsonR09, author = {Jonathan Simpson and Carl G. Ritson}, editor = {Peter H. Welch and Herman W. Roebbers and Jan F. Broenink and Fred R. M. Barnes and Carl G. Ritson and Adam T. Sampson and Gardiner S. Stiles and Brian Vinter}, title = {Toward Process Architectures for Behavioural Robotics}, booktitle = {The thirty-second Communicating Process Architectures Conference, {CPA} 2009, organised under the auspices of WoTUG, Eindhoven, The Netherlands, 1-6 November 2009}, series = {Concurrent Systems Engineering Series}, volume = {67}, pages = {375--386}, publisher = {{IOS} Press}, year = {2009}, url = {https://doi.org/10.3233/978-1-60750-065-0-375}, doi = {10.3233/978-1-60750-065-0-375}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/wotug/SimpsonR09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wotug/SputhFVM09, author = {Bernhard H. C. Sputh and Oliver Faust and Eric Verhulst and Vitaliy Mezhuyev}, editor = {Peter H. Welch and Herman W. Roebbers and Jan F. Broenink and Fred R. M. Barnes and Carl G. Ritson and Adam T. Sampson and Gardiner S. Stiles and Brian Vinter}, title = {OpenComRTOS: {A} Runtime Environment for Interacting Entities}, booktitle = {The thirty-second Communicating Process Architectures Conference, {CPA} 2009, organised under the auspices of WoTUG, Eindhoven, The Netherlands, 1-6 November 2009}, series = {Concurrent Systems Engineering Series}, volume = {67}, pages = {173--184}, publisher = {{IOS} Press}, year = {2009}, url = {https://doi.org/10.3233/978-1-60750-065-0-173}, doi = {10.3233/978-1-60750-065-0-173}, timestamp = {Sat, 05 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/wotug/SputhFVM09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wotug/TeigV09, author = {{\O}yvind Teig and Per Johan Vannebo}, editor = {Peter H. Welch and Herman W. Roebbers and Jan F. Broenink and Fred R. M. Barnes and Carl G. Ritson and Adam T. Sampson and Gardiner S. Stiles and Brian Vinter}, title = {New {ALT} for Application Timers and Synchronisation Point Scheduling (Two excerpts from a small channel based scheduler)}, booktitle = {The thirty-second Communicating Process Architectures Conference, {CPA} 2009, organised under the auspices of WoTUG, Eindhoven, The Netherlands, 1-6 November 2009}, series = {Concurrent Systems Engineering Series}, volume = {67}, pages = {135--144}, publisher = {{IOS} Press}, year = {2009}, url = {https://doi.org/10.3233/978-1-60750-065-0-135}, doi = {10.3233/978-1-60750-065-0-135}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/wotug/TeigV09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wotug/TorshiziOPC09, author = {Faraz Ahmadi Torshizi and Jonathan S. Ostroff and Richard F. Paige and Marsha Chechik}, editor = {Peter H. Welch and Herman W. Roebbers and Jan F. Broenink and Fred R. M. Barnes and Carl G. Ritson and Adam T. Sampson and Gardiner S. Stiles and Brian Vinter}, title = {The {SCOOP} Concurrency Model in Java-like Languages}, booktitle = {The thirty-second Communicating Process Architectures Conference, {CPA} 2009, organised under the auspices of WoTUG, Eindhoven, The Netherlands, 1-6 November 2009}, series = {Concurrent Systems Engineering Series}, volume = {67}, pages = {7--27}, publisher = {{IOS} Press}, year = {2009}, url = {https://doi.org/10.3233/978-1-60750-065-0-7}, doi = {10.3233/978-1-60750-065-0-7}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/wotug/TorshiziOPC09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wotug/TristramB09, author = {Waide B. Tristram and Karen L. Bradshaw}, editor = {Peter H. Welch and Herman W. Roebbers and Jan F. Broenink and Fred R. M. Barnes and Carl G. Ritson and Adam T. Sampson and Gardiner S. Stiles and Brian Vinter}, title = {Hydra: {A} Python Framework for Parallel Computing}, booktitle = {The thirty-second Communicating Process Architectures Conference, {CPA} 2009, organised under the auspices of WoTUG, Eindhoven, The Netherlands, 1-6 November 2009}, series = {Concurrent Systems Engineering Series}, volume = {67}, pages = {311--324}, publisher = {{IOS} Press}, year = {2009}, url = {https://doi.org/10.3233/978-1-60750-065-0-311}, doi = {10.3233/978-1-60750-065-0-311}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/wotug/TristramB09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wotug/VinterBF09, author = {Brian Vinter and John Markus Bj{\o}rndalen and Rune M{\o}llegaard Friborg}, editor = {Peter H. Welch and Herman W. Roebbers and Jan F. Broenink and Fred R. M. Barnes and Carl G. Ritson and Adam T. Sampson and Gardiner S. Stiles and Brian Vinter}, title = {PyCSP Revisited}, booktitle = {The thirty-second Communicating Process Architectures Conference, {CPA} 2009, organised under the auspices of WoTUG, Eindhoven, The Netherlands, 1-6 November 2009}, series = {Concurrent Systems Engineering Series}, volume = {67}, pages = {263--276}, publisher = {{IOS} Press}, year = {2009}, url = {https://doi.org/10.3233/978-1-60750-065-0-263}, doi = {10.3233/978-1-60750-065-0-263}, timestamp = {Wed, 04 Apr 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/wotug/VinterBF09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wotug/WelchWK09, author = {Peter H. Welch and Kurt C. Wallnau and Mark Klein}, editor = {Peter H. Welch and Herman W. Roebbers and Jan F. Broenink and Fred R. M. Barnes and Carl G. Ritson and Adam T. Sampson and Gardiner S. Stiles and Brian Vinter}, title = {Engineering Emergence: an occam-pi Adventure}, booktitle = {The thirty-second Communicating Process Architectures Conference, {CPA} 2009, organised under the auspices of WoTUG, Eindhoven, The Netherlands, 1-6 November 2009}, series = {Concurrent Systems Engineering Series}, volume = {67}, pages = {403}, publisher = {{IOS} Press}, year = {2009}, url = {https://doi.org/10.3233/978-1-60750-065-0-403}, doi = {10.3233/978-1-60750-065-0-403}, timestamp = {Tue, 04 Jun 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/wotug/WelchWK09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/wotug/2009, editor = {Peter H. Welch and Herman W. Roebbers and Jan F. Broenink and Fred R. M. Barnes and Carl G. Ritson and Adam T. Sampson and Gardiner S. Stiles and Brian Vinter}, title = {The thirty-second Communicating Process Architectures Conference, {CPA} 2009, organised under the auspices of WoTUG, Eindhoven, The Netherlands, 1-6 November 2009}, series = {Concurrent Systems Engineering Series}, volume = {67}, publisher = {{IOS} Press}, year = {2009}, url = {http://www.booksonline.iospress.nl/Content/View.aspx?piid=14073}, isbn = {978-1-60750-065-0}, timestamp = {Tue, 19 Nov 2013 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/wotug/2009.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wotug/Abramsky08, author = {Samson Abramsky}, editor = {Peter H. Welch and Susan Stepney and Fiona Polack and Fred R. M. Barnes and Alistair A. McEwan and Gardiner S. Stiles and Jan F. Broenink and Adam T. Sampson}, title = {Types, Orthogonality and Genericity: Some Tools for Communicating Process Architectures}, booktitle = {The thirty-first Communicating Process Architectures Conference, {CPA} 2008, organised under the auspices of WoTUG and the Department of Computer Science of the University of York, York, Yorkshire, UK, 7-10 September 2008}, series = {Concurrent Systems Engineering Series}, volume = {66}, pages = {1--13}, publisher = {{IOS} Press}, year = {2008}, url = {https://doi.org/10.3233/978-1-58603-907-3-1}, doi = {10.3233/978-1-58603-907-3-1}, timestamp = {Mon, 05 Jun 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/wotug/Abramsky08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wotug/AthaidePA08, author = {Keith Florence Athaide and Michael J. Pont and Devaraj Ayavoo}, editor = {Peter H. Welch and Susan Stepney and Fiona Polack and Fred R. M. Barnes and Alistair A. McEwan and Gardiner S. Stiles and Jan F. Broenink and Adam T. Sampson}, title = {Shared-Clock Methodology for Time-Triggered Multi-Cores}, booktitle = {The thirty-first Communicating Process Architectures Conference, {CPA} 2008, organised under the auspices of WoTUG and the Department of Computer Science of the University of York, York, Yorkshire, UK, 7-10 September 2008}, series = {Concurrent Systems Engineering Series}, volume = {66}, pages = {149--162}, publisher = {{IOS} Press}, year = {2008}, url = {https://doi.org/10.3233/978-1-58603-907-3-149}, doi = {10.3233/978-1-58603-907-3-149}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/wotug/AthaidePA08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wotug/BadbanFP08, author = {Bahareh Badban and Wan J. Fokkink and Jaco van de Pol}, editor = {Peter H. Welch and Susan Stepney and Fiona Polack and Fred R. M. Barnes and Alistair A. McEwan and Gardiner S. Stiles and Jan F. Broenink and Adam T. Sampson}, title = {Mechanical Verification of a Two-Way Sliding Window Protocol}, booktitle = {The thirty-first Communicating Process Architectures Conference, {CPA} 2008, organised under the auspices of WoTUG and the Department of Computer Science of the University of York, York, Yorkshire, UK, 7-10 September 2008}, series = {Concurrent Systems Engineering Series}, volume = {66}, pages = {179--202}, publisher = {{IOS} Press}, year = {2008}, url = {https://doi.org/10.3233/978-1-58603-907-3-179}, doi = {10.3233/978-1-58603-907-3-179}, timestamp = {Mon, 18 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/wotug/BadbanFP08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wotug/BjorndalenS08, author = {John Markus Bj{\o}rndalen and Adam T. Sampson}, editor = {Peter H. Welch and Susan Stepney and Fiona Polack and Fred R. M. Barnes and Alistair A. McEwan and Gardiner S. Stiles and Jan F. Broenink and Adam T. Sampson}, title = {Process-Oriented Collective Operations}, booktitle = {The thirty-first Communicating Process Architectures Conference, {CPA} 2008, organised under the auspices of WoTUG and the Department of Computer Science of the University of York, York, Yorkshire, UK, 7-10 September 2008}, series = {Concurrent Systems Engineering Series}, volume = {66}, pages = {309--328}, publisher = {{IOS} Press}, year = {2008}, url = {https://doi.org/10.3233/978-1-58603-907-3-309}, doi = {10.3233/978-1-58603-907-3-309}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/wotug/BjorndalenS08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wotug/Bonnici08, author = {Eric Bonnici}, editor = {Peter H. Welch and Susan Stepney and Fiona Polack and Fred R. M. Barnes and Alistair A. McEwan and Gardiner S. Stiles and Jan F. Broenink and Adam T. Sampson}, title = {Mobile Processes in an Ant Simulation}, booktitle = {The thirty-first Communicating Process Architectures Conference, {CPA} 2008, organised under the auspices of WoTUG and the Department of Computer Science of the University of York, York, Yorkshire, UK, 7-10 September 2008}, series = {Concurrent Systems Engineering Series}, volume = {66}, pages = {453}, publisher = {{IOS} Press}, year = {2008}, url = {https://doi.org/10.3233/978-1-58603-907-3-453}, doi = {10.3233/978-1-58603-907-3-453}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/wotug/Bonnici08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wotug/Brown08, author = {Neil C. C. Brown}, editor = {Peter H. Welch and Susan Stepney and Fiona Polack and Fred R. M. Barnes and Alistair A. McEwan and Gardiner S. Stiles and Jan F. Broenink and Adam T. Sampson}, title = {Communicating Haskell Processes: Composable Explicit Concurrency using Monads}, booktitle = {The thirty-first Communicating Process Architectures Conference, {CPA} 2008, organised under the auspices of WoTUG and the Department of Computer Science of the University of York, York, Yorkshire, UK, 7-10 September 2008}, series = {Concurrent Systems Engineering Series}, volume = {66}, pages = {67--83}, publisher = {{IOS} Press}, year = {2008}, url = {https://doi.org/10.3233/978-1-58603-907-3-67}, doi = {10.3233/978-1-58603-907-3-67}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/wotug/Brown08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wotug/Brown08a, author = {Neil C. C. Brown}, editor = {Peter H. Welch and Susan Stepney and Fiona Polack and Fred R. M. Barnes and Alistair A. McEwan and Gardiner S. Stiles and Jan F. Broenink and Adam T. Sampson}, title = {How to Make a Process Invisible}, booktitle = {The thirty-first Communicating Process Architectures Conference, {CPA} 2008, organised under the auspices of WoTUG and the Department of Computer Science of the University of York, York, Yorkshire, UK, 7-10 September 2008}, series = {Concurrent Systems Engineering Series}, volume = {66}, pages = {445}, publisher = {{IOS} Press}, year = {2008}, url = {https://doi.org/10.3233/978-1-58603-907-3-445}, doi = {10.3233/978-1-58603-907-3-445}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/wotug/Brown08a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wotug/BrownS08, author = {Neil C. C. Brown and Marc L. Smith}, editor = {Peter H. Welch and Susan Stepney and Fiona Polack and Fred R. M. Barnes and Alistair A. McEwan and Gardiner S. Stiles and Jan F. Broenink and Adam T. Sampson}, title = {Representation and Implementation of {CSP} and {VCR} Traces}, booktitle = {The thirty-first Communicating Process Architectures Conference, {CPA} 2008, organised under the auspices of WoTUG and the Department of Computer Science of the University of York, York, Yorkshire, UK, 7-10 September 2008}, series = {Concurrent Systems Engineering Series}, volume = {66}, pages = {329--345}, publisher = {{IOS} Press}, year = {2008}, url = {https://doi.org/10.3233/978-1-58603-907-3-329}, doi = {10.3233/978-1-58603-907-3-329}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/wotug/BrownS08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wotug/Chalmers08, author = {Kevin Chalmers}, editor = {Peter H. Welch and Susan Stepney and Fiona Polack and Fred R. M. Barnes and Alistair A. McEwan and Gardiner S. Stiles and Jan F. Broenink and Adam T. Sampson}, title = {Introducing {JCSP} Networking 2.0}, booktitle = {The thirty-first Communicating Process Architectures Conference, {CPA} 2008, organised under the auspices of WoTUG and the Department of Computer Science of the University of York, York, Yorkshire, UK, 7-10 September 2008}, series = {Concurrent Systems Engineering Series}, volume = {66}, pages = {451}, publisher = {{IOS} Press}, year = {2008}, url = {https://doi.org/10.3233/978-1-58603-907-3-451}, doi = {10.3233/978-1-58603-907-3-451}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/wotug/Chalmers08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wotug/ChalmersKR08, author = {Kevin Chalmers and Jon M. Kerridge and Imed Romdhani}, editor = {Peter H. Welch and Susan Stepney and Fiona Polack and Fred R. M. Barnes and Alistair A. McEwan and Gardiner S. Stiles and Jan F. Broenink and Adam T. Sampson}, title = {A Critique of {JCSP} Networking}, booktitle = {The thirty-first Communicating Process Architectures Conference, {CPA} 2008, organised under the auspices of WoTUG and the Department of Computer Science of the University of York, York, Yorkshire, UK, 7-10 September 2008}, series = {Concurrent Systems Engineering Series}, volume = {66}, pages = {271--291}, publisher = {{IOS} Press}, year = {2008}, url = {https://doi.org/10.3233/978-1-58603-907-3-271}, doi = {10.3233/978-1-58603-907-3-271}, timestamp = {Sun, 25 Oct 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/wotug/ChalmersKR08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wotug/East08, author = {Ian R. East}, editor = {Peter H. Welch and Susan Stepney and Fiona Polack and Fred R. M. Barnes and Alistair A. McEwan and Gardiner S. Stiles and Jan F. Broenink and Adam T. Sampson}, title = {Prioritized Service Architecture: Refinement and Visual Design}, booktitle = {The thirty-first Communicating Process Architectures Conference, {CPA} 2008, organised under the auspices of WoTUG and the Department of Computer Science of the University of York, York, Yorkshire, UK, 7-10 September 2008}, series = {Concurrent Systems Engineering Series}, volume = {66}, pages = {99--113}, publisher = {{IOS} Press}, year = {2008}, url = {https://doi.org/10.3233/978-1-58603-907-3-99}, doi = {10.3233/978-1-58603-907-3-99}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/wotug/East08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wotug/FaustSA08, author = {Oliver Faust and Bernhard H. C. Sputh and Alastair R. Allen}, editor = {Peter H. Welch and Susan Stepney and Fiona Polack and Fred R. M. Barnes and Alistair A. McEwan and Gardiner S. Stiles and Jan F. Broenink and Adam T. Sampson}, title = {Transfer Request Broker: Resolving Input-Output Choice}, booktitle = {The thirty-first Communicating Process Architectures Conference, {CPA} 2008, organised under the auspices of WoTUG and the Department of Computer Science of the University of York, York, Yorkshire, UK, 7-10 September 2008}, series = {Concurrent Systems Engineering Series}, volume = {66}, pages = {163--177}, publisher = {{IOS} Press}, year = {2008}, url = {https://doi.org/10.3233/978-1-58603-907-3-163}, doi = {10.3233/978-1-58603-907-3-163}, timestamp = {Sat, 05 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/wotug/FaustSA08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wotug/FaustSA08a, author = {Oliver Faust and Bernhard H. C. Sputh and Alastair R. Allen}, editor = {Peter H. Welch and Susan Stepney and Fiona Polack and Fred R. M. Barnes and Alistair A. McEwan and Gardiner S. Stiles and Jan F. Broenink and Adam T. Sampson}, title = {{IC2IC:} a Lightweight Serial Interconnect Channel for Multiprocessor Networks}, booktitle = {The thirty-first Communicating Process Architectures Conference, {CPA} 2008, organised under the auspices of WoTUG and the Department of Computer Science of the University of York, York, Yorkshire, UK, 7-10 September 2008}, series = {Concurrent Systems Engineering Series}, volume = {66}, pages = {219--235}, publisher = {{IOS} Press}, year = {2008}, url = {https://doi.org/10.3233/978-1-58603-907-3-219}, doi = {10.3233/978-1-58603-907-3-219}, timestamp = {Sat, 05 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/wotug/FaustSA08a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wotug/FriborgV08, author = {Rune M{\o}lleg{\aa}rd Friborg and Brian Vinter}, editor = {Peter H. Welch and Susan Stepney and Fiona Polack and Fred R. M. Barnes and Alistair A. McEwan and Gardiner S. Stiles and Jan F. Broenink and Adam T. Sampson}, title = {CSPBuilder - {CSP} based Scientific Workflow Modelling}, booktitle = {The thirty-first Communicating Process Architectures Conference, {CPA} 2008, organised under the auspices of WoTUG and the Department of Computer Science of the University of York, York, Yorkshire, UK, 7-10 September 2008}, series = {Concurrent Systems Engineering Series}, volume = {66}, pages = {347--363}, publisher = {{IOS} Press}, year = {2008}, url = {https://doi.org/10.3233/978-1-58603-907-3-347}, doi = {10.3233/978-1-58603-907-3-347}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/wotug/FriborgV08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wotug/GroothuisZB08, author = {Marcel A. Groothuis and Jasper J. P. van Zuijlen and Jan F. Broenink}, editor = {Peter H. Welch and Susan Stepney and Fiona Polack and Fred R. M. Barnes and Alistair A. McEwan and Gardiner S. Stiles and Jan F. Broenink and Adam T. Sampson}, title = {{FPGA} based Control of a Production Cell System}, booktitle = {The thirty-first Communicating Process Architectures Conference, {CPA} 2008, organised under the auspices of WoTUG and the Department of Computer Science of the University of York, York, Yorkshire, UK, 7-10 September 2008}, series = {Concurrent Systems Engineering Series}, volume = {66}, pages = {135--148}, publisher = {{IOS} Press}, year = {2008}, url = {https://doi.org/10.3233/978-1-58603-907-3-135}, doi = {10.3233/978-1-58603-907-3-135}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/wotug/GroothuisZB08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wotug/HurtP08, author = {Jason Hurt and Jan B{\ae}kgaard Pedersen}, editor = {Peter H. Welch and Susan Stepney and Fiona Polack and Fred R. M. Barnes and Alistair A. McEwan and Gardiner S. Stiles and Jan F. Broenink and Adam T. Sampson}, title = {Solving the Santa Claus Problem: a Comparison of Various Concurrent Programming Techniques}, booktitle = {The thirty-first Communicating Process Architectures Conference, {CPA} 2008, organised under the auspices of WoTUG and the Department of Computer Science of the University of York, York, Yorkshire, UK, 7-10 September 2008}, series = {Concurrent Systems Engineering Series}, volume = {66}, pages = {381--396}, publisher = {{IOS} Press}, year = {2008}, url = {https://doi.org/10.3233/978-1-58603-907-3-381}, doi = {10.3233/978-1-58603-907-3-381}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/wotug/HurtP08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wotug/KerridgeHC08, author = {Jon M. Kerridge and Jens{-}Oliver Haschke and Kevin Chalmers}, editor = {Peter H. Welch and Susan Stepney and Fiona Polack and Fred R. M. Barnes and Alistair A. McEwan and Gardiner S. Stiles and Jan F. Broenink and Adam T. Sampson}, title = {Mobile Agents and Processes using Communicating Process Architectures}, booktitle = {The thirty-first Communicating Process Architectures Conference, {CPA} 2008, organised under the auspices of WoTUG and the Department of Computer Science of the University of York, York, Yorkshire, UK, 7-10 September 2008}, series = {Concurrent Systems Engineering Series}, volume = {66}, pages = {397--410}, publisher = {{IOS} Press}, year = {2008}, url = {https://doi.org/10.3233/978-1-58603-907-3-397}, doi = {10.3233/978-1-58603-907-3-397}, timestamp = {Sun, 25 Oct 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/wotug/KerridgeHC08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wotug/KerridgePL08, author = {Jon M. Kerridge and Alex Panayotopoulos and Patrick Lismore}, editor = {Peter H. Welch and Susan Stepney and Fiona Polack and Fred R. M. Barnes and Alistair A. McEwan and Gardiner S. Stiles and Jan F. Broenink and Adam T. Sampson}, title = {JCSPre: the Robot Edition to Control {LEGO} {NXT} Robots}, booktitle = {The thirty-first Communicating Process Architectures Conference, {CPA} 2008, organised under the auspices of WoTUG and the Department of Computer Science of the University of York, York, Yorkshire, UK, 7-10 September 2008}, series = {Concurrent Systems Engineering Series}, volume = {66}, pages = {255--270}, publisher = {{IOS} Press}, year = {2008}, url = {https://doi.org/10.3233/978-1-58603-907-3-255}, doi = {10.3233/978-1-58603-907-3-255}, timestamp = {Sun, 25 Oct 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/wotug/KerridgePL08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wotug/KorsgaardH08, author = {Martin Korsgaard and Sverre Hendseth}, editor = {Peter H. Welch and Susan Stepney and Fiona Polack and Fred R. M. Barnes and Alistair A. McEwan and Gardiner S. Stiles and Jan F. Broenink and Adam T. Sampson}, title = {Combining {EDF} Scheduling with occam using the Toc Programming Language}, booktitle = {The thirty-first Communicating Process Architectures Conference, {CPA} 2008, organised under the auspices of WoTUG and the Department of Computer Science of the University of York, York, Yorkshire, UK, 7-10 September 2008}, series = {Concurrent Systems Engineering Series}, volume = {66}, pages = {55--66}, publisher = {{IOS} Press}, year = {2008}, url = {https://doi.org/10.3233/978-1-58603-907-3-55}, doi = {10.3233/978-1-58603-907-3-55}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/wotug/KorsgaardH08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wotug/KosekKS08, author = {Anna Magdalena Kosek and Jon M. Kerridge and Aly A. Syed}, editor = {Peter H. Welch and Susan Stepney and Fiona Polack and Fred R. M. Barnes and Alistair A. McEwan and Gardiner S. Stiles and Jan F. Broenink and Adam T. Sampson}, title = {Modelling a Multi-Core Media Processor Using {JCSP}}, booktitle = {The thirty-first Communicating Process Architectures Conference, {CPA} 2008, organised under the auspices of WoTUG and the Department of Computer Science of the University of York, York, Yorkshire, UK, 7-10 September 2008}, series = {Concurrent Systems Engineering Series}, volume = {66}, pages = {431--443}, publisher = {{IOS} Press}, year = {2008}, url = {https://doi.org/10.3233/978-1-58603-907-3-431}, doi = {10.3233/978-1-58603-907-3-431}, timestamp = {Sun, 25 Oct 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/wotug/KosekKS08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wotug/OHalloran08, author = {Colin O'Halloran}, editor = {Peter H. Welch and Susan Stepney and Fiona Polack and Fred R. M. Barnes and Alistair A. McEwan and Gardiner S. Stiles and Jan F. Broenink and Adam T. Sampson}, title = {How to Soar with {CSP}}, booktitle = {The thirty-first Communicating Process Architectures Conference, {CPA} 2008, organised under the auspices of WoTUG and the Department of Computer Science of the University of York, York, Yorkshire, UK, 7-10 September 2008}, series = {Concurrent Systems Engineering Series}, volume = {66}, pages = {15}, publisher = {{IOS} Press}, year = {2008}, url = {https://doi.org/10.3233/978-1-58603-907-3-15}, doi = {10.3233/978-1-58603-907-3-15}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/wotug/OHalloran08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wotug/OpreanP08, author = {George Oprean and Jan B{\ae}kgaard Pedersen}, editor = {Peter H. Welch and Susan Stepney and Fiona Polack and Fred R. M. Barnes and Alistair A. McEwan and Gardiner S. Stiles and Jan F. Broenink and Adam T. Sampson}, title = {Asynchronous Active Objects in Java}, booktitle = {The thirty-first Communicating Process Architectures Conference, {CPA} 2008, organised under the auspices of WoTUG and the Department of Computer Science of the University of York, York, Yorkshire, UK, 7-10 September 2008}, series = {Concurrent Systems Engineering Series}, volume = {66}, pages = {237--254}, publisher = {{IOS} Press}, year = {2008}, url = {https://doi.org/10.3233/978-1-58603-907-3-237}, doi = {10.3233/978-1-58603-907-3-237}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/wotug/OpreanP08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wotug/RitsonS08, author = {Carl G. Ritson and Jonathan Simpson}, editor = {Peter H. Welch and Susan Stepney and Fiona Polack and Fred R. M. Barnes and Alistair A. McEwan and Gardiner S. Stiles and Jan F. Broenink and Adam T. Sampson}, title = {Virtual Machine Based Debugging for occam-pi}, booktitle = {The thirty-first Communicating Process Architectures Conference, {CPA} 2008, organised under the auspices of WoTUG and the Department of Computer Science of the University of York, York, Yorkshire, UK, 7-10 September 2008}, series = {Concurrent Systems Engineering Series}, volume = {66}, pages = {293--307}, publisher = {{IOS} Press}, year = {2008}, url = {https://doi.org/10.3233/978-1-58603-907-3-293}, doi = {10.3233/978-1-58603-907-3-293}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/wotug/RitsonS08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wotug/Sampson08, author = {Adam T. Sampson}, editor = {Peter H. Welch and Susan Stepney and Fiona Polack and Fred R. M. Barnes and Alistair A. McEwan and Gardiner S. Stiles and Jan F. Broenink and Adam T. Sampson}, title = {Two-Way Protocols for occam-pi}, booktitle = {The thirty-first Communicating Process Architectures Conference, {CPA} 2008, organised under the auspices of WoTUG and the Department of Computer Science of the University of York, York, Yorkshire, UK, 7-10 September 2008}, series = {Concurrent Systems Engineering Series}, volume = {66}, pages = {85--97}, publisher = {{IOS} Press}, year = {2008}, url = {https://doi.org/10.3233/978-1-58603-907-3-85}, doi = {10.3233/978-1-58603-907-3-85}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/wotug/Sampson08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wotug/SampsonB08, author = {Adam T. Sampson and Neil C. C. Brown}, editor = {Peter H. Welch and Susan Stepney and Fiona Polack and Fred R. M. Barnes and Alistair A. McEwan and Gardiner S. Stiles and Jan F. Broenink and Adam T. Sampson}, title = {Tock: One Year On}, booktitle = {The thirty-first Communicating Process Architectures Conference, {CPA} 2008, organised under the auspices of WoTUG and the Department of Computer Science of the University of York, York, Yorkshire, UK, 7-10 September 2008}, series = {Concurrent Systems Engineering Series}, volume = {66}, pages = {449}, publisher = {{IOS} Press}, year = {2008}, url = {https://doi.org/10.3233/978-1-58603-907-3-449}, doi = {10.3233/978-1-58603-907-3-449}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/wotug/SampsonB08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wotug/SchneiderTMI08, author = {Steve A. Schneider and Helen Treharne and Alistair A. McEwan and Wilson Ifill}, editor = {Peter H. Welch and Susan Stepney and Fiona Polack and Fred R. M. Barnes and Alistair A. McEwan and Gardiner S. Stiles and Jan F. Broenink and Adam T. Sampson}, title = {Experiments in Translating {CSP} {\(\vert\)}{\(\vert\)} {B} to Handel-C}, booktitle = {The thirty-first Communicating Process Architectures Conference, {CPA} 2008, organised under the auspices of WoTUG and the Department of Computer Science of the University of York, York, Yorkshire, UK, 7-10 September 2008}, series = {Concurrent Systems Engineering Series}, volume = {66}, pages = {115--133}, publisher = {{IOS} Press}, year = {2008}, url = {https://doi.org/10.3233/978-1-58603-907-3-115}, doi = {10.3233/978-1-58603-907-3-115}, timestamp = {Sun, 18 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/wotug/SchneiderTMI08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wotug/SimpsonJ08, author = {Jonathan Simpson and Christian L. Jacobsen}, editor = {Peter H. Welch and Susan Stepney and Fiona Polack and Fred R. M. Barnes and Alistair A. McEwan and Gardiner S. Stiles and Jan F. Broenink and Adam T. Sampson}, title = {Visual Process-Oriented Programming for Robotics}, booktitle = {The thirty-first Communicating Process Architectures Conference, {CPA} 2008, organised under the auspices of WoTUG and the Department of Computer Science of the University of York, York, Yorkshire, UK, 7-10 September 2008}, series = {Concurrent Systems Engineering Series}, volume = {66}, pages = {365--380}, publisher = {{IOS} Press}, year = {2008}, url = {https://doi.org/10.3233/978-1-58603-907-3-365}, doi = {10.3233/978-1-58603-907-3-365}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/wotug/SimpsonJ08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wotug/SputhFA08, author = {Bernhard H. C. Sputh and Oliver Faust and Alastair R. Allen}, editor = {Peter H. Welch and Susan Stepney and Fiona Polack and Fred R. M. Barnes and Alistair A. McEwan and Gardiner S. Stiles and Jan F. Broenink and Adam T. Sampson}, title = {{RRABP:} Point-to-Point Communication over Unreliable Components}, booktitle = {The thirty-first Communicating Process Architectures Conference, {CPA} 2008, organised under the auspices of WoTUG and the Department of Computer Science of the University of York, York, Yorkshire, UK, 7-10 September 2008}, series = {Concurrent Systems Engineering Series}, volume = {66}, pages = {203--217}, publisher = {{IOS} Press}, year = {2008}, url = {https://doi.org/10.3233/978-1-58603-907-3-203}, doi = {10.3233/978-1-58603-907-3-203}, timestamp = {Sat, 05 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/wotug/SputhFA08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wotug/SteenGB08, author = {Hans T. J. van der Steen and Marcel A. Groothuis and Jan F. Broenink}, editor = {Peter H. Welch and Susan Stepney and Fiona Polack and Fred R. M. Barnes and Alistair A. McEwan and Gardiner S. Stiles and Jan F. Broenink and Adam T. Sampson}, title = {Designing Animation Facilities for gCSP}, booktitle = {The thirty-first Communicating Process Architectures Conference, {CPA} 2008, organised under the auspices of WoTUG and the Department of Computer Science of the University of York, York, Yorkshire, UK, 7-10 September 2008}, series = {Concurrent Systems Engineering Series}, volume = {66}, pages = {447}, publisher = {{IOS} Press}, year = {2008}, url = {https://doi.org/10.3233/978-1-58603-907-3-447}, doi = {10.3233/978-1-58603-907-3-447}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/wotug/SteenGB08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wotug/Sufrin08, author = {Bernard Sufrin}, editor = {Peter H. Welch and Susan Stepney and Fiona Polack and Fred R. M. Barnes and Alistair A. McEwan and Gardiner S. Stiles and Jan F. Broenink and Adam T. Sampson}, title = {Communicating Scala Objects}, booktitle = {The thirty-first Communicating Process Architectures Conference, {CPA} 2008, organised under the auspices of WoTUG and the Department of Computer Science of the University of York, York, Yorkshire, UK, 7-10 September 2008}, series = {Concurrent Systems Engineering Series}, volume = {66}, pages = {35--54}, publisher = {{IOS} Press}, year = {2008}, url = {https://doi.org/10.3233/978-1-58603-907-3-35}, doi = {10.3233/978-1-58603-907-3-35}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/wotug/Sufrin08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wotug/TateB08, author = {Jonathan Tate and Iain Bate}, editor = {Peter H. Welch and Susan Stepney and Fiona Polack and Fred R. M. Barnes and Alistair A. McEwan and Gardiner S. Stiles and Jan F. Broenink and Adam T. Sampson}, title = {{YASS:} a Scaleable Sensornet Simulator for Large Scale Experimentation}, booktitle = {The thirty-first Communicating Process Architectures Conference, {CPA} 2008, organised under the auspices of WoTUG and the Department of Computer Science of the University of York, York, Yorkshire, UK, 7-10 September 2008}, series = {Concurrent Systems Engineering Series}, volume = {66}, pages = {411--430}, publisher = {{IOS} Press}, year = {2008}, url = {https://doi.org/10.3233/978-1-58603-907-3-411}, doi = {10.3233/978-1-58603-907-3-411}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/wotug/TateB08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wotug/WelchB08, author = {Peter H. Welch and Fred R. M. Barnes}, editor = {Peter H. Welch and Susan Stepney and Fiona Polack and Fred R. M. Barnes and Alistair A. McEwan and Gardiner S. Stiles and Jan F. Broenink and Adam T. Sampson}, title = {A {CSP} Model for Mobile Channels}, booktitle = {The thirty-first Communicating Process Architectures Conference, {CPA} 2008, organised under the auspices of WoTUG and the Department of Computer Science of the University of York, York, Yorkshire, UK, 7-10 September 2008}, series = {Concurrent Systems Engineering Series}, volume = {66}, pages = {17--33}, publisher = {{IOS} Press}, year = {2008}, url = {https://doi.org/10.3233/978-1-58603-907-3-17}, doi = {10.3233/978-1-58603-907-3-17}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/wotug/WelchB08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wotug/WelchP08, author = {Peter H. Welch and Jan B{\ae}kgaard Pedersen}, editor = {Peter H. Welch and Susan Stepney and Fiona Polack and Fred R. M. Barnes and Alistair A. McEwan and Gardiner S. Stiles and Jan F. Broenink and Adam T. Sampson}, title = {Santa Claus - with Mobile Reindeer and Elves}, booktitle = {The thirty-first Communicating Process Architectures Conference, {CPA} 2008, organised under the auspices of WoTUG and the Department of Computer Science of the University of York, York, Yorkshire, UK, 7-10 September 2008}, series = {Concurrent Systems Engineering Series}, volume = {66}, pages = {455}, publisher = {{IOS} Press}, year = {2008}, url = {https://doi.org/10.3233/978-1-58603-907-3-455}, doi = {10.3233/978-1-58603-907-3-455}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/wotug/WelchP08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/wotug/2008, editor = {Peter H. Welch and Susan Stepney and Fiona Polack and Fred R. M. Barnes and Alistair A. McEwan and Gardiner S. Stiles and Jan F. Broenink and Adam T. Sampson}, title = {The thirty-first Communicating Process Architectures Conference, {CPA} 2008, organised under the auspices of WoTUG and the Department of Computer Science of the University of York, York, Yorkshire, UK, 7-10 September 2008}, series = {Concurrent Systems Engineering Series}, volume = {66}, publisher = {{IOS} Press}, year = {2008}, url = {http://www.booksonline.iospress.nl/Content/View.aspx?piid=10444}, isbn = {978-1-58603-907-3}, timestamp = {Mon, 02 Mar 2009 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/wotug/2008.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wotug/BjorndalenVA07, author = {John Markus Bj{\o}rndalen and Brian Vinter and Otto J. Anshus}, editor = {Alistair A. McEwan and Steve A. Schneider and Wilson Ifill and Peter H. Welch}, title = {PyCSP - Communicating Sequential Processes for Python}, booktitle = {The 30th Communicating Process Architectures Conference, {CPA} 2007, organised under the auspices of WoTUG and the University of Surrey, Guildford, Surrey, UK, 8-11 July 2007}, series = {Concurrent Systems Engineering Series}, volume = {65}, pages = {229--248}, publisher = {{IOS} Press}, year = {2007}, url = {http://www.booksonline.iospress.nl/Content/View.aspx?piid=5974}, timestamp = {Fri, 23 Mar 2012 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/wotug/BjorndalenVA07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wotug/BrookeP07, author = {Phillip J. Brooke and Richard F. Paige}, editor = {Alistair A. McEwan and Steve A. Schneider and Wilson Ifill and Peter H. Welch}, title = {Lazy Exploration and Checking of {CSP} Models with CSPsim}, booktitle = {The 30th Communicating Process Architectures Conference, {CPA} 2007, organised under the auspices of WoTUG and the University of Surrey, Guildford, Surrey, UK, 8-11 July 2007}, series = {Concurrent Systems Engineering Series}, volume = {65}, pages = {33--49}, publisher = {{IOS} Press}, year = {2007}, url = {http://www.booksonline.iospress.nl/Content/View.aspx?piid=5965}, timestamp = {Fri, 23 Mar 2012 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/wotug/BrookeP07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wotug/Brown07, author = {Neil Brown}, editor = {Alistair A. McEwan and Steve A. Schneider and Wilson Ifill and Peter H. Welch}, title = {{C++CSP2:} {A} Many-to-Many Threading Model for Multicore Architectures}, booktitle = {The 30th Communicating Process Architectures Conference, {CPA} 2007, organised under the auspices of WoTUG and the University of Surrey, Guildford, Surrey, UK, 8-11 July 2007}, series = {Concurrent Systems Engineering Series}, volume = {65}, pages = {183--205}, publisher = {{IOS} Press}, year = {2007}, url = {http://www.booksonline.iospress.nl/Content/View.aspx?piid=5972}, timestamp = {Thu, 01 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/wotug/Brown07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wotug/BurginS07, author = {Mark Burgin and Marc L. Smith}, editor = {Alistair A. McEwan and Steve A. Schneider and Wilson Ifill and Peter H. Welch}, title = {Algebras of Actions in Concurrent Processes}, booktitle = {The 30th Communicating Process Architectures Conference, {CPA} 2007, organised under the auspices of WoTUG and the University of Surrey, Guildford, Surrey, UK, 8-11 July 2007}, series = {Concurrent Systems Engineering Series}, volume = {65}, pages = {505}, publisher = {{IOS} Press}, year = {2007}, url = {http://www.booksonline.iospress.nl/Content/View.aspx?piid=5992}, timestamp = {Fri, 23 Mar 2012 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/wotug/BurginS07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wotug/CassarA07, author = {Gail Cassar and Patrick Abela}, editor = {Alistair A. McEwan and Steve A. Schneider and Wilson Ifill and Peter H. Welch}, title = {Transactional {CSP} Processes}, booktitle = {The 30th Communicating Process Architectures Conference, {CPA} 2007, organised under the auspices of WoTUG and the University of Surrey, Guildford, Surrey, UK, 8-11 July 2007}, series = {Concurrent Systems Engineering Series}, volume = {65}, pages = {503}, publisher = {{IOS} Press}, year = {2007}, url = {http://www.booksonline.iospress.nl/Content/View.aspx?piid=5991}, timestamp = {Fri, 23 Mar 2012 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/wotug/CassarA07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wotug/ChalmersKR07, author = {Kevin Chalmers and Jon M. Kerridge and Imed Romdhani}, editor = {Alistair A. McEwan and Steve A. Schneider and Wilson Ifill and Peter H. Welch}, title = {Mobility in {JCSP:} New Mobile Channel and Mobile Process Models}, booktitle = {The 30th Communicating Process Architectures Conference, {CPA} 2007, organised under the auspices of WoTUG and the University of Surrey, Guildford, Surrey, UK, 8-11 July 2007}, series = {Concurrent Systems Engineering Series}, volume = {65}, pages = {163--182}, publisher = {{IOS} Press}, year = {2007}, url = {http://www.booksonline.iospress.nl/Content/View.aspx?piid=5971}, timestamp = {Fri, 13 Jan 2017 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/wotug/ChalmersKR07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wotug/Dimmich07, author = {Damian J. Dimmich}, editor = {Alistair A. McEwan and Steve A. Schneider and Wilson Ifill and Peter H. Welch}, title = {Using occam-pi Primitives with the Cell Broadband Engine}, booktitle = {The 30th Communicating Process Architectures Conference, {CPA} 2007, organised under the auspices of WoTUG and the University of Surrey, Guildford, Surrey, UK, 8-11 July 2007}, series = {Concurrent Systems Engineering Series}, volume = {65}, pages = {507}, publisher = {{IOS} Press}, year = {2007}, url = {http://www.booksonline.iospress.nl/Content/View.aspx?piid=5993}, timestamp = {Fri, 23 Mar 2012 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/wotug/Dimmich07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wotug/DullerGTIPR07, author = {Andrew Duller and Alan Gray and Daniel Towner and Jamie Iles and Gajinder Panesar and Will Robbins}, editor = {Alistair A. McEwan and Steve A. Schneider and Wilson Ifill and Peter H. Welch}, title = {Development of a Family of Multi-Core Devices Using Hierarchical Abstraction}, booktitle = {The 30th Communicating Process Architectures Conference, {CPA} 2007, organised under the auspices of WoTUG and the University of Surrey, Guildford, Surrey, UK, 8-11 July 2007}, series = {Concurrent Systems Engineering Series}, volume = {65}, pages = {465--477}, publisher = {{IOS} Press}, year = {2007}, url = {http://www.booksonline.iospress.nl/Content/View.aspx?piid=5988}, timestamp = {Fri, 23 Mar 2012 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/wotug/DullerGTIPR07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wotug/East07, author = {Ian East}, editor = {Alistair A. McEwan and Steve A. Schneider and Wilson Ifill and Peter H. Welch}, title = {Concurrent/Reactive System Design with Honeysuckle}, booktitle = {The 30th Communicating Process Architectures Conference, {CPA} 2007, organised under the auspices of WoTUG and the University of Surrey, Guildford, Surrey, UK, 8-11 July 2007}, series = {Concurrent Systems Engineering Series}, volume = {65}, pages = {109--118}, publisher = {{IOS} Press}, year = {2007}, url = {http://www.booksonline.iospress.nl/Content/View.aspx?piid=5998}, timestamp = {Fri, 23 Mar 2012 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/wotug/East07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wotug/FernandesPR07, author = {Fabr{\'{\i}}cio de Alexandria Fernandes and Robin Passama and Jean{-}Claude Royer}, editor = {Alistair A. McEwan and Steve A. Schneider and Wilson Ifill and Peter H. Welch}, title = {Components with Symbolic Transition Systems: {A} Java Implementation of Rendezvous}, booktitle = {The 30th Communicating Process Architectures Conference, {CPA} 2007, organised under the auspices of WoTUG and the University of Surrey, Guildford, Surrey, UK, 8-11 July 2007}, series = {Concurrent Systems Engineering Series}, volume = {65}, pages = {89--107}, publisher = {{IOS} Press}, year = {2007}, url = {http://www.booksonline.iospress.nl/Content/View.aspx?piid=5968}, timestamp = {Mon, 08 Jan 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/wotug/FernandesPR07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wotug/GrantE07, author = {Neil Grant and Neil Evans}, editor = {Alistair A. McEwan and Steve A. Schneider and Wilson Ifill and Peter H. Welch}, title = {Towards the Formal Verification of a Java Processor in Event-B}, booktitle = {The 30th Communicating Process Architectures Conference, {CPA} 2007, organised under the auspices of WoTUG and the University of Surrey, Guildford, Surrey, UK, 8-11 July 2007}, series = {Concurrent Systems Engineering Series}, volume = {65}, pages = {425--442}, publisher = {{IOS} Press}, year = {2007}, url = {http://www.booksonline.iospress.nl/Content/View.aspx?piid=5986}, timestamp = {Fri, 23 Mar 2012 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/wotug/GrantE07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wotug/Hoare07, author = {Tony Hoare}, editor = {Alistair A. McEwan and Steve A. Schneider and Wilson Ifill and Peter H. Welch}, title = {Fine-grain Concurrency}, booktitle = {The 30th Communicating Process Architectures Conference, {CPA} 2007, organised under the auspices of WoTUG and the University of Surrey, Guildford, Surrey, UK, 8-11 July 2007}, series = {Concurrent Systems Engineering Series}, volume = {65}, pages = {1--19}, publisher = {{IOS} Press}, year = {2007}, url = {http://www.booksonline.iospress.nl/Content/View.aspx?piid=5963}, timestamp = {Fri, 23 Mar 2012 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/wotug/Hoare07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wotug/Huntbach07, author = {Matthew M. Huntbach}, editor = {Alistair A. McEwan and Steve A. Schneider and Wilson Ifill and Peter H. Welch}, title = {The Core Language of Aldwych}, booktitle = {The 30th Communicating Process Architectures Conference, {CPA} 2007, organised under the auspices of WoTUG and the University of Surrey, Guildford, Surrey, UK, 8-11 July 2007}, series = {Concurrent Systems Engineering Series}, volume = {65}, pages = {51--66}, publisher = {{IOS} Press}, year = {2007}, url = {http://www.booksonline.iospress.nl/Content/View.aspx?piid=5966}, timestamp = {Fri, 23 Mar 2012 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/wotug/Huntbach07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wotug/IfillS07, author = {Wilson Ifill and Steve A. Schneider}, editor = {Alistair A. McEwan and Steve A. Schneider and Wilson Ifill and Peter H. Welch}, title = {A Step Towards Refining and Translating {B} Control Annotations to Handel-C}, booktitle = {The 30th Communicating Process Architectures Conference, {CPA} 2007, organised under the auspices of WoTUG and the University of Surrey, Guildford, Surrey, UK, 8-11 July 2007}, series = {Concurrent Systems Engineering Series}, volume = {65}, pages = {399--424}, publisher = {{IOS} Press}, year = {2007}, url = {http://www.booksonline.iospress.nl/Content/View.aspx?piid=5985}, timestamp = {Fri, 07 Aug 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/wotug/IfillS07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wotug/JorgensenS07, author = {Ulrik Schou J{\o}rgensen and Espen Suenson}, editor = {Alistair A. McEwan and Steve A. Schneider and Wilson Ifill and Peter H. Welch}, title = {trancell - an Experimental {ETC} to Cell {BE} Translator}, booktitle = {The 30th Communicating Process Architectures Conference, {CPA} 2007, organised under the auspices of WoTUG and the University of Surrey, Guildford, Surrey, UK, 8-11 July 2007}, series = {Concurrent Systems Engineering Series}, volume = {65}, pages = {287--297}, publisher = {{IOS} Press}, year = {2007}, url = {http://www.booksonline.iospress.nl/Content/View.aspx?piid=5977}, timestamp = {Fri, 23 Mar 2012 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/wotug/JorgensenS07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wotug/Kerridge07, author = {Jon M. Kerridge}, editor = {Alistair A. McEwan and Steve A. Schneider and Wilson Ifill and Peter H. Welch}, title = {Testing and Sampling Parallel Systems}, booktitle = {The 30th Communicating Process Architectures Conference, {CPA} 2007, organised under the auspices of WoTUG and the University of Surrey, Guildford, Surrey, UK, 8-11 July 2007}, series = {Concurrent Systems Engineering Series}, volume = {65}, pages = {149--162}, publisher = {{IOS} Press}, year = {2007}, url = {http://www.booksonline.iospress.nl/Content/View.aspx?piid=5970}, timestamp = {Fri, 23 Mar 2012 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/wotug/Kerridge07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wotug/May07, author = {David May}, editor = {Alistair A. McEwan and Steve A. Schneider and Wilson Ifill and Peter H. Welch}, title = {Communicating Process Architecture for Multicores}, booktitle = {The 30th Communicating Process Architectures Conference, {CPA} 2007, organised under the auspices of WoTUG and the University of Surrey, Guildford, Surrey, UK, 8-11 July 2007}, series = {Concurrent Systems Engineering Series}, volume = {65}, pages = {21--32}, publisher = {{IOS} Press}, year = {2007}, url = {http://www.booksonline.iospress.nl/Content/View.aspx?piid=5964}, timestamp = {Mon, 20 Nov 2017 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/wotug/May07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wotug/McEwanS07, author = {Alistair A. McEwan and Steve A. Schneider}, editor = {Alistair A. McEwan and Steve A. Schneider and Wilson Ifill and Peter H. Welch}, title = {Modeling and Analysis of the {AMBA} Bus Using {CSP} and {B}}, booktitle = {The 30th Communicating Process Architectures Conference, {CPA} 2007, organised under the auspices of WoTUG and the University of Surrey, Guildford, Surrey, UK, 8-11 July 2007}, series = {Concurrent Systems Engineering Series}, volume = {65}, pages = {379--398}, publisher = {{IOS} Press}, year = {2007}, url = {http://www.booksonline.iospress.nl/Content/View.aspx?piid=5984}, timestamp = {Fri, 07 Aug 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/wotug/McEwanS07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wotug/OrlicB07, author = {Bojan Orlic and Jan F. Broenink}, editor = {Alistair A. McEwan and Steve A. Schneider and Wilson Ifill and Peter H. Welch}, title = {{CSP} and Real-Time: Reality or Illusion?}, booktitle = {The 30th Communicating Process Architectures Conference, {CPA} 2007, organised under the auspices of WoTUG and the University of Surrey, Guildford, Surrey, UK, 8-11 July 2007}, series = {Concurrent Systems Engineering Series}, volume = {65}, pages = {119--147}, publisher = {{IOS} Press}, year = {2007}, url = {http://www.booksonline.iospress.nl/Content/View.aspx?piid=5969}, timestamp = {Fri, 23 Mar 2012 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/wotug/OrlicB07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wotug/OrlicB07a, author = {Bojan Orlic and Jan F. Broenink}, editor = {Alistair A. McEwan and Steve A. Schneider and Wilson Ifill and Peter H. Welch}, title = {Design Principles of the SystemCSP Software Framework}, booktitle = {The 30th Communicating Process Architectures Conference, {CPA} 2007, organised under the auspices of WoTUG and the University of Surrey, Guildford, Surrey, UK, 8-11 July 2007}, series = {Concurrent Systems Engineering Series}, volume = {65}, pages = {207--228}, publisher = {{IOS} Press}, year = {2007}, url = {http://www.booksonline.iospress.nl/Content/View.aspx?piid=5973}, timestamp = {Fri, 23 Mar 2012 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/wotug/OrlicB07a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wotug/RazaviMK07, author = {Amir Reza Razavi and Sotiris Moschoyiannis and Paul J. Krause}, editor = {Alistair A. McEwan and Steve A. Schneider and Wilson Ifill and Peter H. Welch}, title = {Concurrency Control and Recovery Management for Open e-Business Transactions}, booktitle = {The 30th Communicating Process Architectures Conference, {CPA} 2007, organised under the auspices of WoTUG and the University of Surrey, Guildford, Surrey, UK, 8-11 July 2007}, series = {Concurrent Systems Engineering Series}, volume = {65}, pages = {267--285}, publisher = {{IOS} Press}, year = {2007}, url = {http://www.booksonline.iospress.nl/Content/View.aspx?piid=5976}, timestamp = {Fri, 23 Mar 2012 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/wotug/RazaviMK07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wotug/Ritson07, author = {Carl G. Ritson}, editor = {Alistair A. McEwan and Steve A. Schneider and Wilson Ifill and Peter H. Welch}, title = {Shared-Memory Multi-Processor Scheduling Algorithms for {CCSP}}, booktitle = {The 30th Communicating Process Architectures Conference, {CPA} 2007, organised under the auspices of WoTUG and the University of Surrey, Guildford, Surrey, UK, 8-11 July 2007}, series = {Concurrent Systems Engineering Series}, volume = {65}, pages = {509}, publisher = {{IOS} Press}, year = {2007}, url = {http://www.booksonline.iospress.nl/Content/View.aspx?piid=5994}, timestamp = {Fri, 23 Mar 2012 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/wotug/Ritson07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wotug/RitsonB07, author = {Carl G. Ritson and Fred R. M. Barnes}, editor = {Alistair A. McEwan and Steve A. Schneider and Wilson Ifill and Peter H. Welch}, title = {A Process Oriented Approach to {USB} Driver Development}, booktitle = {The 30th Communicating Process Architectures Conference, {CPA} 2007, organised under the auspices of WoTUG and the University of Surrey, Guildford, Surrey, UK, 8-11 July 2007}, series = {Concurrent Systems Engineering Series}, volume = {65}, pages = {323--338}, publisher = {{IOS} Press}, year = {2007}, url = {http://www.booksonline.iospress.nl/Content/View.aspx?piid=5980}, timestamp = {Fri, 23 Mar 2012 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/wotug/RitsonB07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wotug/RitsonW07, author = {Carl G. Ritson and Peter H. Welch}, editor = {Alistair A. McEwan and Steve A. Schneider and Wilson Ifill and Peter H. Welch}, title = {A Process-Oriented Architecture for Complex System Modelling}, booktitle = {The 30th Communicating Process Architectures Conference, {CPA} 2007, organised under the auspices of WoTUG and the University of Surrey, Guildford, Surrey, UK, 8-11 July 2007}, series = {Concurrent Systems Engineering Series}, volume = {65}, pages = {249--266}, publisher = {{IOS} Press}, year = {2007}, url = {http://www.booksonline.iospress.nl/Content/View.aspx?piid=5975}, timestamp = {Fri, 23 Mar 2012 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/wotug/RitsonW07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wotug/Sampson07, author = {Adam T. Sampson}, editor = {Alistair A. McEwan and Steve A. Schneider and Wilson Ifill and Peter H. Welch}, title = {Compiling occam to {C} with Tock}, booktitle = {The 30th Communicating Process Architectures Conference, {CPA} 2007, organised under the auspices of WoTUG and the University of Surrey, Guildford, Surrey, UK, 8-11 July 2007}, series = {Concurrent Systems Engineering Series}, volume = {65}, pages = {511}, publisher = {{IOS} Press}, year = {2007}, url = {http://www.booksonline.iospress.nl/Content/View.aspx?piid=5995}, timestamp = {Fri, 23 Mar 2012 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/wotug/Sampson07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wotug/SimpsonJJ07, author = {Jonathan Simpson and Christian L. Jacobsen and Matthew C. Jadud}, editor = {Alistair A. McEwan and Steve A. Schneider and Wilson Ifill and Peter H. Welch}, title = {A Native Transterpreter for the {LEGO} Mindstorms {RCX}}, booktitle = {The 30th Communicating Process Architectures Conference, {CPA} 2007, organised under the auspices of WoTUG and the University of Surrey, Guildford, Surrey, UK, 8-11 July 2007}, series = {Concurrent Systems Engineering Series}, volume = {65}, pages = {339--348}, publisher = {{IOS} Press}, year = {2007}, url = {http://www.booksonline.iospress.nl/Content/View.aspx?piid=5981}, timestamp = {Fri, 23 Mar 2012 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/wotug/SimpsonJJ07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wotug/Singh07, author = {Satnam Singh}, editor = {Alistair A. McEwan and Steve A. Schneider and Wilson Ifill and Peter H. Welch}, title = {Hardware/Software Synthesis and Verification Using Esterel}, booktitle = {The 30th Communicating Process Architectures Conference, {CPA} 2007, organised under the auspices of WoTUG and the University of Surrey, Guildford, Surrey, UK, 8-11 July 2007}, series = {Concurrent Systems Engineering Series}, volume = {65}, pages = {371--378}, publisher = {{IOS} Press}, year = {2007}, url = {http://www.booksonline.iospress.nl/Content/View.aspx?piid=5983}, timestamp = {Fri, 23 Mar 2012 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/wotug/Singh07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wotug/SputhFA07, author = {Bernhard H. C. Sputh and Oliver Faust and Alastair R. Allen}, editor = {Alistair A. McEwan and Steve A. Schneider and Wilson Ifill and Peter H. Welch}, title = {A Versatile Hardware-Software Platform for In-Situ Monitoring Systems}, booktitle = {The 30th Communicating Process Architectures Conference, {CPA} 2007, organised under the auspices of WoTUG and the University of Surrey, Guildford, Surrey, UK, 8-11 July 2007}, series = {Concurrent Systems Engineering Series}, volume = {65}, pages = {299--311}, publisher = {{IOS} Press}, year = {2007}, url = {http://www.booksonline.iospress.nl/Content/View.aspx?piid=5978}, timestamp = {Fri, 23 Mar 2012 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/wotug/SputhFA07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wotug/Teig07, author = {{\O}yvind Teig}, editor = {Alistair A. McEwan and Steve A. Schneider and Wilson Ifill and Peter H. Welch}, title = {High Cohesion and Low Coupling: The Office Mapping Factor}, booktitle = {The 30th Communicating Process Architectures Conference, {CPA} 2007, organised under the auspices of WoTUG and the University of Surrey, Guildford, Surrey, UK, 8-11 July 2007}, series = {Concurrent Systems Engineering Series}, volume = {65}, pages = {313--322}, publisher = {{IOS} Press}, year = {2007}, url = {http://www.booksonline.iospress.nl/Content/View.aspx?piid=5979}, timestamp = {Fri, 23 Mar 2012 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/wotug/Teig07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wotug/TodmanL07, author = {Tim Todman and Wayne Luk}, editor = {Alistair A. McEwan and Steve A. Schneider and Wilson Ifill and Peter H. Welch}, title = {Domain Specific Transformations for Hardware Ray Tracing}, booktitle = {The 30th Communicating Process Architectures Conference, {CPA} 2007, organised under the auspices of WoTUG and the University of Surrey, Guildford, Surrey, UK, 8-11 July 2007}, series = {Concurrent Systems Engineering Series}, volume = {65}, pages = {479--492}, publisher = {{IOS} Press}, year = {2007}, url = {http://www.booksonline.iospress.nl/Content/View.aspx?piid=5989}, timestamp = {Fri, 23 Mar 2012 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/wotug/TodmanL07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wotug/VladimirovaW07, author = {Tanya Vladimirova and Xiaofeng Wu}, editor = {Alistair A. McEwan and Steve A. Schneider and Wilson Ifill and Peter H. Welch}, title = {A Reconfigurable System-on-Chip Architecture for Pico-Satellite Missions}, booktitle = {The 30th Communicating Process Architectures Conference, {CPA} 2007, organised under the auspices of WoTUG and the University of Surrey, Guildford, Surrey, UK, 8-11 July 2007}, series = {Concurrent Systems Engineering Series}, volume = {65}, pages = {493--502}, publisher = {{IOS} Press}, year = {2007}, url = {http://www.booksonline.iospress.nl/Content/View.aspx?piid=5990}, timestamp = {Fri, 23 Mar 2012 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/wotug/VladimirovaW07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wotug/WelchBMCS07, author = {Peter H. Welch and Neil Brown and James Moores and Kevin Chalmers and Bernhard H. C. Sputh}, editor = {Alistair A. McEwan and Steve A. Schneider and Wilson Ifill and Peter H. Welch}, title = {Integrating and Extending {JCSP}}, booktitle = {The 30th Communicating Process Architectures Conference, {CPA} 2007, organised under the auspices of WoTUG and the University of Surrey, Guildford, Surrey, UK, 8-11 July 2007}, series = {Concurrent Systems Engineering Series}, volume = {65}, pages = {349--370}, publisher = {{IOS} Press}, year = {2007}, url = {http://www.booksonline.iospress.nl/Content/View.aspx?piid=5982}, timestamp = {Thu, 01 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/wotug/WelchBMCS07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wotug/Wickstrom07, author = {Gregory L. Wickstrom}, editor = {Alistair A. McEwan and Steve A. Schneider and Wilson Ifill and Peter H. Welch}, title = {Advanced System Simulation, Emulation and Test {(ASSET)}}, booktitle = {The 30th Communicating Process Architectures Conference, {CPA} 2007, organised under the auspices of WoTUG and the University of Surrey, Guildford, Surrey, UK, 8-11 July 2007}, series = {Concurrent Systems Engineering Series}, volume = {65}, pages = {443--464}, publisher = {{IOS} Press}, year = {2007}, url = {http://www.booksonline.iospress.nl/Content/View.aspx?piid=5987}, timestamp = {Fri, 23 Mar 2012 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/wotug/Wickstrom07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wotug/YangP07, author = {Letu Yang and Michael Poppleton}, editor = {Alistair A. McEwan and Steve A. Schneider and Wilson Ifill and Peter H. Welch}, title = {JCSProB: Implementing Integrated Formal Specifications in Concurrent Java}, booktitle = {The 30th Communicating Process Architectures Conference, {CPA} 2007, organised under the auspices of WoTUG and the University of Surrey, Guildford, Surrey, UK, 8-11 July 2007}, series = {Concurrent Systems Engineering Series}, volume = {65}, pages = {67--88}, publisher = {{IOS} Press}, year = {2007}, url = {http://www.booksonline.iospress.nl/Content/View.aspx?piid=5967}, timestamp = {Fri, 23 Mar 2012 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/wotug/YangP07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/wotug/2007, editor = {Alistair A. McEwan and Steve A. Schneider and Wilson Ifill and Peter H. Welch}, title = {The 30th Communicating Process Architectures Conference, {CPA} 2007, organised under the auspices of WoTUG and the University of Surrey, Guildford, Surrey, UK, 8-11 July 2007}, series = {Concurrent Systems Engineering Series}, volume = {65}, publisher = {{IOS} Press}, year = {2007}, url = {http://www.booksonline.iospress.nl/Content/View.aspx?piid=5962}, isbn = {978-1-58603-767-3}, timestamp = {Tue, 03 Mar 2009 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/wotug/2007.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wotug/Barnes06, author = {Fred R. M. Barnes}, editor = {Peter H. Welch and Jon M. Kerridge and Fred R. M. Barnes}, title = {Compiling {CSP}}, booktitle = {The 29th Communicating Process Architectures Conference, {CPA} 2006, organised under the auspices of WoTUG and the Napier University, Edinburgh, Scottland, UK, 17-20 September 2006}, series = {Concurrent Systems Engineering Series}, volume = {64}, pages = {377--388}, publisher = {{IOS} Press}, year = {2006}, url = {http://www.booksonline.iospress.nl/Content/View.aspx?piid=737}, timestamp = {Fri, 23 Mar 2012 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/wotug/Barnes06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wotug/Brown06, author = {Neil Brown}, editor = {Peter H. Welch and Jon M. Kerridge and Fred R. M. Barnes}, title = {Rain: {A} New Concurrent Process-Oriented Programming Language}, booktitle = {The 29th Communicating Process Architectures Conference, {CPA} 2006, organised under the auspices of WoTUG and the Napier University, Edinburgh, Scottland, UK, 17-20 September 2006}, series = {Concurrent Systems Engineering Series}, volume = {64}, pages = {237--251}, publisher = {{IOS} Press}, year = {2006}, url = {http://www.booksonline.iospress.nl/Content/View.aspx?piid=728}, timestamp = {Thu, 01 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/wotug/Brown06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wotug/Brown06a, author = {Neil Brown}, editor = {Peter H. Welch and Jon M. Kerridge and Fred R. M. Barnes}, title = {Rain {VM:} Portable Concurrency through Managing Code}, booktitle = {The 29th Communicating Process Architectures Conference, {CPA} 2006, organised under the auspices of WoTUG and the Napier University, Edinburgh, Scottland, UK, 17-20 September 2006}, series = {Concurrent Systems Engineering Series}, volume = {64}, pages = {253--267}, publisher = {{IOS} Press}, year = {2006}, url = {http://www.booksonline.iospress.nl/Content/View.aspx?piid=729}, timestamp = {Thu, 01 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/wotug/Brown06a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wotug/BurginS06, author = {Mark Burgin and Marc L. Smith}, editor = {Peter H. Welch and Jon M. Kerridge and Fred R. M. Barnes}, title = {Compositions of Concurrent Processes}, booktitle = {The 29th Communicating Process Architectures Conference, {CPA} 2006, organised under the auspices of WoTUG and the Napier University, Edinburgh, Scottland, UK, 17-20 September 2006}, series = {Concurrent Systems Engineering Series}, volume = {64}, pages = {281--296}, publisher = {{IOS} Press}, year = {2006}, url = {http://www.booksonline.iospress.nl/Content/View.aspx?piid=731}, timestamp = {Fri, 23 Mar 2012 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/wotug/BurginS06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wotug/ChalmersC06, author = {Kevin Chalmers and Sarah Clayton}, editor = {Peter H. Welch and Jon M. Kerridge and Fred R. M. Barnes}, title = {{CSP} for .NET Based on {JCSP}}, booktitle = {The 29th Communicating Process Architectures Conference, {CPA} 2006, organised under the auspices of WoTUG and the Napier University, Edinburgh, Scottland, UK, 17-20 September 2006}, series = {Concurrent Systems Engineering Series}, volume = {64}, pages = {59--76}, publisher = {{IOS} Press}, year = {2006}, url = {http://www.booksonline.iospress.nl/Content/View.aspx?piid=718}, timestamp = {Fri, 23 Mar 2012 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/wotug/ChalmersC06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wotug/ChalmersKR06, author = {Kevin Chalmers and Jon M. Kerridge and Imed Romdhani}, editor = {Peter H. Welch and Jon M. Kerridge and Fred R. M. Barnes}, title = {Performance Evaluation of {JCSP} Micro Edition: JCSPme}, booktitle = {The 29th Communicating Process Architectures Conference, {CPA} 2006, organised under the auspices of WoTUG and the Napier University, Edinburgh, Scottland, UK, 17-20 September 2006}, series = {Concurrent Systems Engineering Series}, volume = {64}, pages = {31--40}, publisher = {{IOS} Press}, year = {2006}, url = {http://www.booksonline.iospress.nl/Content/View.aspx?piid=716}, timestamp = {Fri, 23 Mar 2012 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/wotug/ChalmersKR06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wotug/CookW06, author = {Barry Cook and Paul Walker}, editor = {Peter H. Welch and Jon M. Kerridge and Fred R. M. Barnes}, title = {SpaceWire - DS-Links Reborn}, booktitle = {The 29th Communicating Process Architectures Conference, {CPA} 2006, organised under the auspices of WoTUG and the Napier University, Edinburgh, Scottland, UK, 17-20 September 2006}, series = {Concurrent Systems Engineering Series}, volume = {64}, pages = {1--12}, publisher = {{IOS} Press}, year = {2006}, url = {http://www.booksonline.iospress.nl/Content/View.aspx?piid=714}, timestamp = {Fri, 23 Mar 2012 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/wotug/CookW06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wotug/DimmichJJ06, author = {Damian J. Dimmich and Christian L. Jacobsen and Matthew C. Jadud}, editor = {Peter H. Welch and Jon M. Kerridge and Fred R. M. Barnes}, title = {A Cell Transterpreter}, booktitle = {The 29th Communicating Process Architectures Conference, {CPA} 2006, organised under the auspices of WoTUG and the Napier University, Edinburgh, Scottland, UK, 17-20 September 2006}, series = {Concurrent Systems Engineering Series}, volume = {64}, pages = {215--224}, publisher = {{IOS} Press}, year = {2006}, url = {http://www.booksonline.iospress.nl/Content/View.aspx?piid=726}, timestamp = {Fri, 23 Mar 2012 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/wotug/DimmichJJ06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wotug/FaustSA06, author = {Oliver Faust and Bernhard H. C. Sputh and Alastair R. Allen}, editor = {Peter H. Welch and Jon M. Kerridge and Fred R. M. Barnes}, title = {A Study of Percolation Phenomena in Process Networks}, booktitle = {The 29th Communicating Process Architectures Conference, {CPA} 2006, organised under the auspices of WoTUG and the Napier University, Edinburgh, Scottland, UK, 17-20 September 2006}, series = {Concurrent Systems Engineering Series}, volume = {64}, pages = {109--121}, publisher = {{IOS} Press}, year = {2006}, url = {http://www.booksonline.iospress.nl/Content/View.aspx?piid=720}, timestamp = {Fri, 23 Mar 2012 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/wotug/FaustSA06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wotug/Happe06, author = {Hans Henrik Happe}, editor = {Peter H. Welch and Jon M. Kerridge and Fred R. M. Barnes}, title = {{TCP} Input Threading in High Performance Distributed Systems}, booktitle = {The 29th Communicating Process Architectures Conference, {CPA} 2006, organised under the auspices of WoTUG and the Napier University, Edinburgh, Scottland, UK, 17-20 September 2006}, series = {Concurrent Systems Engineering Series}, volume = {64}, pages = {203--213}, publisher = {{IOS} Press}, year = {2006}, url = {http://www.booksonline.iospress.nl/Content/View.aspx?piid=725}, timestamp = {Fri, 23 Mar 2012 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/wotug/Happe06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wotug/Hilderink06, author = {Gerald H. Hilderink}, editor = {Peter H. Welch and Jon M. Kerridge and Fred R. M. Barnes}, title = {Software Specification Refinement and Verification Method with I-Mathic Studio}, booktitle = {The 29th Communicating Process Architectures Conference, {CPA} 2006, organised under the auspices of WoTUG and the Napier University, Edinburgh, Scottland, UK, 17-20 September 2006}, series = {Concurrent Systems Engineering Series}, volume = {64}, pages = {297--310}, publisher = {{IOS} Press}, year = {2006}, url = {http://www.booksonline.iospress.nl/Content/View.aspx?piid=732}, timestamp = {Fri, 23 Mar 2012 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/wotug/Hilderink06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wotug/JacobsenDJ06, author = {Christian L. Jacobsen and Damian J. Dimmich and Matthew C. Jadud}, editor = {Peter H. Welch and Jon M. Kerridge and Fred R. M. Barnes}, title = {Native Code Generation Using the Transterpreter}, booktitle = {The 29th Communicating Process Architectures Conference, {CPA} 2006, organised under the auspices of WoTUG and the Napier University, Edinburgh, Scottland, UK, 17-20 September 2006}, series = {Concurrent Systems Engineering Series}, volume = {64}, pages = {269--280}, publisher = {{IOS} Press}, year = {2006}, url = {http://www.booksonline.iospress.nl/Content/View.aspx?piid=730}, timestamp = {Fri, 23 Mar 2012 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/wotug/JacobsenDJ06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wotug/KerridgeC06, author = {Jon M. Kerridge and Kevin Chalmers}, editor = {Peter H. Welch and Jon M. Kerridge and Fred R. M. Barnes}, title = {Ubiquitous Access to Site Specific Services by Mobile Devices: the Process View}, booktitle = {The 29th Communicating Process Architectures Conference, {CPA} 2006, organised under the auspices of WoTUG and the Napier University, Edinburgh, Scottland, UK, 17-20 September 2006}, series = {Concurrent Systems Engineering Series}, volume = {64}, pages = {41--58}, publisher = {{IOS} Press}, year = {2006}, url = {http://www.booksonline.iospress.nl/Content/View.aspx?piid=717}, timestamp = {Fri, 23 Mar 2012 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/wotug/KerridgeC06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wotug/KumarS06, author = {Shyam Kumar and Gardiner S. Stiles}, editor = {Peter H. Welch and Jon M. Kerridge and Fred R. M. Barnes}, title = {A JCSP.net Implementation of a Massively Multiplayer Online Game}, booktitle = {The 29th Communicating Process Architectures Conference, {CPA} 2006, organised under the auspices of WoTUG and the Napier University, Edinburgh, Scottland, UK, 17-20 September 2006}, series = {Concurrent Systems Engineering Series}, volume = {64}, pages = {135--149}, publisher = {{IOS} Press}, year = {2006}, url = {http://www.booksonline.iospress.nl/Content/View.aspx?piid=722}, timestamp = {Fri, 23 Mar 2012 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/wotug/KumarS06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wotug/LehmbergO06, author = {Alex A. Lehmberg and Martin N. Olsen}, editor = {Peter H. Welch and Jon M. Kerridge and Fred R. M. Barnes}, title = {An Introduction to {CSP.NET}}, booktitle = {The 29th Communicating Process Architectures Conference, {CPA} 2006, organised under the auspices of WoTUG and the Napier University, Edinburgh, Scottland, UK, 17-20 September 2006}, series = {Concurrent Systems Engineering Series}, volume = {64}, pages = {13--30}, publisher = {{IOS} Press}, year = {2006}, url = {http://www.booksonline.iospress.nl/Content/View.aspx?piid=715}, timestamp = {Fri, 23 Mar 2012 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/wotug/LehmbergO06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wotug/McEwan06, author = {Alistair A. McEwan}, editor = {Peter H. Welch and Jon M. Kerridge and Fred R. M. Barnes}, title = {A Circus Development and Verification of an Internet Packet Filter}, booktitle = {The 29th Communicating Process Architectures Conference, {CPA} 2006, organised under the auspices of WoTUG and the Napier University, Edinburgh, Scottland, UK, 17-20 September 2006}, series = {Concurrent Systems Engineering Series}, volume = {64}, pages = {339--362}, publisher = {{IOS} Press}, year = {2006}, url = {http://www.booksonline.iospress.nl/Content/View.aspx?piid=735}, timestamp = {Fri, 23 Mar 2012 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/wotug/McEwan06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wotug/OrlicB06, author = {Bojan Orlic and Jan F. Broenink}, editor = {Peter H. Welch and Jon M. Kerridge and Fred R. M. Barnes}, title = {SystemCSP - Visual Notation}, booktitle = {The 29th Communicating Process Architectures Conference, {CPA} 2006, organised under the auspices of WoTUG and the Napier University, Edinburgh, Scottland, UK, 17-20 September 2006}, series = {Concurrent Systems Engineering Series}, volume = {64}, pages = {151--177}, publisher = {{IOS} Press}, year = {2006}, url = {http://www.booksonline.iospress.nl/Content/View.aspx?piid=723}, timestamp = {Fri, 23 Mar 2012 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/wotug/OrlicB06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wotug/OrlicB06a, author = {Bojan Orlic and Jan F. Broenink}, editor = {Peter H. Welch and Jon M. Kerridge and Fred R. M. Barnes}, title = {Interacting Components}, booktitle = {The 29th Communicating Process Architectures Conference, {CPA} 2006, organised under the auspices of WoTUG and the Napier University, Edinburgh, Scottland, UK, 17-20 September 2006}, series = {Concurrent Systems Engineering Series}, volume = {64}, pages = {179--202}, publisher = {{IOS} Press}, year = {2006}, url = {http://www.booksonline.iospress.nl/Content/View.aspx?piid=724}, timestamp = {Fri, 23 Mar 2012 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/wotug/OrlicB06a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wotug/Pedersen06, author = {Jan B{\ae}kgaard Pedersen}, editor = {Peter H. Welch and Jon M. Kerridge and Fred R. M. Barnes}, title = {Classification of Programming Errors in Parallel Message Passing Systems}, booktitle = {The 29th Communicating Process Architectures Conference, {CPA} 2006, organised under the auspices of WoTUG and the Napier University, Edinburgh, Scottland, UK, 17-20 September 2006}, series = {Concurrent Systems Engineering Series}, volume = {64}, pages = {363--376}, publisher = {{IOS} Press}, year = {2006}, url = {http://www.booksonline.iospress.nl/Content/View.aspx?piid=736}, timestamp = {Fri, 23 Mar 2012 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/wotug/Pedersen06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wotug/RitsonSB06, author = {Carl G. Ritson and Adam T. Sampson and Fred R. M. Barnes}, editor = {Peter H. Welch and Jon M. Kerridge and Fred R. M. Barnes}, title = {Video Processing in occam-pi}, booktitle = {The 29th Communicating Process Architectures Conference, {CPA} 2006, organised under the auspices of WoTUG and the Napier University, Edinburgh, Scottland, UK, 17-20 September 2006}, series = {Concurrent Systems Engineering Series}, volume = {64}, pages = {311--329}, publisher = {{IOS} Press}, year = {2006}, url = {http://www.booksonline.iospress.nl/Content/View.aspx?piid=733}, timestamp = {Fri, 23 Mar 2012 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/wotug/RitsonSB06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wotug/SchweiglerS06, author = {Mario Schweigler and Adam T. Sampson}, editor = {Peter H. Welch and Jon M. Kerridge and Fred R. M. Barnes}, title = {pony - The occam-pi Network Environment}, booktitle = {The 29th Communicating Process Architectures Conference, {CPA} 2006, organised under the auspices of WoTUG and the Napier University, Edinburgh, Scottland, UK, 17-20 September 2006}, series = {Concurrent Systems Engineering Series}, volume = {64}, pages = {77--108}, publisher = {{IOS} Press}, year = {2006}, url = {http://www.booksonline.iospress.nl/Content/View.aspx?piid=719}, timestamp = {Fri, 23 Mar 2012 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/wotug/SchweiglerS06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wotug/SimpsonJJ06, author = {Jonathan Simpson and Christian L. Jacobsen and Matthew C. Jadud}, editor = {Peter H. Welch and Jon M. Kerridge and Fred R. M. Barnes}, title = {Mobile Robot Control - The Subsumption Architecture and occam-pi}, booktitle = {The 29th Communicating Process Architectures Conference, {CPA} 2006, organised under the auspices of WoTUG and the Napier University, Edinburgh, Scottland, UK, 17-20 September 2006}, series = {Concurrent Systems Engineering Series}, volume = {64}, pages = {225--236}, publisher = {{IOS} Press}, year = {2006}, url = {http://www.booksonline.iospress.nl/Content/View.aspx?piid=727}, timestamp = {Fri, 23 Mar 2012 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/wotug/SimpsonJJ06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wotug/SputhFA06, author = {Bernhard H. C. Sputh and Oliver Faust and Alastair R. Allen}, editor = {Peter H. Welch and Jon M. Kerridge and Fred R. M. Barnes}, title = {Portable {CSP} Based Design for Embedded Multi-Core Systems}, booktitle = {The 29th Communicating Process Architectures Conference, {CPA} 2006, organised under the auspices of WoTUG and the Napier University, Edinburgh, Scottland, UK, 17-20 September 2006}, series = {Concurrent Systems Engineering Series}, volume = {64}, pages = {123--134}, publisher = {{IOS} Press}, year = {2006}, url = {http://www.booksonline.iospress.nl/Content/View.aspx?piid=721}, timestamp = {Fri, 23 Mar 2012 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/wotug/SputhFA06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wotug/Teig06, author = {{\O}yvind Teig}, editor = {Peter H. Welch and Jon M. Kerridge and Fred R. M. Barnes}, title = {No Blocking on Yesterday's Embedded {CSP} Implementation - (The Rubber Band of Getting it Right and Simple)}, booktitle = {The 29th Communicating Process Architectures Conference, {CPA} 2006, organised under the auspices of WoTUG and the Napier University, Edinburgh, Scottland, UK, 17-20 September 2006}, series = {Concurrent Systems Engineering Series}, volume = {64}, pages = {331--338}, publisher = {{IOS} Press}, year = {2006}, url = {http://www.booksonline.iospress.nl/Content/View.aspx?piid=734}, timestamp = {Fri, 23 Mar 2012 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/wotug/Teig06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wotug/Welch06, author = {Peter H. Welch}, editor = {Peter H. Welch and Jon M. Kerridge and Fred R. M. Barnes}, title = {A Fast Resolution of Choice between Multiway Synchronisations (Invited Talk)}, booktitle = {The 29th Communicating Process Architectures Conference, {CPA} 2006, organised under the auspices of WoTUG and the Napier University, Edinburgh, Scottland, UK, 17-20 September 2006}, series = {Concurrent Systems Engineering Series}, volume = {64}, pages = {389}, publisher = {{IOS} Press}, year = {2006}, url = {http://www.booksonline.iospress.nl/Content/View.aspx?piid=738}, timestamp = {Fri, 23 Mar 2012 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/wotug/Welch06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/wotug/2006, editor = {Peter H. Welch and Jon M. Kerridge and Fred R. M. Barnes}, title = {The 29th Communicating Process Architectures Conference, {CPA} 2006, organised under the auspices of WoTUG and the Napier University, Edinburgh, Scottland, UK, 17-20 September 2006}, series = {Concurrent Systems Engineering Series}, volume = {64}, publisher = {{IOS} Press}, year = {2006}, url = {http://www.booksonline.iospress.nl/Content/View.aspx?piid=91}, isbn = {978-1-58603-671-3}, timestamp = {Tue, 03 Mar 2009 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/wotug/2006.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wotug/Barnes05, author = {Fred R. M. Barnes}, editor = {Jan F. Broenink and Herman W. Roebbers and Johan P. E. Sunter and Peter H. Welch and David C. Wood}, title = {Interfacing {C} and occam-pi}, booktitle = {The 28th Communicating Process Architectures Conference, {CPA} 2005, organised under the auspices of WoTUG, Philips and the Technische Universiteit Eindhoven, Eindhoven, The Netherlands, 18-21 September 2005}, series = {Concurrent Systems Engineering Series}, volume = {63}, pages = {249--260}, publisher = {{IOS} Press}, year = {2005}, url = {http://www.booksonline.iospress.nl/Content/View.aspx?piid=699}, timestamp = {Fri, 23 Mar 2012 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/wotug/Barnes05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wotug/BjorndalenAV05, author = {John Markus Bj{\o}rndalen and Otto J. Anshus and Brian Vinter}, editor = {Jan F. Broenink and Herman W. Roebbers and Johan P. E. Sunter and Peter H. Welch and David C. Wood}, title = {Interactive Computing with the Minimum intrusion Grid (MiG)}, booktitle = {The 28th Communicating Process Architectures Conference, {CPA} 2005, organised under the auspices of WoTUG, Philips and the Technische Universiteit Eindhoven, Eindhoven, The Netherlands, 18-21 September 2005}, series = {Concurrent Systems Engineering Series}, volume = {63}, pages = {261--273}, publisher = {{IOS} Press}, year = {2005}, url = {http://www.booksonline.iospress.nl/Content/View.aspx?piid=700}, timestamp = {Fri, 23 Mar 2012 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/wotug/BjorndalenAV05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wotug/Broadfoot05, author = {Guy H. Broadfoot}, editor = {Jan F. Broenink and Herman W. Roebbers and Johan P. E. Sunter and Peter H. Welch and David C. Wood}, title = {If Concurrency in Software is So Simple, Why is it So Hard? - Invited Talk}, booktitle = {The 28th Communicating Process Architectures Conference, {CPA} 2005, organised under the auspices of WoTUG, Philips and the Technische Universiteit Eindhoven, Eindhoven, The Netherlands, 18-21 September 2005}, series = {Concurrent Systems Engineering Series}, volume = {63}, pages = {403}, publisher = {{IOS} Press}, year = {2005}, url = {http://www.booksonline.iospress.nl/Content/View.aspx?piid=711}, timestamp = {Fri, 23 Mar 2012 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/wotug/Broadfoot05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wotug/ChalmersK05, author = {Kevin Chalmers and Jon M. Kerridge}, editor = {Jan F. Broenink and Herman W. Roebbers and Johan P. E. Sunter and Peter H. Welch and David C. Wood}, title = {jcsp.mobile: {A} Package Enabling Mobile Processes and Channels}, booktitle = {The 28th Communicating Process Architectures Conference, {CPA} 2005, organised under the auspices of WoTUG, Philips and the Technische Universiteit Eindhoven, Eindhoven, The Netherlands, 18-21 September 2005}, series = {Concurrent Systems Engineering Series}, volume = {63}, pages = {109--127}, publisher = {{IOS} Press}, year = {2005}, url = {http://www.booksonline.iospress.nl/Content/View.aspx?piid=689}, timestamp = {Fri, 23 Mar 2012 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/wotug/ChalmersK05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wotug/DimmichJ05, author = {Damian J. Dimmich and Christian L. Jacobsen}, editor = {Jan F. Broenink and Herman W. Roebbers and Johan P. E. Sunter and Peter H. Welch and David C. Wood}, title = {A Foreign-Function Interface Generator for occam-pi}, booktitle = {The 28th Communicating Process Architectures Conference, {CPA} 2005, organised under the auspices of WoTUG, Philips and the Technische Universiteit Eindhoven, Eindhoven, The Netherlands, 18-21 September 2005}, series = {Concurrent Systems Engineering Series}, volume = {63}, pages = {235--248}, publisher = {{IOS} Press}, year = {2005}, url = {http://www.booksonline.iospress.nl/Content/View.aspx?piid=698}, timestamp = {Fri, 23 Mar 2012 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/wotug/DimmichJ05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wotug/East05, author = {Ian East}, editor = {Jan F. Broenink and Herman W. Roebbers and Johan P. E. Sunter and Peter H. Welch and David C. Wood}, title = {Interfacing with Honeysuckle by Formal Contract}, booktitle = {The 28th Communicating Process Architectures Conference, {CPA} 2005, organised under the auspices of WoTUG, Philips and the Technische Universiteit Eindhoven, Eindhoven, The Netherlands, 18-21 September 2005}, series = {Concurrent Systems Engineering Series}, volume = {63}, pages = {1--11}, publisher = {{IOS} Press}, year = {2005}, url = {http://www.booksonline.iospress.nl/Content/View.aspx?piid=684}, timestamp = {Fri, 23 Mar 2012 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/wotug/East05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wotug/Gardner05, author = {William B. Gardner}, editor = {Jan F. Broenink and Herman W. Roebbers and Johan P. E. Sunter and Peter H. Welch and David C. Wood}, title = {{CSP++:} How Faithful to CSPm?}, booktitle = {The 28th Communicating Process Architectures Conference, {CPA} 2005, organised under the auspices of WoTUG, Philips and the Technische Universiteit Eindhoven, Eindhoven, The Netherlands, 18-21 September 2005}, series = {Concurrent Systems Engineering Series}, volume = {63}, pages = {129--146}, publisher = {{IOS} Press}, year = {2005}, url = {http://www.booksonline.iospress.nl/Content/View.aspx?piid=690}, timestamp = {Fri, 23 Mar 2012 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/wotug/Gardner05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wotug/GroothuisLB05, author = {Marcel A. Groothuis and Geert K. Liet and Jan F. Broenink}, editor = {Jan F. Broenink and Herman W. Roebbers and Johan P. E. Sunter and Peter H. Welch and David C. Wood}, title = {gCSP occam Code Generation for RMoX}, booktitle = {The 28th Communicating Process Architectures Conference, {CPA} 2005, organised under the auspices of WoTUG, Philips and the Technische Universiteit Eindhoven, Eindhoven, The Netherlands, 18-21 September 2005}, series = {Concurrent Systems Engineering Series}, volume = {63}, pages = {375--383}, publisher = {{IOS} Press}, year = {2005}, url = {http://www.booksonline.iospress.nl/Content/View.aspx?piid=706}, timestamp = {Fri, 23 Mar 2012 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/wotug/GroothuisLB05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wotug/HappeV05, author = {Hans Henrik Happe and Brian Vinter}, editor = {Jan F. Broenink and Herman W. Roebbers and Johan P. E. Sunter and Peter H. Welch and David C. Wood}, title = {Improving {TCP/IP} Multicasting with Message Segmentation}, booktitle = {The 28th Communicating Process Architectures Conference, {CPA} 2005, organised under the auspices of WoTUG, Philips and the Technische Universiteit Eindhoven, Eindhoven, The Netherlands, 18-21 September 2005}, series = {Concurrent Systems Engineering Series}, volume = {63}, pages = {155--163}, publisher = {{IOS} Press}, year = {2005}, url = {http://www.booksonline.iospress.nl/Content/View.aspx?piid=692}, timestamp = {Fri, 23 Mar 2012 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/wotug/HappeV05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wotug/Hilderink05, author = {Gerald H. Hilderink}, editor = {Jan F. Broenink and Herman W. Roebbers and Johan P. E. Sunter and Peter H. Welch and David C. Wood}, title = {Exception Handling Mechanism in Communicating Threads for Java}, booktitle = {The 28th Communicating Process Architectures Conference, {CPA} 2005, organised under the auspices of WoTUG, Philips and the Technische Universiteit Eindhoven, Eindhoven, The Netherlands, 18-21 September 2005}, series = {Concurrent Systems Engineering Series}, volume = {63}, pages = {317--334}, publisher = {{IOS} Press}, year = {2005}, url = {http://www.booksonline.iospress.nl/Content/View.aspx?piid=703}, timestamp = {Fri, 23 Mar 2012 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/wotug/Hilderink05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wotug/Hofstee05, author = {H. Peter Hofstee}, editor = {Jan F. Broenink and Herman W. Roebbers and Johan P. E. Sunter and Peter H. Welch and David C. Wood}, title = {Communication and Synchronization in the Cell Processor - Invited Talk}, booktitle = {The 28th Communicating Process Architectures Conference, {CPA} 2005, organised under the auspices of WoTUG, Philips and the Technische Universiteit Eindhoven, Eindhoven, The Netherlands, 18-21 September 2005}, series = {Concurrent Systems Engineering Series}, volume = {63}, pages = {397}, publisher = {{IOS} Press}, year = {2005}, url = {http://www.booksonline.iospress.nl/Content/View.aspx?piid=708}, timestamp = {Fri, 23 Mar 2012 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/wotug/Hofstee05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wotug/IvanoviciBD05, author = {Mihail Ivanovici and Razvan Beuran and Neil Davies}, editor = {Jan F. Broenink and Herman W. Roebbers and Johan P. E. Sunter and Peter H. Welch and David C. Wood}, title = {Assessing Application Performance in Degraded Network Environments: An FPGA-Based Approach}, booktitle = {The 28th Communicating Process Architectures Conference, {CPA} 2005, organised under the auspices of WoTUG, Philips and the Technische Universiteit Eindhoven, Eindhoven, The Netherlands, 18-21 September 2005}, series = {Concurrent Systems Engineering Series}, volume = {63}, pages = {385--395}, publisher = {{IOS} Press}, year = {2005}, url = {http://www.booksonline.iospress.nl/Content/View.aspx?piid=707}, timestamp = {Fri, 23 Mar 2012 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/wotug/IvanoviciBD05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wotug/Jakson05, author = {John Jakson}, editor = {Jan F. Broenink and Herman W. Roebbers and Johan P. E. Sunter and Peter H. Welch and David C. Wood}, title = {{R16:} {A} New Transputer Design for FPGAs}, booktitle = {The 28th Communicating Process Architectures Conference, {CPA} 2005, organised under the auspices of WoTUG, Philips and the Technische Universiteit Eindhoven, Eindhoven, The Netherlands, 18-21 September 2005}, series = {Concurrent Systems Engineering Series}, volume = {63}, pages = {335--362}, publisher = {{IOS} Press}, year = {2005}, url = {http://www.booksonline.iospress.nl/Content/View.aspx?piid=704}, timestamp = {Fri, 23 Mar 2012 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/wotug/Jakson05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wotug/JovanovicOB05, author = {Dusko S. Jovanovic and Bojan E. Orlic and Jan F. Broenink}, editor = {Jan F. Broenink and Herman W. Roebbers and Johan P. E. Sunter and Peter H. Welch and David C. Wood}, title = {On Issues of Constructing an Exception Handling Mechanism for CSP-Based Process-Oriented Concurrent Software}, booktitle = {The 28th Communicating Process Architectures Conference, {CPA} 2005, organised under the auspices of WoTUG, Philips and the Technische Universiteit Eindhoven, Eindhoven, The Netherlands, 18-21 September 2005}, series = {Concurrent Systems Engineering Series}, volume = {63}, pages = {29--41}, publisher = {{IOS} Press}, year = {2005}, url = {http://www.booksonline.iospress.nl/Content/View.aspx?piid=686}, timestamp = {Fri, 23 Mar 2012 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/wotug/JovanovicOB05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wotug/KerridgeBS05, author = {Jon M. Kerridge and Ken Barclay and John Savage}, editor = {Jan F. Broenink and Herman W. Roebbers and Johan P. E. Sunter and Peter H. Welch and David C. Wood}, title = {Groovy Parallel! {A} Return to the Spirit of occam?}, booktitle = {The 28th Communicating Process Architectures Conference, {CPA} 2005, organised under the auspices of WoTUG, Philips and the Technische Universiteit Eindhoven, Eindhoven, The Netherlands, 18-21 September 2005}, series = {Concurrent Systems Engineering Series}, volume = {63}, pages = {13--28}, publisher = {{IOS} Press}, year = {2005}, url = {http://www.booksonline.iospress.nl/Content/View.aspx?piid=685}, timestamp = {Fri, 23 Mar 2012 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/wotug/KerridgeBS05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wotug/KlebanovRSS05, author = {Vladimir Klebanov and Philipp R{\"{u}}mmer and Steffen Schlager and Peter H. Schmitt}, editor = {Jan F. Broenink and Herman W. Roebbers and Johan P. E. Sunter and Peter H. Welch and David C. Wood}, title = {Verification of {JCSP} Programs}, booktitle = {The 28th Communicating Process Architectures Conference, {CPA} 2005, organised under the auspices of WoTUG, Philips and the Technische Universiteit Eindhoven, Eindhoven, The Netherlands, 18-21 September 2005}, series = {Concurrent Systems Engineering Series}, volume = {63}, pages = {203--218}, publisher = {{IOS} Press}, year = {2005}, url = {http://www.booksonline.iospress.nl/Content/View.aspx?piid=696}, timestamp = {Fri, 23 Mar 2012 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/wotug/KlebanovRSS05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wotug/Peeters05, author = {Ad M. G. Peeters}, editor = {Jan F. Broenink and Herman W. Roebbers and Johan P. E. Sunter and Peter H. Welch and David C. Wood}, title = {Handshake Technology: High Way to Low Power - Invited Talk}, booktitle = {The 28th Communicating Process Architectures Conference, {CPA} 2005, organised under the auspices of WoTUG, Philips and the Technische Universiteit Eindhoven, Eindhoven, The Netherlands, 18-21 September 2005}, series = {Concurrent Systems Engineering Series}, volume = {63}, pages = {401}, publisher = {{IOS} Press}, year = {2005}, url = {http://www.booksonline.iospress.nl/Content/View.aspx?piid=710}, timestamp = {Fri, 23 Mar 2012 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/wotug/Peeters05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wotug/RemGGR05, author = {Bart Rem and Ajeesh Gopalakrishnan and Tom J. H. Geelen and Herman W. Roebbers}, editor = {Jan F. Broenink and Herman W. Roebbers and Johan P. E. Sunter and Peter H. Welch and David C. Wood}, title = {Automatic Handel-C Generation from {MATLAB}}, booktitle = {The 28th Communicating Process Architectures Conference, {CPA} 2005, organised under the auspices of WoTUG, Philips and the Technische Universiteit Eindhoven, Eindhoven, The Netherlands, 18-21 September 2005}, series = {Concurrent Systems Engineering Series}, volume = {63}, pages = {43--69}, publisher = {{IOS} Press}, year = {2005}, url = {http://www.booksonline.iospress.nl/Content/View.aspx?piid=687}, timestamp = {Fri, 23 Mar 2012 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/wotug/RemGGR05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wotug/SaifhashemiB05, author = {Arash Saifhashemi and Peter A. Beerel}, editor = {Jan F. Broenink and Herman W. Roebbers and Johan P. E. Sunter and Peter H. Welch and David C. Wood}, title = {High Level Modeling of Channel-Based Asynchronous Circuits Using Verilog}, booktitle = {The 28th Communicating Process Architectures Conference, {CPA} 2005, organised under the auspices of WoTUG, Philips and the Technische Universiteit Eindhoven, Eindhoven, The Netherlands, 18-21 September 2005}, series = {Concurrent Systems Engineering Series}, volume = {63}, pages = {275--288}, publisher = {{IOS} Press}, year = {2005}, url = {http://www.booksonline.iospress.nl/Content/View.aspx?piid=701}, timestamp = {Fri, 23 Mar 2012 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/wotug/SaifhashemiB05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wotug/SampsonWB05, author = {Adam T. Sampson and Peter H. Welch and Fred R. M. Barnes}, editor = {Jan F. Broenink and Herman W. Roebbers and Johan P. E. Sunter and Peter H. Welch and David C. Wood}, title = {Lazy Cellular Automata with Communicating Processes}, booktitle = {The 28th Communicating Process Architectures Conference, {CPA} 2005, organised under the auspices of WoTUG, Philips and the Technische Universiteit Eindhoven, Eindhoven, The Netherlands, 18-21 September 2005}, series = {Concurrent Systems Engineering Series}, volume = {63}, pages = {165--175}, publisher = {{IOS} Press}, year = {2005}, url = {http://www.booksonline.iospress.nl/Content/View.aspx?piid=693}, timestamp = {Fri, 23 Mar 2012 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/wotug/SampsonWB05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wotug/SchouteSDK05, author = {Albert L. Schoute and Remco Seesink and Werner Dierssen and Niek Kooij}, editor = {Jan F. Broenink and Herman W. Roebbers and Johan P. E. Sunter and Peter H. Welch and David C. Wood}, title = {Fast Data Sharing within a Distributed, Multithreaded Control Framework for Robot Teams}, booktitle = {The 28th Communicating Process Architectures Conference, {CPA} 2005, organised under the auspices of WoTUG, Philips and the Technische Universiteit Eindhoven, Eindhoven, The Netherlands, 18-21 September 2005}, series = {Concurrent Systems Engineering Series}, volume = {63}, pages = {147--154}, publisher = {{IOS} Press}, year = {2005}, url = {http://www.booksonline.iospress.nl/Content/View.aspx?piid=691}, timestamp = {Tue, 20 Aug 2013 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/wotug/SchouteSDK05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wotug/Smith05, author = {Marc L. Smith}, editor = {Jan F. Broenink and Herman W. Roebbers and Johan P. E. Sunter and Peter H. Welch and David C. Wood}, title = {A Unifying Theory of True Concurrency Based on {CSP} and Lazy Observation}, booktitle = {The 28th Communicating Process Architectures Conference, {CPA} 2005, organised under the auspices of WoTUG, Philips and the Technische Universiteit Eindhoven, Eindhoven, The Netherlands, 18-21 September 2005}, series = {Concurrent Systems Engineering Series}, volume = {63}, pages = {177--188}, publisher = {{IOS} Press}, year = {2005}, url = {http://www.booksonline.iospress.nl/Content/View.aspx?piid=694}, timestamp = {Fri, 23 Mar 2012 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/wotug/Smith05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wotug/SputhA05, author = {Bernhard H. C. Sputh and Alastair R. Allen}, editor = {Jan F. Broenink and Herman W. Roebbers and Johan P. E. Sunter and Peter H. Welch and David C. Wood}, title = {JCSP-Poison: Safe Termination of {CSP} Process Networks}, booktitle = {The 28th Communicating Process Architectures Conference, {CPA} 2005, organised under the auspices of WoTUG, Philips and the Technische Universiteit Eindhoven, Eindhoven, The Netherlands, 18-21 September 2005}, series = {Concurrent Systems Engineering Series}, volume = {63}, pages = {71--107}, publisher = {{IOS} Press}, year = {2005}, url = {http://www.booksonline.iospress.nl/Content/View.aspx?piid=688}, timestamp = {Fri, 23 Mar 2012 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/wotug/SputhA05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wotug/StewartNWF05, author = {Johnston Stewart and Paddy Nixon and Tim Walsh and R. Ian Ferguson}, editor = {Jan F. Broenink and Herman W. Roebbers and Johan P. E. Sunter and Peter H. Welch and David C. Wood}, title = {Towards Strong Mobility in the Shared Source {CLI}}, booktitle = {The 28th Communicating Process Architectures Conference, {CPA} 2005, organised under the auspices of WoTUG, Philips and the Technische Universiteit Eindhoven, Eindhoven, The Netherlands, 18-21 September 2005}, series = {Concurrent Systems Engineering Series}, volume = {63}, pages = {363--373}, publisher = {{IOS} Press}, year = {2005}, url = {http://www.booksonline.iospress.nl/Content/View.aspx?piid=705}, timestamp = {Tue, 27 Aug 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/wotug/StewartNWF05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wotug/Stravers05, author = {Paul Stravers}, editor = {Jan F. Broenink and Herman W. Roebbers and Johan P. E. Sunter and Peter H. Welch and David C. Wood}, title = {Homogeneous Multiprocessing for Consumer Electronics - Invited Talk}, booktitle = {The 28th Communicating Process Architectures Conference, {CPA} 2005, organised under the auspices of WoTUG, Philips and the Technische Universiteit Eindhoven, Eindhoven, The Netherlands, 18-21 September 2005}, series = {Concurrent Systems Engineering Series}, volume = {63}, pages = {399}, publisher = {{IOS} Press}, year = {2005}, url = {http://www.booksonline.iospress.nl/Content/View.aspx?piid=709}, timestamp = {Fri, 23 Mar 2012 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/wotug/Stravers05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wotug/Vinter05, author = {Brian Vinter}, editor = {Jan F. Broenink and Herman W. Roebbers and Johan P. E. Sunter and Peter H. Welch and David C. Wood}, title = {The Architecture of the Minimum intrusion Grid (MiG)}, booktitle = {The 28th Communicating Process Architectures Conference, {CPA} 2005, organised under the auspices of WoTUG, Philips and the Technische Universiteit Eindhoven, Eindhoven, The Netherlands, 18-21 September 2005}, series = {Concurrent Systems Engineering Series}, volume = {63}, pages = {189--201}, publisher = {{IOS} Press}, year = {2005}, url = {http://www.booksonline.iospress.nl/Content/View.aspx?piid=695}, timestamp = {Fri, 23 Mar 2012 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/wotug/Vinter05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wotug/WelchB05, author = {Peter H. Welch and Fred R. M. Barnes}, editor = {Jan F. Broenink and Herman W. Roebbers and Johan P. E. Sunter and Peter H. Welch and David C. Wood}, title = {Mobile Barriers for occam-pi: Semantics, Implementation and Application}, booktitle = {The 28th Communicating Process Architectures Conference, {CPA} 2005, organised under the auspices of WoTUG, Philips and the Technische Universiteit Eindhoven, Eindhoven, The Netherlands, 18-21 September 2005}, series = {Concurrent Systems Engineering Series}, volume = {63}, pages = {289--316}, publisher = {{IOS} Press}, year = {2005}, url = {http://www.booksonline.iospress.nl/Content/View.aspx?piid=702}, timestamp = {Fri, 23 Mar 2012 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/wotug/WelchB05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wotug/WiggersKSJ05, author = {Maarten Wiggers and Nikolay Kavaldjiev and Gerard J. M. Smit and Pierre G. Jansen}, editor = {Jan F. Broenink and Herman W. Roebbers and Johan P. E. Sunter and Peter H. Welch and David C. Wood}, title = {Architecture Design Space Exploration for Streaming Applications through Timing Analysis}, booktitle = {The 28th Communicating Process Architectures Conference, {CPA} 2005, organised under the auspices of WoTUG, Philips and the Technische Universiteit Eindhoven, Eindhoven, The Netherlands, 18-21 September 2005}, series = {Concurrent Systems Engineering Series}, volume = {63}, pages = {219--233}, publisher = {{IOS} Press}, year = {2005}, url = {http://www.booksonline.iospress.nl/Content/View.aspx?piid=697}, timestamp = {Fri, 23 Mar 2012 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/wotug/WiggersKSJ05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/wotug/2005, editor = {Jan F. Broenink and Herman W. Roebbers and Johan P. E. Sunter and Peter H. Welch and David C. Wood}, title = {The 28th Communicating Process Architectures Conference, {CPA} 2005, organised under the auspices of WoTUG, Philips and the Technische Universiteit Eindhoven, Eindhoven, The Netherlands, 18-21 September 2005}, series = {Concurrent Systems Engineering Series}, volume = {63}, publisher = {{IOS} Press}, year = {2005}, url = {http://www.booksonline.iospress.nl/Content/View.aspx?piid=56}, isbn = {978-1-58603-561-7}, timestamp = {Tue, 03 Mar 2009 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/wotug/2005.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.