Compositionality of Hennessy–Milner logic by structural operational semantics - Concepedia

Concepedia

Publication | Open Access

Compositionality of Hennessy–Milner logic by structural operational semantics

DOI Full Paper Access

38

Citations

27

References

2005

Year

Wan Fokkink, Rob van Glabbeek, Paulien de Wind

Theoretical Computer Science

Formal SemanticsOperational SemanticsAutomated ReasoningStructural Operational SemanticsLanguage StudiesSemanticsHigher-order LogicLinguistics

References

	Year	Citations

Page 1