Model-100: Specification language for interacting processes

ISSN： 0361-7688

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

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

CASL: the Common Algebraic Specification Language

By Astesiano E. Bidoit M. Kirchner H. Krieg-Bruckner B. Mosses P.D. Sannella D. Tarlecki A.

Theoretical Computer Science, Vol. 286, Iss. 2, 2002-09 ,pp. : 153-196

Elsevier

Access to resources Recommend Favorite

Towards a Specification Language for Mobile Applications

International Journal of Software Science and Computational Intelligence (IJSSCI), Vol. 5, Iss. 2, 2013-04 ,pp. : 58-76

IGI Global_journal

Access to resources Recommend Favorite

A specification structure for deadlock-freedom of synchronous processes

By Abramsky S. Gay S.J. Nagarajan R.

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

Elsevier

Access to resources Recommend Favorite

Towards an insider threat prediction specification language

By Magklaras G.B. Furnell S.M. Brooke P.J.

Information Management & Computer Security, Vol. 14, Iss. 4, 2006-08 ,pp. : 361-381

Emerald Group Publishing Ltd

Access to resources Recommend Favorite

Nautilus, a Concurrent Diagrammatic Specification and Programming Language

By Fuzitaki Claudio Menezes Paulo Machado Júlio D’Andrea Fernando

The Journal of Supercomputing, Vol. 36, Iss. 1, 2006-04 ,pp. : 51-81

Springer Publishing Company

Access to resources Recommend Favorite