Yes / This technical report describes one technique for implementing π-calculus style actions in a programming language. It first attempts to clarify the nature of actions, then gives requirements a
primitive in a programming language must satisfy if it is to be used as the basis for the implementation of actions. Finally an example is given of how actions may be implemented in Ada.
| Identifer | oai:union.ndltd.org:BRADFORD/oai:bradscholars.brad.ac.uk:10454/859 |
| Date | January 2008 |
| Creators | Holton, David R.W. |
| Source Sets | Bradford Scholars |
| Language | English |
| Detected Language | English |
| Type | Report |
| Rights | © 2008 University of Bradford. This work is licensed under a Creative Commons Attribution-Non-Commercial-Share Alike License (http://creativecommons.org/licenses/by-nc-nd/2.0/uk). |
Page generated in 0.0016 seconds