Q: E.5(28-29): Partition
Communication Subsystem
Whenever possible, the PCS on the called partition
should allow for multiple tasks to call the
RPC-receiver with different messages and should allow
them to block until the corresponding subprogram body
returns.
Q: The Write operation on a stream of type
Params_Stream_Type should
raise Storage_Error if it
runs out of space trying to write the Item into the stream.