Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "stream:streams/conf/wotug:"
download as .bib file
@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 = {Wed, 17 May 2017 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
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 = {Fri, 23 Mar 2012 00:00:00 +0100},
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}
}
a service of 
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.
retrieved on 2024-05-30 02:08 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
