Enumerated type semantics for the calculus of looping sequences

E-ISSN： 1290-385x|45|1|35-58

ISSN： 0988-3754

Source： RAIRO - Theoretical Informatics and Applications, Vol.45, Iss.1, 2011-03, pp. : 35-58

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

Related content

Probabilistic operational semantics for the lambda calculus

By Lago Ugo Dal Zorzi Margherita

RAIRO - Theoretical Informatics and Applications, Vol. 46, Iss. 3, 2012-08 ,pp. : 413-450

Edp Sciences

Access to resources Recommend Favorite

Non-Looping String Rewriting

By Geser Alfons Zantema Hans

RAIRO - Theoretical Informatics and Applications, Vol. 33, Iss. 3, 2010-03 ,pp. : 279-301

Edp Sciences

Access to resources Recommend Favorite

Nitrite Looping: Plausible Phenomenon or Mathematical Nuance?

By Landes N. Jackson W. A. Morse A.

Proceedings of the Water Environment Federation, Vol. 2011, Iss. 13, 2011-01 ,pp. : 3219-3233

Water Environment Federation

Access to resources Recommend Favorite

A Coalgebraic Semantics of Subtyping

By Poll Erik

RAIRO - Theoretical Informatics and Applications, Vol. 35, Iss. 1, 2010-03 ,pp. : 61-81

Edp Sciences

Access to resources Recommend Favorite

Domain mu-calculus

By Zhang Guo-Qiang

RAIRO - Theoretical Informatics and Applications, Vol. 37, Iss. 4, 2010-03 ,pp. : 337-364

Edp Sciences

Access to resources Recommend Favorite