Author： Verdejo Alberto Martí-Oliet Narciso
Publisher： Springer Publishing Company
ISSN： 0925-9856
Source： Formal Methods in System Design, Vol.27, Iss.1-2, 2005-09, pp. : 113-172
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Abstract
Related content
Semantics and pragmatics of Real-Time Maude
LISP and Symbolic Computation, Vol. 20, Iss. 1-2, 2007-06 ,pp. :
Access to resources
Recommend
A causal semantics for CCS via rewriting logic
By Degano P. Gadducci F. Priami C.
Theoretical Computer Science, Vol. 275, Iss. 1, 2002-03 ,pp. :
The semantics and execution of a synchronous block-diagram language
Science of Computer Programming, Vol. 48, Iss. 1, 2003-07 ,pp. :
By Clavel M. Eker S. Lincoln P. Meseguer J.
Electronic Notes in Theoretical Computer Science, Vol. 4, Iss. 1, 2004-01 ,pp. :
A compiler framework for the reduction of worst-case execution times
By Falk Heiko
Real-Time Systems, Vol. 46, Iss. 2, 2010-10 ,pp. :