The Go specification has them all, though perhaps not in the tabular format you might have liked: http://golang.org/ref/spec#Channel_types Be sure to follow the links through to the "select" statement and the other operations.
Some of what I was discussing is merely implied, rather than spelled out. A spec does not discuss the consequences of failing to implement it. However, if you could imagine a "network channel" somehow making its way into a "select" statement that the programmer expects to, you know, actually work the way the specification says it should, it could be a huge error to discover that your "network channel" actually triple-sent some message before the ACK finally came back or something.
Any place to read up on those guarantees?