The Hennessy-Milner logic is a modal 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'.
| Property | Value |
|---|
| dbpprop:abstract
|
- The Hennessy-Milner logic is a modal 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'.
|
| dbpprop:hasPhotoCollection
| |
| rdfs:comment
|
- The Hennessy-Milner logic is a modal 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'.
|
| rdfs:label
| |
| owl:sameAs
| |
| skos:subject
| |
| foaf:page
| |
| is dbpprop:redirect
of | |
![[RDF Data]](/statics/sw-cube.png)
