LOGIN TO YOUR ACCOUNT

Username
Password
Remember Me
Or use your Academic/Social account:

CREATE AN ACCOUNT

Or use your Academic/Social account:

Congratulations!

You have just completed your registration at OpenAire.

Before you can login to the site, you will need to activate your account. An e-mail will be sent to you with the proper instructions.

Important!

Please note that this site is currently undergoing Beta testing.
Any new content you create is not guaranteed to be present to the final version of the site upon release.

Thank you for your patience,
OpenAire Dev Team.

Close This Message

CREATE AN ACCOUNT

Name:
Username:
Password:
Verify Password:
E-mail:
Verify E-mail:
*All Fields Are Required.
Please Verify You Are Human:
fbtwitterlinkedinvimeoflicker grey 14rssslideshare1
Publisher: Open Channel Publishing Ltd
Languages: English
Types: Unknown
Subjects: QA76
This paper considers some questions prompted by a brief review of the history of computing. Why is programming so hard? Why is concurrency considered an “advanced” subject? What’s the matter with Objects? Where did all the Maths go? In searching for answers, the paper looks at some concerns over fundamental ideas within object orientation (as represented by modern programming languages), before focussing on the concurrency model of communicating processes and its particular expression in the occam family of languages. In that focus, it looks at the history of occam, its underlying philosophy (Ockham’s Razor), its semantic foundation on Hoare’s CSP, its principles of process oriented design and its development over almost three decades into occam-π (which blends in the concurrency dynamics of Milner’s π-calculus). Also presented will be an urgent need for rationalisation – occam-π is an experiment that has demonstrated significant results, but now needs time to be spent on careful review and implementing the conclusions of that review. Finally, the future is considered. In particular, is there a future?
  • The results below are discovered through our pilot algorithms. Let us know how we are doing!

    • [1] Wikipedia. Analytical Engine, 1837. http://en.wikipedia.org/wiki/Analytical_engine.
    • [2] Alfred N. Whitehead and Bertrand Russell. Principia Mathematica (vols. I-III). Cambridge University Press, 1910-1913.
    • [3] Wikipedia. Principia Mathematica, 1910-1913. http://en.wikipedia.org/wiki/Principia_ Mathematica.
    • [4] Wikipedia. Go¨del's incompleteness theorems, 1931. http://en.wikipedia.org/wiki/Godel%27s_ incompleteness_theorems.
    • [5] Wikipedia. Lambda Calculus, 1936. http://en.wikipedia.org/wiki/Lambda_calculus.
    • [6] Alan M. Turing. On Computable Numbers, with an Application to the Entscheidungsproblem. Proc. London Math. Soc., s2-42(1):230-265, October 1937. doi:10.1112/plms/s2-42.1.230.
    • [7] Wikipedia. Z3 Computer, 1941. http://en.wikipedia.org/wiki/Z3_(computer).
    • [8] Wikipedia. Colossus Computer, 1943. http://en.wikipedia.org/wiki/Colossus_computer.
    • [9] Wikipedia. ENIAC, 1946. http://en.wikipedia.org/wiki/ENIAC.
    • [10] M. D. May. CSP, occam and Transputers. In Ali E. Abdallah, Cliff B. Jones, and Jeff W. Sanders, editors, 25 Years of CSP, volume 3525 of Lecture Notes in Computer Science, pages 75-84. Springer Verlag, April 2005.
    • [11] Ngi. Nieuwe Ontwikkelingen voor Software Development, 2005. https://www.ngi.nl/Afdelingen/ Informatie-Systemen/Verslagen/Nieuwe-ontwikkelingen-voor-Software-Development. html.
    • [12] Charles A. R. Hoare. Communicating Sequential Processes. CACM, 21(8):666-677, August 1978.
    • [13] Charles A. R. Hoare. Communicating Sequential Processes. Prentice-Hall, 1985.
    • [14] Andrew W. Roscoe. The Theory and Practice of Concurrency. Prentice Hall, 1997.
    • [15] Steve Schneider. Concurrent and Real-time Systems - The CSP Approach. Wiley and Sons Ltd., UK, Baffins Lane, Chichester, UK, 1999. ISBN: 0-471-62373-3.
    • [16] Andrew W. Roscoe. Understanding Concurrent Systems. Springer, 2010.
    • [17] Robin Milner. Communicating and Mobile Systems: the π-Calculus. Cambridge University Press, 1999. ISBN-10: 0521658691, ISBN-13: 9780521658690.
    • [18] Dick Pountain and David May. A Tutorial Introduction to occam Programming. McGraw-Hill, Inc., New York, NY, USA, 1987.
    • [19] E.W. Dijkstra. Hierarchical Ordering of Sequential Processes. Acta Informatica, 1(2):115-138, June 1971. http://www.cs.utexas.edu/users/EWD/ewd03xx/EWD310.PDF.
    • [20] P.H. Welch. Wot, No Chickens? Java Threads mailing list archive, September 1996. http://www.cs. kent.ac.uk/projects/ofa/java-threads/0.html.
    • [21] P.H. Welch. Java Threads in the Light of occam/CSP. In P.H. Welch and A.W.P. Bakkers, editors, Proceedings of WoTUG 21, volume 52 of Concurrent Systems Engineering, pages 259-284, Amsterdam, The Netherlands, April 1998. WoTUG, IOS Press. ISBN: 90-5199-391-9. http://www.cs.kent.ac. uk/pubs/1998/702/content.pdf.
    • [22] Charles A. R. Hoare. Monitors: An Operating System Structuring Concept. Communications of the ACM, 17(10):549-557, October 1974.
    • [23] Peter H. Welch, Kurt Wallnau, Adam T. Sampson, and Mark Klein. To Boldly Go: an occam-π Mission to Engineer Emergence. Natural Computing, 11(3):449-474, September 2012. http://dx.doi.org/10. 1007/s11047-012-9304-2.
    • [24] Peter H. Welch. Concurrency Design and Practice. http://www.cs.kent.ac.uk/projects/ofa/ sei-cmu/, November 2007. A course on concurrency and process-oriented design, based on occam-π.
    • [25] P. H. Welch and F. R. M. Barnes. Communicating Mobile Processes: introducing occam-π. In Ali E. Abdallah, Cliff B. Jones, and Jeff W. Sanders, editors, 25 Years of CSP, volume 3525 of Lecture Notes in Computer Science, pages 175-210. Springer Verlag, April 2005.
    • [26] F. R. M. Barnes and P. H. Welch. Communicating Mobile Processes. In Ian East, Jeremy Martin, Peter H. Welch, David Duce, and Mark Green, editors, Communicating Process Architectures 2004, volume 62, WoTUG-27 of Concurrent Systems Engineering Series, ISSN 1383-7575, pages 201-218, Amsterdam, The Netherlands, September 2004. IOS Press. ISBN: 1-58603-458-8.
    • [27] P. H. Welch and F. R. M. Barnes. Mobile Barriers for occam-π: Semantics, Implementation and Application. In Jan F. Broenink, Herman W. Roebbers, Johan P.E. Sunter, Peter H. Welch, and David C. Wood, editors, Communicating Process Architectures 2005, volume 63, WoTUG-28 of Concurrent Systems Engineering Series, pages 289-316, Amsterdam, The Netherlands, September 2005. IOS Press. ISBN: 1- 58603-561-4.
    • [28] P. H. Welch and F. R. M. Barnes. A CSP Model for Mobile Channels. In Communicating Process Architectures 2008, volume 66, WoTUG-31 of Concurrent Systems Engineering Series, pages 17-33, Amsterdam, The Netherlands, September 2008. IOS Press. ISBN: 978-1-58603-907-3.
    • [29] P. H. Welch. An occam-π Quick Reference Guide. Programming Languages and Systems Research Group, University of Kent, https://www.cs.kent.ac.uk/research/groups/plas/wiki/ OccamPiReference/, 2011.
    • [30] Peter H. Welch and Jan B. Pedersen. Santa Claus: Formal Analysis of a Process-Oriented Solution. ACM Trans. Program. Lang. Syst., 32(4):14:1-14:37, April 2010. http://doi.acm.org/10.1145/1734206. 1734211.
    • [31] Formal Systems (Europe) Ltd. Failures-Divergence Refinement (FDR2 User Manual). Oxford University Computing Laboratory. http://www.cs.ox.ac.uk/projects/concurrency-tools/, 2.94 edition, May 2012. http://www.cs.ox.ac.uk/projects/concurrency-tools/download/ fdr2manual-2.94.pdf.
    • [32] Peter H. Welch and Neil C.C. Brown. Self-Verifying Dining Philosophers. Presentation to IFIP Working Group 2.4, September 2011. https://www.cs.kent.ac.uk/research/groups/plas/wiki/IFIP_ WG24.
    • [33] A. T. Sampson, C. G. Ritson, M. C. Jadud, F. R. M. Barnes, and P. H. Welch. occam-π Home Page. Programming Languages and Systems Research Group, University of Kent, http://occam-pi.org/, 2010.
    • [34] Frederick R. M. Barnes, Peter H. Welch, Jim Moores, and David C. Wood. The KRoC Home Page. Programming Languages and Systems Research Group, University of Kent, http://www.cs.kent.ac. uk/projects/ofa/kroc/, 2010.
    • [35] G.H. Hilderink, J.F. Broenink, and A. W. P. Bakkers. Communicating Java Threads. In Parallel Programming and Java, Proceedings of WoTUG 20, volume 50, pages 48-76, University of Twente, Netherlands, 1997. IOS Press, Netherlands.
    • [36] G.H. Hilderink, J.F. Broenink, and A. W. P. Bakkers. Communicating Threads for Java. In Proceedings of WoTUG-22: Architectures, Languages and Techniques for Concurrent Systems, pages 243-261. Proceedings of the 22nd World Occam and Transputer User Group Technical Meeting, Keele, United Kingdom, 1999.
    • [37] A. W. P. Bakkers, G.H. Hilderink, and J.F. Broenink. A Distributed Real-time Java System Based on CSP. In Proceedings of WoTUG-22: Architectures, Languages and Techniques for Concurrent Systems, pages 229-241. Proceedings of the 22nd World Occam and Transputer User Group Technical Meeting, Keele, United Kingdom, 1999.
    • [38] M. M. Bezemer, R. J. W. Wilterdink, and J.F. Broenink. LUNA: Hard Real-Time, Multi-Threaded, CSPCapable Execution Framework. In P.H. Welch, A. T. Sampson, J. B. Pedersen, J. M. Kerridge, J.F. Broenink, and F. R. M. Barnes, editors, Communicating Process Architectures 2011, Limmerick, volume 68 of Concurrent System Engineering Series, pages 157-175, Amsterdam, November 2011. IOS Press BV. WoTUG-33.
    • [39] P. H. Welch and N. C. C. Brown. The JCSP (CSP for Java) Home Page, 2011. http://www.cs.kent. ac.uk/projects/ofa/jcsp/.
    • [40] P.H. Welch. Process Oriented Design for Java: Concurrency for All. In P.M.A.Sloot, C.J.K.Tan, J.J.Dongarra, and A.G.Hoekstra, editors, Computational Science - ICCS 2002, volume 2330 of Lecture Notes in Computer Science, pages 687-687. Springer-Verlag, April 2002. Keynote Tutorial.
    • [41] P. H. Welch, N. C. C. Brown, J. Moores, K. Chalmers, and B. H. C. Sputh. Integrating and Extending JCSP. In Alistair A. McEwan, Steve Schneider, Wilson Ifill, and Peter Welch, editors, Communicating Process Architectures 2007, volume 65 of Concurrent Systems Engineering Series, pages 349-370, Amsterdam, The Netherlands, July 2007. IOS Press. ISBN: 978-1-58603-767-3.
    • [42] Peter H. Welch, Neil C. C. Brown, James Moores, Kevin Chalmers, and Bernhard H. C. Sputh. Alting Barriers: Synchronisation with Choice in Java using JCSP. Concurrency and Computation: Practice and Experience, 22:1049-1062, March 2010. The DOI should redirect to http://onlinelibrary.wiley. com.chain.kent.ac.uk/doi/10.1002/cpe.1471/abstract.
    • [43] J. Moores. CCSP - a Portable CSP-based Run-time System Supporting C and occam. In B.M. Cook, editor, Architectures, Languages and Techniques for Concurrent Systems, volume 57 of Concurrent Systems Engineering series, pages 147-168, Amsterdam, The Netherlands, April 1999. WoTUG, IOS Press. ISBN: 90-5199-480-X. http://www.cs.kent.ac.uk/pubs/1999/753.
    • [44] James Moores. The Design and Implementation of occam/CSP Support for a Range of Languages and Platforms. PhD thesis, The University of Kent at Canterbury, Canterbury, Kent. CT2 7NF, December 2000.
    • [45] Carl G. Ritson, Adam T. Sampson, and Frederick R. M. Barnes. Multicore Scheduling for Lightweight Communicating Processes. In John Field and Vasco Thudichum Vasconcelos, editors, Coordination Models and Languages, COORDINATION 2009, Lisboa, Portugal, June 9-12, 2009. Proceedings, volume 5521 of Lecture Notes in Computer Science, pages 163-183. Springer, June 2009. http://www.cs.kent.ac. uk/pubs/2009/2928/.
    • [46] Carl G. Ritson, Adam T. Sampson, and Frederick R. M. Barnes. Multicore Scheduling for Lightweight Communicating Processes. Science of Computer Programming, 77(6):727-740, 2012. Revised from LNCS (5521) paper with same name.
    • [47] Carl G. Ritson. Scalable Support for Process-Oriented Programming. PhD thesis, School of Computing, University of Kent, March 2013. (Awarded July, 2013).
    • [48] N. C. C. Brown and P. H. Welch. An Introduction to the Kent C++CSP Library. In J.F. Broenink and G.H. Hilderink, editors, Communicating Process Architectures 2003, WoTUG-26, Concurrent Systems Engineering, ISSN 1383-7575, pages 139-156, Amsterdam, The Netherlands, September 2003. IOS Press. ISBN: 1-58603-381-6.
    • [49] N. C. C. Brown. C++CSP Home Page. Programming Languages and Systems Research Group, University of Kent, http://www.cs.kent.ac.uk/projects/ofa/c++csp/, 2010.
    • [50] N. C. C. Brown. Communicating Haskell Processes Home Page. Programming Languages and Systems Research Group, University of Kent, http://www.cs.kent.ac.uk/projects/ofa/chp/, 2010.
    • [51] Neil C. C. Brown. Communicating Haskell Processes: Composable Explicit Concurrency Using Monads. In Peter H. Welch, Susan Stepney, Fiona A.C. Polack, Frederick R.M. Barnes, Alistair A. McEwan, Gardner S. Stiles, Jan F. Broenink, and Adam T. Sampson, editors, Communicating Process Architectures 2008, volume 66 of Concurrent Systems Engineering, pages 67-83, Amsterdam, The Netherlands, September 2008. WoTUG, IOS Press.
    • [52] Bernard Sufrin. Communicating Scala Objects. In Communicating Process Architectures 2008, volume 66, WoTUG-31 of Concurrent Systems Engineering Series, pages 35-54, Amsterdam, The Netherlands, sep 2008. IOS Press.
    • [53] Brian Vinter, John Markus Bjrndalen, and Rune Mllegard Friborg. PyCSP Revisited. In Communicating Process Architectures 2009, volume 67, WoTUG-32 of Concurrent Systems Engineering Series, pages 263-276, Amsterdam, The Netherlands, nov 2009. IOS Press.
    • [54] Sarah Mount, Mohammad Hammoudeh, Sam Wilson, and Robert Newman. CSP as a Domain-Specific Language Embedded in Python and Jython. In Communicating Process Architectures 2009, volume 67, WoTUG-32 of Concurrent Systems Engineering Series, pages 293-309, Amsterdam, The Netherlands, nov 2009. IOS Press.
    • [55] Waide B. Tristram and Karen Bradshaw. Hydra: A Python Framework for Parallel Computing. In Communicating Process Architectures 2009, volume 67, WoTUG-32 of Concurrent Systems Engineering Series, pages 311-324, Amsterdam, The Netherlands, nov 2009. IOS Press.
    • [56] M.C. Jadud. Parallel Programming for the Rest of Us, 2013. http://concurrency.cc/.
    • [57] Christian L. Jacobsen, Matthew C. Jadud, Omer Kilic, and Adam T. Sampson. Concurrent Event-driven Programming in occam-π; for the Arduino. In Communicating Process Architectures 2011, volume 68, WoTUG-33 of Concurrent Systems Engineering Series, pages 177-193, Amsterdam, The Netherlands, June 2011. IOS Press. ISBN: 978-1-60750-773-4.
    • [58] Ian Armstrong, Michael Pirrone-Brusse, A. Smith, and Matthew C. Jadud. The Flying Gator: Towards Aerial Robotics in occam-π. In Communicating Process Architectures 2011, volume 68, WoTUG-33 of Concurrent Systems Engineering Series, pages 329-340, Amsterdam, The Netherlands, June 2011. IOS Press. ISBN: 978-1-60750-773-4.
    • [59] F.R.M. Barnes. RMoX: an occam-pi Operating-System, January 2005. Available at: http://rmox.net.
    • [60] F.R.M. Barnes and C.G. Ritson. Process-Oriented Device Driver Development. Concurrency and Computation: Practice and Experience, 22(8):995-1006, June 2010.
    • [61] S. Stepney, P.H. Welch, F.A.C. Pollack, J.C.P. Woodcock, S. Schneider, H.E. Treharne, and A.L.C. Cavalcanti. TUNA: Theory Underpinning Nanotech Assemblers (feasibility study), January 2005. EPSRC grant EP/C516966/1. Available from: http://www.cs.york.ac.uk/nature/tuna/index.htm.
    • [62] C. G. Ritson and P. H. Welch. A Process-Oriented Architecture for Complex System Modelling. Concurrency and Computation: Practice and Experience, 22:965-980, March 2010.
    • [63] C. Ritson and P.H.Welch. 3D Blood Clotting (TUNA), 2006. https://www.cs.kent.ac.uk/ research/groups/sys/wiki/3D\_Blood\_Clotting/.
    • [64] P. H. Welch, A. T. Sampson, and D. C. Wood. “To Boldly Go: an occam-π Mission to Engineer Emergence” - supplementary materials. Programming Languages and Systems Research Group, University of Kent, http://projects.cs.kent.ac.uk/projects/naco-boldly/, 2011.
    • [65] Paul S. Andrews, Adam T. Sampson, John Markus Bjørndalen, Susan Stepney, Jon Timmis, Douglas N. Warren, and Peter H. Welch. Investigating Patterns for the Process-oriented Modelling and Simulation of Space in Complex Systems. In S. Bullock, J. Noble, R. Watson, and M. A. Bedau, editors, Artificial Life XI: Proceedings of the Eleventh International Conference on the Simulation and Synthesis of Living Systems, pages 17-24. MIT Press, Cambridge, MA, August 2008.
    • [66] Fiona A.C. Polack, Paul S. Andrews, and Adam T. Sampson. The Engineering of Concurrent Simulations of Complex Systems. In 2009 IEEE Congress on Evolutionary Computation (CEC 2009), pages 217-224. IEEE Press, 2009.
    • [67] Susan Stepney, Peter H. Welch, Fiona Polack, Jon Timmis, Fred R. M. Barnes, and Andy Tyrrell. CoSMoS Home Page, 2010. EPSRC EP/E053505/1 and EP/E049419/1. http://www.cosmos-research.org/ about.html.
    • [68] S. Stepney, P.H. Welch, J. Timmis, C. Alexander, F.R.M. Barnes, M. Bates, F.A.C. Polack, and A. Tyrrell. CoSMoS: Complex Systems Modelling and Simulation infrastructure, April 2007. EPSRC grants EP/E053505/1 and EP/E049419/1. URL: http://www.cosmos-research.org/about.html.
    • [69] P.H. Welch, F.R.M. Barnes, and F.A.C. Polack. Communicating Complex Systems. In Michael G. Hinchey, editor, Proceedings of the 11th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS-2006), pages 107-117. IEEE, August 2006.
    • [70] P. H. Welch, N. C. C. Brown, J. Moores, K. Chalmers, and B. H. C. Sputh. Alting Barriers: Synchronisation with Choice in Java using CSP. Concurrency and Computation: Practice and Experience, 22:1049-1062, 2010.
    • [71] F.R.M. Barnes. Compiling CSP. In P.H. Welch, J. Kerridge, and F.R.M. Barnes, editors, Communicating Process Architectures 2006, volume 64 of Concurrent Systems Engineering Series, pages 377-388, Amsterdam, The Netherlands, September 2006. IOS Press. ISBN: 1-58603-671-8.
    • [72] Geoff Barrett. occam3 Reference Manual. INOS Ltd., March 1992. http://www.wotug.org/occam/ documentation/oc3refman.pdf.
    • [73] F.R.M. Barnes. Towards a New Language for Concurrent Programming. CPA 2011 Fringe: slides at http: //www.wotug.org/papers/CPA-2011/Barnes11/Barnes11-slides.pdf, August 2011. Guppy Home Page: http://frmb.org/guppy.html.
    • [74] P.H. Welch. Union Data Types. occam Enhancement Proposal 156, April 2006. https://www.cs.kent. ac.uk/research/groups/plas/wiki/OEP/156.
    • [75] J.C. Reynolds. Separation Logic: a Logic for Shared Mutable Data Structures. In Proceedings of the 17th. Annual Symposium on Logic in Computer Science, pages 55-74, Copenhagen, Denmark, July 2002. WoTUG, IEEE Press. ISBN: 0-7695-1483-9. http://dx.doi.org/10.1109/LICS.2002.1029817.
    • [76] Neil C.C. Brown. Auto-Mobiles: Optimised Message-Passing. In Communicating Process Architectures 2009, volume 67, WoTUG-32 of Concurrent Systems Engineering Series, pages 225-238, Amsterdam, The Netherlands, nov 2009. IOS Press.
    • [77] Adam T. Sampson. Two-Way Protocols for occam-π. In Peter H. Welch, S. Stepney, F.A.C Polack, Frederick R. M. Barnes, Alistair A. McEwan, G. S. Stiles, Jan F. Broenink, and Adam T. Sampson, editors, Communicating Process Architectures 2008, volume 66, WoTUG-31 of Concurrent Systems Engineering Series, pages 85-97, Amsterdam, The Netherlands, sep 2008. IOS Press.
    • [78] Adam T. Sampson. Process-Oriented Patterns for Concurrent Software Engineering. PhD thesis, University of Kent, October 2010.
    • [79] K. Honda. Types for Dyadic Interaction. In CONCUR93: Proceedings of the International Conference on Concurrency Theory, page 509523. Springer-Verlag, 1993. LNCS 715.
    • [80] Kaku Takeuchi, Kohei Honda, and Makoto Kubo. An Interaction-based Language and its Typing System. In PARLE 94: Parallel Architectures and Languages Europe, pages 398-413. Springer-Verlag, 1994. LNCS 817.
    • [81] Nobuko Yoshida and Vasco T. Vasconcelos. Language Primitives and Type Discipline for Structured Communication-based Programming. In Proceedings of the European Symposium on Programming 1998, pages 122-138. Springer-Verlag, 1998. LNCS 1381.
    • [82] Simon Gay, Vasco Vasconcelos, and Antonio Ravara. Session Types for Inter-Process Communication. Technical report, Department of Computing Science, University of Glasgow, 2003. TR-2003-133.
    • [83] Peter H. Welch, Jan Baekgaard Pedersen, Frederick R. M. Barnes, Carl G. Ritson, and Neil C.C. Brown. Adding Formal Verification to occam-π. In Communicating Process Architectures 2011, volume 68, WoTUG-33 of Concurrent Systems Engineering Series, pages 379-379 (Endnote Presentation), Amsterdam, The Netherlands, jun 2011. IOS Press. ISBN: 978-1-60750-773-4. http://www.wotug.org/ papers/CPA-2011/Welch11/Welch11-slides.pdf.
    • [84] Peter H. Welch, Jan B. Pedersen, Frederick R.M. Barnes, and Carl G. Ritson. Self-Verifying Concurrent Programming. Presentation to IFIP Working Group 2.4, September 2011. https://www.cs.kent.ac. uk/research/groups/plas/wiki/IFIP_WG24.
    • [85] P.H. Welch and E. Bonnici. Variant Call Protocols. occam Enhancement Proposal 178, August 2010. https://www.cs.kent.ac.uk/research/groups/plas/wiki/OEP/178.
    • [86] Eric Bonnici and Peter H. Welch. Mobile Processes and Call Channels with Variant Interfaces (a Duality). In Communicating Process Architectures 2011, volume 68, WoTUG-33 of Concurrent Systems Engineering Series, pages 377-377 (Fringe Presentation), Amsterdam, The Netherlands, June 2011. IOS Press. ISBN: 978-1-60750-773-4.
    • [87] F.R.M. Barnes. Extended Rendezvous. occam Enhancement Proposal 110, December 2001. https: //www.cs.kent.ac.uk/research/groups/plas/wiki/OEP/110.
    • [88] Jan Baekgaard Pedersen and Matthew Sowders. Static Scoping and Name Resolution for Mobile Processes with Polymorphic Interfaces. In Peter H. Welch, Adam T. Sampson, Jan Baekgaard Pedersen, Jon Kerridge, Jan F. Broenink, and Frederick R. M. Barnes, editors, Communicating Process Architectures 2011, pages 71-85, jun 2011.
    • [89] J.B.Pedersen and M.L.Smith. ProcessJ: A Possible Future of Process Oriented Design. In Communicating Process Architectures 2013. Open Channel Publishing, August 2013.
    • [90] John Markus Bjørndalen and Adam T. Sampson. Process-Oriented Collective Operations. In Communicating Process Architectures 2008, volume 66 of Concurrent Systems Engineering, pages 309-328, Amsterdam, The Netherlands, September 2008. WoTUG, IOS Press. http://www.cosmos-research.org/ docs/cpa2008-poco-slides.pdf.
    • [91] Adam T. Sampson, John Markus Bjørndalen, and Paul S. Andrews. Birds on the Wall: Distributing a Process-Oriented Simulation. In 2009 IEEE Congress on Evolutionary Computation (CEC 2009), pages 225-231. IEEE Press, May 2009.
    • [92] Frederick R. M. Barnes. occam-π Pre-processing Support, 2006. http://frmb.org/ occ21-extensions.html#preproc.
    • [93] N.C.C. Brown and C.G. Ritson. Extended Outputs. occam Enhancement Proposal 142, March 2006. https://www.cs.kent.ac.uk/research/groups/plas/wiki/OEP/142.
    • [94] Neil C.C. Brown. How to Make a Process Invisible. In Communicating Process Architectures 2008, volume 66, WoTUG-31 of Concurrent Systems Engineering Series, pages 445-445 (Fringe Presentation), Amsterdam, The Netherlands, sep 2008. IOS Press.
    • [95] Oyvind Teig. XCHANs: Notes on a New Channel Type. In Communicating Process Architectures 2012, pages 155-170. Open Channel Publishing, August 2012.
    • [96] Peter H. Welch. An occam Model of XCHANs, 2013. https://www.cs.kent.ac.uk/research/ groups/plas/wiki/An_occam_Model_of_XCHANs.
    • [97] A.A. McEwan. Concurrent Program Development. DPhil thesis, The University of Oxford, 2006.
  • No related research data.
  • No similar publications.

Share - Bookmark

Download from

Funded by projects

Cite this article