CSP Process taking other processes as parameters

[mr.sverrir]

I was wondering whether it was possible to create processes (or at least mimic this in some way) that would accepts other CSP processes as parameters.

for example:

P(A,B) = b -> B [] a -> A [] c -> Skip;

I would be grateful for any suggestions. Thank you.

[pat team]

Hi,

Thanks for trying out PAT.
Currently process as parameter is not supported in PAT.
This is mainly for performance reason.
Compared with CSP(m), most of the syntax is supported.
The detailed syntax can be found in the user manual.

Let us know if you have any other questions related to PAT.

Liu Yang

I was wondering whether it was possible to create processes (or at least mimic this in some way) that would accepts other CSP processes as parameters.

for example:

P(A,B) = b -> B [] a -> A [] c -> Skip;

I would be grateful for any suggestions. Thank you.

[pat team]

Higher order processes can be supported given that their operational semantics is defined. If you have real practical need for this, please let us know and we shall evaluate whether to extend some language supported by PAT to support this feature. Some example application domains that I can think of is like: Java Applet, Reconfigurable sensors, web services applications, etc.

[Sponsored content]