Author： Rogers J.
Publisher： Elsevier
ISSN： 0304-3975
Source： Theoretical Computer Science, Vol.293, Iss.2, 2003-02, pp. : 291-320
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
MSO logics for weighted timed automata
By Quaas Karin
Formal Methods in System Design, Vol. 38, Iss. 3, 2011-06 ,pp. :
Access to resources
Recommend
Visualizing graphical and textual formalisms
Information Systems, Vol. 28, Iss. 7, 2003-10 ,pp. :
A survey of Semantic Web Services formalisms
CONCURRENCY AND COMPUTATION: PRACTICE & EXPERIENCE (ELECTRONIC), Vol. 1532-0626, Iss. 15, 2015-10 ,pp. :
A survey of Semantic Web Services formalisms
CONCURRENCY AND COMPUTATION: PRACTICE & EXPERIENCE (ELECTRONIC), Vol. 27, Iss. 15, 2015-10 ,pp. :
Cell modeling with reusable agent-based formalisms
Applied Intelligence, Vol. 24, Iss. 2, 2006-04 ,pp. :