A note on Coinduction and Weak Bisimilarity for While Programs

E-ISSN： 1290-385x|33|4-5|393-400

ISSN： 0988-3754

Source： RAIRO - Theoretical Informatics and Applications, Vol.33, Iss.4-5, 2010-03, pp. : 393-400

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

Counting the books while the library burns: why conservation monitoring programs need a plan for action

Frontiers in Ecology and the Environment, Vol. 11, Iss. 10, 2013-12 ,pp. : 549-555

John Wiley & Sons Inc

Access to resources Recommend Favorite

Cinnamyl Anthranilate Causes Coinduction of Hepatic Microsomal and Peroxisomal Enzymes in Mouse but Not Rat

By Viswalingam A. Caldwell J.

Toxicology and Applied Pharmacology, Vol. 142, Iss. 2, 1997-02 ,pp. : 338-347

Elsevier

Access to resources Recommend Favorite

Detection of the ambulance siren while driving

By Ebata Masanao Baba Hirohiko

INTER-NOISE and NOISE-CON Congress and Conference Proceedings, Vol. 1997, Iss. 6, 1997-08 ,pp. : 424-429

Institute of Noise Control Engineering

Access to resources Recommend Favorite

Playing Noah while Paying the Devil

The Bulletin of the Ecological Society of America, Vol. 71, Iss. 3, 1990-09 ,pp. : 156-159

John Wiley & Sons Inc

Access to resources Recommend Favorite

Weak Panpsychism and Environmental Ethics

By Andrews J.

Environmental Values, Vol. 7, Iss. 4, 1998-11 ,pp. : 381-396

White Horse Press

Access to resources Recommend Favorite