Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 232,589,564 papers from all fields of science
Search
Sign In
Create Free Account
Hennessy–Milner logic
Known as:
HML
, Hennessy-Milner logic
In computer science, Hennessy–Milner logic (HML) is a dynamic logic used to specify properties of a labeled transition system (LTS), a structure…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
9 relations
Computer science
Dynamic logic (modal logic)
Matthew Hennessy
Modal μ-calculus
Expand
Broader (4)
Concurrency (computer science)
Formal specification
Logic in computer science
Modal logic
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2020
2020
Characteristic invariants in Hennessy–Milner logic
Marc Jasper
,
Maximilian Schlüter
,
B. Steffen
Acta Informatica
2020
Corpus ID: 218527793
In this paper, we prove that Hennessy–Milner Logic (HML), despite its structural limitations, is sufficiently expressive to…
Expand
2016
2016
On the Performance and Risk Attributes of Hedge Funds in China
Yi Hong
,
Jinlong. Jiang
,
Hong Yan
,
Xi Zhao
2016
Corpus ID: 173983383
This article studies the performance and risk attributes of hedge funds in China using a new hedge fund database (e.g., the CHRFC…
Expand
2010
2010
Hierarchical Boosting for Gene Function Prediction
Noor Alaydie
,
Chandan K. Reddy
,
F. Fotouhi
2010
Corpus ID: 12045709
Functional classification of genes using diverse bio-molecular data obtained from high-throughput technologies is a fundamental…
Expand
2008
2008
Evaluating a nonlinear asset pricing model on international data
Hossein Asgharian
,
Sonnie Karlsson
2008
Corpus ID: 58915302
2001
2001
Investing in Size and Book-to-Market Portfolios Using Information About the Macroeconomy: Some New Trading Rules
Michael J. Cooper
,
Huseyin Gulen
,
Maria Vassalou
2001
Corpus ID: 55093805
We propose new trading strategies that invest in size and book-to-market (B/M) decile portfolios. These trading strategies are…
Expand
Review
2000
Review
2000
HML, a novel hardware description language and its translation to VHDL
Yanbing Li
,
M. Leeser
IEEE Transactions on Very Large Scale Integration…
2000
Corpus ID: 44595493
We present hardware ML (HML), an innovative hardware description language (HDL) based on the functional programming language SML…
Expand
1998
1998
Modeling of Hypermedia Applications
R. Cervenka
Conference on Current Trends in Theory and…
1998
Corpus ID: 45409914
This paper introduces the Hypermedia Modeling Language - HML, which constitutes a formal basis for modeling navigation…
Expand
Review
1995
Review
1995
Survey on Languages for Object Oriented Hardware Design Methodologies
G. Schumacher
,
W. Nebel
1995
Corpus ID: 59784783
A good specification and design of a hardware system should have some principal properties. The specification has to be correct…
Expand
Review
1994
Review
1994
Verification of LOTOS specifications using term rewriting techniques
C. Kirkwood
1994
Corpus ID: 36200163
Recently the use of formal methods in describing and analysing the behaviour of (computer) systems has become more common. This…
Expand
1993
1993
HML-An approach for refining/managing knowledge discovered from databases
N. Zhong
,
S. Ohsuga
Proceedings of IEEE Conference on Tools with Al…
1993
Corpus ID: 39622861
Introduces an approach called HML (hierarchical model learning) for refining and managing knowledge discovered from databases…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE