An operational and denotational approach to non-context-freeness

Author： Kolb H.-P. Michaelis J. Monnich U. Morawietz F.

Publisher： Elsevier

ISSN： 0304-3975

Source： Theoretical Computer Science, Vol.293, Iss.2, 2003-02, pp. : 261-289

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

Operational and denotational semantics for the box algebra

By Koutny M. Best E.

Theoretical Computer Science, Vol. 211, Iss. 1, 1999-01 ,pp. : 1-83

Elsevier

Access to resources Recommend Favorite

Trust structures: Denotational and operational semantics

By Krukow Karl Nielsen Mogens

International Journal of Information Security (IJIS), Vol. 6, Iss. 2-3, 2007-03 ,pp. : 153-181

Springer Publishing Company

Access to resources Recommend Favorite

Linking denotational semantics with operational semantics for web services

By Zhu Huibiao

Innovations in Systems and Software Engineering, Vol. 6, Iss. 4, 2010-12 ,pp. : 283-298

Springer Publishing Company

Access to resources Recommend Favorite

Criteria to disprove context freeness of collage languages

By Drewes F. Kreowski H.-J. Lapoire D.

Theoretical Computer Science, Vol. 290, Iss. 3, 2003-01 ,pp. : 1445-1458

Elsevier

Access to resources Recommend Favorite

An introduction to metric semantics: operational and denotational models for programming and specification languages

By van Breugel

Theoretical Computer Science, Vol. 258, Iss. 1, 2001-05 ,pp. : 1-98

Elsevier

Access to resources Recommend Favorite