Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 227,741,287 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
2012
2012
Compositionality of Probabilistic Hennessy-Milner Logic through Structural Operational Semantics
Daniel Gebler
,
W. Fokkink
International Conference on Concurrency Theory
2012
Corpus ID: 11721859
We present a method to decompose HML formulae for reactive probabilistic processes. This gives rise to a compositional modal…
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
2005
2005
Dispersion-tolerant multiple WDM channel millimeter-wave signal generation using a single monolithic mode-locked semiconductor laser
M. Attygalle
,
C. Lim
,
A. Nirmalathas
Journal of Lightwave Technology
2005
Corpus ID: 39965947
This work presents a scheme by which multiple wavelength-division-multiplexed millimeter-wave (mm-wave) signals in the range of…
Expand
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
Strict Lower Bounds for Model Checking BPA
Richard Mayr
MFCS Workshop on Concurrency
1998
Corpus ID: 16035021
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
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