Period of time： 2004年2期
Publisher： Elsevier
Founded in： 1995
Total resources： 23
ISSN： 1571-0661
Subject： TP Automation Technology , Computer Technology
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Electronic Notes in Theoretical Computer Science,volume 16,issue 2
Menu
Access to resources
Recommend
On the Expressive Power of Joint Input
Electronic Notes in Theoretical Computer Science,volume 16,issue 2 , Vol. 16, Iss. 2, 2004-01 , pp.Deadlock Behaviour in Split and ST Bisimulation Semantics
By Baeten J.C.M., Bergstra J.A. in (2004)
Electronic Notes in Theoretical Computer Science,volume 16,issue 2 , Vol. 16, Iss. 2, 2004-01 , pp.A Testing Equivalence for Reactive Probabilistic Processes
By Kwiatkowska M.Z., Norman G.J. in (2004)
Electronic Notes in Theoretical Computer Science,volume 16,issue 2 , Vol. 16, Iss. 2, 2004-01 , pp.On the Expressiveness of Chi, Update, and Fusion calculi
Electronic Notes in Theoretical Computer Science,volume 16,issue 2 , Vol. 16, Iss. 2, 2004-01 , pp.Event Structures for Local Traces
By Kleijn H.C.M., Morin R., Rozoy B. in (2004)
Electronic Notes in Theoretical Computer Science,volume 16,issue 2 , Vol. 16, Iss. 2, 2004-01 , pp.On the Expressiveness of Linda-like Concurrent Languages
By Brogi A., Jacquet J.-M. in (2004)
Electronic Notes in Theoretical Computer Science,volume 16,issue 2 , Vol. 16, Iss. 2, 2004-01 , pp.