next up previous contents
Next: Queuing ports Up: Modeling patterns Previous: Threads (ARINC653 processes)   Contents

Inter-partitions channels


Subsections
Copyright 2009 POK Team