Behavioural equivalence for a graph rewriting model of concurrent programs

Author： Murakami Masaki  

Publisher： Inderscience Publishers

ISSN： 1741-2242

Source： World Review of Science, Technology and Sustainable Development, Vol.7, Iss.1-2, 2010-03, pp. : 169-180

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

A ‘working model' for cognitive behavioural practice

By Madoc-Jones Iolo   Devenny Paul  

Practice, Vol. 18, Iss. 1, 2006-03 ,pp. : 31-46

Routledge Ltd

Access to resources Recommend Favorite

Policy Stable States in the Graph Model for Conflict Resolution

By Zeng Dao-Zhi  

Theory and Decision, Vol. 57, Iss. 4, 2004-12 ,pp. : 345-365

Springer Publishing Company

Access to resources Recommend Favorite

Model of the future analysis in the programs of political parties

By  

SHS Web of Conferences, Vol. 28, Iss. issue, 2016-06 ,pp. : 01014-01014

Edp Sciences

Access to resources Recommend Favorite

Positive behavioural support as a clinical model within acute assessment and treatment services

By Gray Diane   Smith Mark   Nethell Gill   Allen David   Lowe Kathy  

International Journal of Positive Behavioural Support, Vol. 3, Iss. 1, 2013-03 ,pp. : 40-46

The British Institute of Learning Disabilities

Access to resources Recommend Favorite

Applying the Behavioural Family Therapy Model in Complex Family Situations

By Jhadray Rubina   Fadden Gráinne   Atchison Martin   Conneely Paula   Danks Julia   Lee Alison   Mansell Chris  

Social Sciences, Vol. 4, Iss. 2, 2015-06 ,pp. : 459-468

MDPI

Access to resources Recommend Favorite