A specification structure for deadlock-freedom of synchronous processes

Author： Abramsky S. Gay S.J. Nagarajan R.

Publisher： Elsevier

ISSN： 0304-3975

Source： Theoretical Computer Science, Vol.222, Iss.1, 1999-07, pp. : 1-53

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

Model-100: Specification language for interacting processes

By Babichev A. Lebedev V.

Programming and Computer Software, Vol. 33, Iss. 1, 2007-02 ,pp. : 2-13

MAIK Nauka/Interperiodica

Access to resources Recommend Favorite

Specification

By Turner Raymond

Minds and Machines, Vol. 21, Iss. 2, 2011-05 ,pp. : 135-152

Springer Publishing Company

Access to resources Recommend Favorite

Improved model-based control of a six-degree-of-freedom Stewart platform driven by permanent magnet synchronous motors

By Meng Qiang Zhang Tao He Jingfeng Song Jingyan Chen Xuedong

Industrial Robot: An International Journal, Vol. 39, Iss. 1, 2012-01 ,pp. : 47-56

Emerald Group Publishing Ltd

Access to resources Recommend Favorite

Automated processes for composite aircraft structure

By Grant Carroll

Industrial Robot: An International Journal, Vol. 33, Iss. 2, 2006-03 ,pp. : 117-121

Emerald Group Publishing Ltd

Access to resources Recommend Favorite

A Generalized Deadlock-Free Process Calculus

By Sumii E. Kobayashi N.

Electronic Notes in Theoretical Computer Science, Vol. 16, Iss. 3, 2004-01 ,pp. : 1-23

Elsevier

Access to resources Recommend Favorite