Semantics

📁 Source: Cslib/Languages/CCS/Semantics.lean

Statistics

Metric	Count
Definitions Terminated, Tr, instHasTauAct, lts, «term_[_]↠_», «term_[_]⭢_»	6
Theorems	0
Total	6

Cslib.CCS

Definitions

Name	Category	Theorems
Terminated 📖	CompData	—
Tr 📖	CompData	—
instHasTauAct 📖	CompOp	—
lts 📖	CompOp	14 math math: bisimilarity_par_assoc, bisimilarity_congr_pre, bisimilarity_nil_par, bisimilarity_congr_par, bisimilarity_congr_choice, bisimilarity_choice_comm, bisimilarity_par_comm, bisimilarity_choice_idem, bisimilarity_par_nil, bisimilarity_congr_res, bisimilarityCongruence, bisimilarity_choice_assoc, bisimilarity_is_congruence, bisimilarity_choice_nil
«term_[_]↠_» 📖	CompOp	—
«term_[_]⭢_» 📖	CompOp	—

---

← Back to Index