Nautilus, a Concurrent Diagrammatic Specification and Programming Language

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

Publisher： Springer Publishing Company

ISSN： 0920-8542

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

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

Confluence in concurrent constraint programming

By Falaschi M.   Gabbrielli M.   Marriott K.   Palamidessi C.  

Theoretical Computer Science, Vol. 183, Iss. 2, 1997-09 ,pp. : 281-315

Elsevier

Access to resources Recommend Favorite

Truly concurrent constraint programming

By Gupta V.   Jagadeesan R.   Saraswat V.A.  

Theoretical Computer Science, Vol. 278, Iss. 1, 2002-05 ,pp. : 223-255

Elsevier

Access to resources Recommend Favorite

Maude: specification and programming in rewriting logic

By Clavel M.   Duran F.   Eker S.   Lincoln P.   Mart-Oliet N.   Meseguer J.   Quesada J.F.  

Theoretical Computer Science, Vol. 285, Iss. 2, 2002-08 ,pp. : 187-243

Elsevier

Access to resources Recommend Favorite

A method to test concurrent systems using architectural specification

By Reza Hassan   Grant Emanuel  

The Journal of Supercomputing, Vol. 39, Iss. 3, 2007-03 ,pp. : 347-357

Springer Publishing Company

Access to resources Recommend Favorite

Timed Default Concurrent Constraint Programming

By Saraswat V.   Jagadeesan R.   Gupta V.  

Journal of Symbolic Computation, Vol. 22, Iss. 5, 1996-11 ,pp. : 475-520

Academic Press

Access to resources Recommend Favorite