|
|
|
|
| LEADER |
00000cam a2200000 i 4500 |
| 001 |
ocn437247358 |
| 003 |
OCoLC |
| 005 |
20241006213017.0 |
| 006 |
m o d |
| 007 |
cr mn|---||||| |
| 008 |
090817s2008 ne a ob 101 0 eng d |
| 040 |
|
|
|a MERUC
|b eng
|e pn
|c MERUC
|d YDXCP
|d OCLCQ
|d EBLCP
|d OCLCQ
|d DEBSZ
|d OCLCQ
|d ZCU
|d MERUC
|d ICG
|d OCLCO
|d OCLCF
|d OCLCQ
|d OCLCO
|d AU@
|d OCLCQ
|d DKC
|d OCLCQ
|d TXI
|d OCLCO
|d OCLCQ
|d OCLCO
|
| 019 |
|
|
|a 191037222
|
| 020 |
|
|
|a 9781597343190
|q (electronic bk.)
|
| 020 |
|
|
|a 1597343196
|q (electronic bk.)
|
| 020 |
|
|
|a 9781607503682
|
| 020 |
|
|
|a 1607503689
|
| 035 |
|
|
|a (OCoLC)437247358
|z (OCoLC)191037222
|
| 050 |
|
4 |
|a QA76.58
|
| 049 |
|
|
|a HCDD
|
| 111 |
2 |
|
|a WoTUG Technical Meeting
|n (31st :
|d 2008 :
|c University of York)
|
| 245 |
1 |
0 |
|a Communicating process architectures 2008 :
|b WoTUG-31 ; proceedings of the 31st WoTUG technical meeting, 7-10 September 2008, University of York, York, UK /
|c edited by Peter H. Welch, Susan Stepney, Fiona A.C. Polack, Frederick R.M. Barnes, Alistair A. McEwan, Gardiner S. Stiles, Jan F. Broenink, and Adam T. Sampson.
|
| 246 |
3 |
0 |
|a Proceedings of the 31st WoTUG technical meeting, 7-10 September 2008, University of York, York, UK
|
| 264 |
|
1 |
|a Amsterdam :
|b IOS Press,
|c [2008]
|
| 264 |
|
4 |
|c ©2008
|
| 300 |
|
|
|a 1 online resource (xi, 459 pages) :
|b illustrations
|
| 336 |
|
|
|a text
|b txt
|2 rdacontent
|
| 337 |
|
|
|a computer
|b c
|2 rdamedia
|
| 338 |
|
|
|a online resource
|b cr
|2 rdacarrier
|
| 504 |
|
|
|a Includes bibliographical references at chapter ends, and indexes.
|
| 505 |
0 |
0 |
|g Part A.
|t Invited speakers ;
|t Types, orthogonality and genericity : some tools for communicating process architectures /
|r Samson Abramsky --
|t How to soar with CSP /
|r Colin O'Halloran --
|g Part B.
|t Conference papers ;
|t A CSP model for mobile channels /
|r Peter H. Welch and
|r Frederick R.M. Barnes --
|t Communicating Scala objects /
|r Bernard Sufrin --
|t Combining EDF scheduling with occam using the Toc programming language /
|r Martin Korsgaard and
|r Sverre Hendseth --
|t Communicating Haskell processes : composable explicit concurrency using monads /
|r Neil C.C. Brown --
|t Two-way protocols for occam-[lowercase Greek]Pi /
|r Adam T. Sampson --
|t Prioritized service architecture : refinement and visual design /
|r Ian R. East --
|t Experiments in translating CSP||B to Handel-C /
|r Steve Schneider,
|r Helen Treharne,
|r Alistair McEwan, and
|r Wilson Ifill --
|t FPGA based control of a production cell system /
|r Marcel A. Groothuis,
|r Jasper J.P. van Zuijlen, and
|r Jan F. Broenink --
|t Shared-clock methodology for time-triggered multi-cores /
|r Keith F. Athaide,
|r Michael J. Pont, and
|r Devaraj Ayavoo --
|t Transfer request broker : resolving input-output choice /
|r Oliver Faust,
|r Bernhard H.C. Sputh, and
|r Alastair R. Allen --
|t Mechanical verification of a two-way sliding window protocol /
|r Bahareh Badban, Wan Fokkink, and Jaco van de Pol --
|t RRABP : point-to-point communication over unreliable components /
|r Bernhard H.C. Sputh,
|r Oliver Faust, and
|r Alastair R. Allen --
|t IC2IC : a lightweight serial interconnect channel for multiprocessor networks /
|r Oliver Faust,
|r Bernhard H.C. Sputh, and
|r Alastair R. Allen --
|t Asynchronous active objects in Java /
|r George Oprean and
|r Jan B. Pedersen --
|t JCSPre : the robot edition to control LEGO NXT robots /
|r Jon Kerridge,
|r Alex Panayotopoulos, and
|r Patrick Lismore
|
| 505 |
0 |
0 |
|t A critique of JCSP networking /
|r Kevin Chalmers,
|r Jon Kerridge, and
|r Imed Romdhani --
|t Virtual machine based debugging for occam-[lowercase Greek]Pi /
|r Carl G. Ritson and
|r Jonathan Simpson --
|t Process-oriented collective operations /
|r John Markus Bjørndalen and
|r Adam T. Sampson --
|t Representation and implementation of CSP and VCR traces /
|r Neil C.C. Brown and
|r Marc L. Smith --
|t CSPBuilder : CSP based scientific workflow modelling /
|r Rune Møllegård Friborg and
|r Brian Vinter --
|t Visual process-oriented programming for robotics /
|r Jonathan Simpson and
|r Christian L. Jacobsen --
|t Solving the Santa Claus problem : a comparison of various concurrent programming techniques /
|r Jason Hurt and
|r Jan B. Pedersen --
|t Mobile agents and processes using communicating process architectures /
|r Jon Kerridge,
|r Jens-Oliver Haschke, and
|r Kevin Chalmers --
|t YASS : a scaleable sensornet simulator for large scale experimentation /
|r Jonathan Tate and
|r Iain Bate --
|t Modelling a multi-core media processor using JCSP /
|r Anna Kosek,
|r Jon Kerridge, and
|r Aly Syed --
|g Part C.
|t Fringe presentation abstracts ;
|t How to make a process invisible /
|r Neil C.C. Brown --
|t Designing animation facilities for gCSP /
|r Hans T.J. van der Steen,
|r Marcel A. Groothuis, and
|r Jan F. Broenink --
|t Tock : one year on /
|r Adam T. Sampson and
|r Neil C.C. Brown --
|t Introducing JCSP networking 2.0 /
|r Kevin Chalmers --
|t Mobile processes in an ant simulation /
|r Eric Bonnici --
|t Santa Claus : with mobile reindeer and elves /
|r Peter H. Welch and
|r Jan B. Pedersen.
|
| 520 |
|
|
|a Communicating Process Architectures 2008 contains the proceedings of the thirty-first Communicating Process Architectures Conference (CPA 2008) organized under the auspices of WoTUG and the Department of Computer Science of the University of York. The aim of this book is to cover both theoretical aspects and industrial applications of Communicating Processes. Two invited speakers have given excellent contributions to this topic. Professor Samson Abramsky has worked in the areas of semantics and logic of computation, and concurrency. His work on game semantics considers interaction and information flow between multiple agents and their environment. This has yielded new approaches to compositional model-checking and to analysis for programs with state, concurrency, probability, and other features. Professor Colin O'Halloran has been instrumental in the uptake of formal methods in the development and verification of high assurance systems on an industrial scale. His research interests are in automating the use of formal methods and using these techniques at reasonable cost and on an industrial scale.
|
| 588 |
0 |
|
|a Print version record.
|
| 650 |
|
0 |
|a Computer architecture
|v Congresses.
|
| 650 |
|
0 |
|a occam (Computer program language)
|v Congresses.
|
| 650 |
|
0 |
|a Parallel processing (Electronic computers)
|v Congresses.
|
| 650 |
|
0 |
|a Transputers
|v Congresses.
|
| 650 |
|
7 |
|a Computer architecture
|2 fast
|
| 650 |
|
7 |
|a occam (Computer program language)
|2 fast
|
| 650 |
|
7 |
|a Parallel processing (Electronic computers)
|2 fast
|
| 650 |
|
7 |
|a Transputers
|2 fast
|
| 655 |
|
7 |
|a proceedings (reports)
|2 aat
|
| 655 |
|
7 |
|a Conference papers and proceedings
|2 fast
|
| 655 |
|
7 |
|a Conference papers and proceedings.
|2 lcgft
|
| 655 |
|
7 |
|a Actes de congrès.
|2 rvmgf
|
| 700 |
1 |
|
|a Welch, P. H.,
|e editor,
|e author.
|
| 700 |
1 |
|
|a Stepney, Susan.,
|e editor.
|
| 700 |
1 |
|
|a Polack, Fiona A. C.,
|e editor.
|
| 700 |
1 |
|
|a Barnes, Frederick R. M.,
|e editor,
|e author.
|
| 700 |
1 |
|
|a McEwan, Alistair A.,
|e editor.
|
| 700 |
1 |
|
|a Stiles, Gardiner S.,
|e editor.
|
| 700 |
1 |
|
|a Broenink, Jan F.,
|e editor.
|
| 700 |
1 |
|
|a Sampson, Adam T.,
|e editor,
|e author.
|
| 776 |
1 |
|
|z 9781586039073
|
| 856 |
4 |
0 |
|u https://ebookcentral.proquest.com/lib/holycrosscollege-ebooks/detail.action?docID=407920
|y Click for online access
|
| 903 |
|
|
|a EBC-AC
|
| 994 |
|
|
|a 92
|b HCD
|