Quantales and Process Semantics of Bisimulation

Yong Ming LI(1),Zhi Hui LI(2)

Acta Mathematica Sinica, Chinese Series ›› 1999, Vol. 42 ›› Issue (2)

中国科学院数学与系统科学研究院期刊网
Acta Mathematica Sinica, Chinese Series ›› 1999, Vol. 42 ›› Issue (2) DOI: 10.12386/A1999sxxb0040
论文

Quantales and Process Semantics of Bisimulation

  • {{article.zuoZhe_EN}}
Author information +
History +

HeighLight

{{article.keyPoints_en}}

Abstract

{{article.zhaiyao_en}}

Key words

QR code of this article

Cite this article

EndNote

Ris (Procite)

Bibtex

Download Citations
{{article.zuoZheEn_L}}. {{article.title_en}}. Acta Mathematica Sinica, Chinese Series, 1999, 42(2) https://doi.org/10.12386/A1999sxxb0040

References

Publishing order | Descend order by publishing year | Descend order by cited within

References

{{article.reference}}

Funding

RIGHTS & PERMISSIONS

{{article.copyrightStatement_en}}
{{article.copyrightLicense_en}}

Accesses

Citation

Detail
Sections
Recommended

/

〈 〉