![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
Search dblp for Publications
export results for "toc:db/conf/wotug/cpa2006.bht:"
@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} }
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.