CHOCS

Please expand.

References

Thomsen, B. 1989. ‘A Calculus of Higher Order Communicating Systems’. In POPL ’89: Proceedings of the 16th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 143–54. ACM. https://doi.org/10.1145/75277.75290.

@inproceedings{thomsen_1989,
	title = {A calculus of higher order communicating systems},
	doi = {10.1145/75277.75290},
	booktitle = {{POPL} '89: {Proceedings} of the 16th {ACM} {SIGPLAN}-{SIGACT} {Symposium} on {Principles} of {Programming} {Languages}},
	publisher = {ACM},
	author = {Thomsen, B.},
	year = {1989},
	pages = {143--154}
}