Period of time： 2004年1期
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 52,issue 1
Menu
On logical and concurrent equivalences
By Bradfield J.C., Froschle S.B. in (2004)
Electronic Notes in Theoretical Computer Science,volume 52,issue 1 , Vol. 52, Iss. 1, 2004-01 , pp.
Access to resources
Recommend
An Automata-Theoretic Approach to the Reachability Analysis of RPPS Systems
By Labroue A., Schnoebelen P. in (2004)
Electronic Notes in Theoretical Computer Science,volume 52,issue 1 , Vol. 52, Iss. 1, 2004-01 , pp.On the decidability of fragments of the asynchronous -calculus
By Amadio R.M., Meyssonnier C. in (2004)
Electronic Notes in Theoretical Computer Science,volume 52,issue 1 , Vol. 52, Iss. 1, 2004-01 , pp.Broadcast Calculus Interpreted in CCS upto Bisimulation
Electronic Notes in Theoretical Computer Science,volume 52,issue 1 , Vol. 52, Iss. 1, 2004-01 , pp.Adequate Sets of Temporal Connectives in CTL
Electronic Notes in Theoretical Computer Science,volume 52,issue 1 , Vol. 52, Iss. 1, 2004-01 , pp.Encoding Distributed Areas and Local Communication into the -Calculus
By Chothia T., Stark I. in (2004)
Electronic Notes in Theoretical Computer Science,volume 52,issue 1 , Vol. 52, Iss. 1, 2004-01 , pp.