| dc.creator |
Holton, David R.W. |
|
| dc.date |
2008-11-03T11:50:00Z |
|
| dc.date |
2008-11-03T11:50:00Z |
|
| dc.date |
2008 |
|
| dc.identifier |
Holton DRW (2008) Implementing π-calculus style actions. Bradford, Department of Computing, University of Bradford. Research Report. |
|
| dc.identifier |
http://hdl.handle.net/10454/859 |
|
| dc.description |
Yes |
|
| dc.description |
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. |
|
| dc.language |
en |
|
| dc.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). |
|
| dc.subject |
π-calculus |
|
| dc.subject |
; Programming languages |
|
| dc.title |
Implementing π-calculus style actions |
|
| dc.type |
Report |
|