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

Error 2110

Message

Only one declaration of mobile procedure 'XXX' may exist.

Explanation

Mobile procedures may not be reimplemented. Only one mobile for each name may be declared.

Discussion

Nothing here yet!