Process J - A Concurrent Language CSP semantics - Java-like syntax
Log in Sign up

Error 2109

Message

Mobile procedure 'XXX' must have void return type.

Explanation

A procedure that has been declared 'mobile' must not return any values. Their return type must be void.

Discussion

Nothing here yet!