Stop the war!
Остановите войну!
for scientists:
default search action
Search dblp for Publications
export results for "toc:db/conf/wotug/cpa2012.bht:"
@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} }
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.