Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/wotug/cpa2008.bht:"
download as .bib file
@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}
}
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-04-25 14:49 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:
