Verifying Correctness of Shared Channels in a Cooperatively Scheduled Process-Oriented Language

Jan Pedersen, Kevin Chalmers

Correct concurrent behaviour is important in understanding how components will act within certain conditions. In this work. we analyse the behaviour of shared communicating channel…