Hennessy-Milner logic

Please expand.

References

Hennessy-Milner logic was introduced in an ICALP 1980 paper:

Hennessy, Matthew, and Robin Milner. 1980. ‘On Observing Nondeterminism and Concurrency’. In Automata, Languages and Programming, edited by Jan Leeuwen, 85:299–309. Lecture Notes in Computer Science. Berlin, Heidelberg: Springer Berlin Heidelberg. https://doi.org/10.1007/3-540-10003-2_79.

@inproceedings{hennessy_1980,
	address = {Berlin, Heidelberg},
	series = {Lecture {Notes} in {Computer} {Science}},
	title = {On observing nondeterminism and concurrency},
	volume = {85},
	doi = {10.1007/3-540-10003-2_79},
	booktitle = {Automata, {Languages} and {Programming}},
	publisher = {Springer Berlin Heidelberg},
	author = {Hennessy, Matthew and Milner, Robin},
	editor = {Leeuwen, Jan},
	year = {1980},
	pages = {299--309},
}