Actor languages Their syntax, semantics, translation, and equivalence

Author： Mason I.A.   Talcott C.L.  

Publisher： Elsevier

ISSN： 0304-3975

Source： Theoretical Computer Science, Vol.220, Iss.2, 1999-06, pp. : 409-467

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

On the equivalence problem for E-pattern languages

By Ohlebusch E.   Ukkonen E.  

Theoretical Computer Science, Vol. 186, Iss. 1, 1997-10 ,pp. : 231-248

Elsevier

Access to resources Recommend Favorite

Nesting in Euler Diagrams: syntax, semantics and construction

By Flower Jean   Howse John   Taylor John  

Software and Systems Modeling (SoSyM), Vol. 3, Iss. 1, 2004-03 ,pp. : 55-67

Springer Publishing Company

Access to resources Recommend Favorite

A method for describing the syntax and semantics of UML statecharts

By Jin Yan   Esser Robert   Janneck Jörn W.  

Software and Systems Modeling (SoSyM), Vol. 3, Iss. 2, 2004-05 ,pp. : 150-163

Springer Publishing Company

Access to resources Recommend Favorite

AN OBSERVATION APPROACH TO THE SEMANTICS OF AGENT COMMUNICATION LANGUAGES

By Viroli M.   Omicini A.  

Applied Artificial Intelligence, Vol. 16, Iss. 9-10, 2002-10 ,pp. : 775-793

Taylor & Francis Ltd

Access to resources Recommend Favorite

On the equivalence of the static and disjunctive well-founded semantics and its computation

By Brass S.   Dix  

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

Elsevier

Access to resources Recommend Favorite