The semantics and execution of a synchronous block-diagram language

Author： Edwards S.A.   Lee E.A.  

Publisher： Elsevier

ISSN： 0167-6423

Source： Science of Computer Programming, Vol.48, Iss.1, 2003-07, pp. : 21-42

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

Secrecy in Programming-Language Semantics

By Abadi M.  

Electronic Notes in Theoretical Computer Science, Vol. 20, Iss. 1, 2004-01 ,pp. : 1-15

Elsevier

Access to resources Recommend Favorite

Picture Semantics For Integrating Text And Diagram Input

By Rajagopalan R.  

Artificial Intelligence Review, Vol. 10, Iss. 3-4, 1996-01 ,pp. : 321-344

Springer Publishing Company

Access to resources Recommend Favorite

Two Case Studies of Semantics Execution in Maude: CCS and LOTOS

By Verdejo Alberto   Martí-Oliet Narciso  

Formal Methods in System Design, Vol. 27, Iss. 1-2, 2005-09 ,pp. : 113-172

Springer Publishing Company

Access to resources Recommend Favorite

Algebraic Semantics of an Imperative Programming Language

By Zamulin A. V.  

Programming and Computer Software, Vol. 29, Iss. 6, 2003-11 ,pp. : 328-337

MAIK Nauka/Interperiodica

Access to resources Recommend Favorite

A modelling language for the design and execution of enterprise models in manufacturing

By Santos Jose P. O.   Ferreira J. J. Pinto   Mendonca Jose M.  

International Journal of Computer Integrated Manufacturing, Vol. 13, Iss. 1, 2000-01 ,pp. : 1-10

Taylor & Francis Ltd

Access to resources Recommend Favorite