Hennessy-Milner logic

From Wikipedia, the free encyclopedia

The Hennessy-Milner logic is a temporal logic in computer science. It is used to specify properties of a labeled transition system, a structure similar to an automaton. It was introduced in 1980 by Matthew Hennessy and Robin Milner in their paper 'On observing nondeterminism and concurrency' (ICALP).

 This mathematical logic-related article is a stub. You can help Wikipedia by expanding it.
Comp Sci logo This computer science-related article is a stub. You can help Wikipedia by expanding it.