Author： Zhao Yongxin Xiao Hao Wang Zheng Pu Geguang Su Ting
Publisher： Taylor & Francis Ltd
ISSN： 0020-7160
Source： International Journal of Computer Mathematics, Vol.91, Iss.3, 2014-03, pp. : 384-402
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Related content
On mutual distances for a choreography with distinct masses
By Celli M.
Comptes Rendus Mathematique, Vol. 337, Iss. 11, 2003-12 ,pp. :
Access to resources
Recommend
Invariants of Timed Petri Nets
Cybernetics and Systems Analysis, Vol. 40, Iss. 2, 2004-03 ,pp. :
Liveness in Timed and Untimed Systems
By Segala R. Gawlick R. Sogaard-Andersen J. Lynch N.
Information and Computation, Vol. 141, Iss. 2, 1998-03 ,pp. :
A Timed Concurrent Constraint Language
By de Boer F.S. Gabbrielli M. Meo M.C.
Information and Computation, Vol. 161, Iss. 1, 2000-08 ,pp. :