Operational equivalence for interaction nets

Publisher： Elsevier

ISSN： 0304-3975

Source： Theoretical Computer Science, Vol.297, Iss.1, 2003-03, pp. : 157-181

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

Interaction nets for linear logic

By Mackie I.

Theoretical Computer Science, Vol. 247, Iss. 1, 2000-09 ,pp. : 83-140

Elsevier

Access to resources Recommend Favorite

Interaction nets and term-rewriting systems

By Fernandez M. Mackie I.

Theoretical Computer Science, Vol. 190, Iss. 1, 1998-01 ,pp. : 3-39

Elsevier

Access to resources Recommend Favorite

A syntactical proof of the operational equivalence of two -terms

By David R. Nour K.

Theoretical Computer Science, Vol. 180, Iss. 1, 1997-06 ,pp. : 371-375

Elsevier

Access to resources Recommend Favorite

Objective and Operational Dynamic Models of Complex Processes: Their Interaction

By Vladislavlev P. Muradyan I. Yuditskii S.

Automation and Remote Control, Vol. 66, Iss. 11, 2005-11 ,pp. : 1816-1823

MAIK Nauka/Interperiodica

Access to resources Recommend Favorite

Designing Complex Agent Interaction Protocols Using Colored Petri Nets: The Cloud Services Composition Case Study

International Journal of Agent Technologies and Systems (IJATS), Vol. 6, Iss. 2, 2014-04 ,pp. : 51-72

IGI Global_journal

Access to resources Recommend Favorite