The SCEAS System
Navigation Menu

Journals in DBLP

Electr. Notes Theor. Comput. Sci.
2002, volume: 68, number: 2

  1. Danièle Beauquier, Yoram Hirshfeld, Alexander Moshe Rabinovich, Anatol Slissenko
    The Probability Nesting Game. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:68, n:2, pp:- [Journal]
  2. Vladimiro Sassone, Pawel Sobocinski
    Deriving Bisimulation Congruences: A 2-categorical Approach. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:68, n:2, pp:- [Journal]
  3. Catuscia Palamidessi
    On the Expressive Power of Temporal Concurrent Constraint Programming Languages (invited talk). [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:68, n:2, pp:- [Journal]
  4. Joël Ouaknine, James Worrell
    Timed CSP = Closed Timed Safety Automata. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:68, n:2, pp:- [Journal]
  5. Uwe Nestmann, Prakash Panangaden
    Preface. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:68, n:2, pp:- [Journal]
  6. Nicolas Markey
    Past is for Free: on the Complexity of Verifying Linear Temporal Properties with Past. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:68, n:2, pp:- [Journal]
  7. Martin Lange
    Alternating Context-Free Languages and Linear Time mu-Calculus with Sequential Composition. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:68, n:2, pp:- [Journal]
  8. Ulrik Frendrup, Hans Hüttel, Jesper Nyholm Jensen
    Modal Logics for Cryptographic Processes. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:68, n:2, pp:- [Journal]
  9. Maribel Fernández, Lionel Khalil
    Interaction Nets with McCarthy's amb. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:68, n:2, pp:- [Journal]
  10. Rance Cleaveland, Gerald Lüttgen
    A Logical Process Calculus. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:68, n:2, pp:- [Journal]
  11. Marco Carbone, Sergio Maffeis
    On the Expressive Power of Polyadic Synchronisation in pi-calculus. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:68, n:2, pp:- [Journal]
  12. Igor Walukiewicz
    Describing properties of concurrent systems (Logic for Traces) (invited talk). [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:68, n:2, pp:- [Journal]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002