Return to search

Implementing π-calculus style actions

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.

Identiferoai:union.ndltd.org:BRADFORD/oai:bradscholars.brad.ac.uk:10454/859
Date January 2008
CreatorsHolton, David R.W.
Source SetsBradford Scholars
LanguageEnglish
Detected LanguageEnglish
TypeReport
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.0019 seconds