What is Hennessy-Milner Logic and Where Can I Find References?

  • Thread starter Thread starter Dragonfall
  • Start date Start date
  • Tags Tags
    Logic
Click For Summary
SUMMARY

Hennessy-Milner Logic is a modal logic used for reasoning about the behaviors of concurrent systems. It provides a framework for expressing properties of processes in terms of their possible actions and states. Key references include academic papers and textbooks that delve into its applications in computer science, particularly in the field of concurrency theory. For comprehensive understanding, exploring these resources is essential.

PREREQUISITES
  • Understanding of modal logic principles
  • Familiarity with concurrency theory
  • Knowledge of process algebra
  • Basic research skills for locating academic references
NEXT STEPS
  • Research "Hennessy-Milner Logic" in academic databases like JSTOR or IEEE Xplore
  • Study "modal logic" and its applications in computer science
  • Explore "concurrency theory" and its relationship with Hennessy-Milner Logic
  • Read textbooks on "process algebra" for foundational concepts
USEFUL FOR

Students and researchers in computer science, particularly those focusing on formal methods, concurrency, and logic in programming languages.

Dragonfall
Messages
1,023
Reaction score
5

Homework Statement


What is Hennessy-Milner logic? I need references asap. Wikipedia is empty.


Homework Equations





The Attempt at a Solution

 
Physics news on Phys.org
The wikipedia page is not completely empty. I did a google search using "Hennessy-Milner Logic" and found a lot of references, some of which might be helpful to you.
 

Similar threads

Drawing a labelled transition system (LTS)
  • · Replies 2 ·
Replies
2
Views
2K
Doubting Logic: Boolean Matrix Homework Help
  • · Replies 6 ·
Replies
6
Views
3K
How to Interpret the Basic Logic Problem with Predicate P(x,y,z)
  • · Replies 2 ·
Replies
2
Views
2K
How can we prove that A is less than or equal to B using only one element of S?
  • · Replies 4 ·
Replies
4
Views
1K
Show that two quantified statements are logically equivalent
  • · Replies 6 ·
Replies
6
Views
3K
Undergrad Deductive proof in logic formal systems
  • · Replies 4 ·
Replies
4
Views
1K
Logic Behind a Proof: Injective Function G
  • · Replies 1 ·
Replies
1
Views
2K
Deduction of ##\forall x \in S \cup T (x \le b)## using first order logic rules.
  • · Replies 3 ·
Replies
3
Views
1K
Negation Problem Homework Help
  • · Replies 3 ·
Replies
3
Views
1K
Graduate What are your insights on The Hardest Logic Puzzle Ever?
  • · Replies 2 ·
Replies
2
Views
3K