Journals in DBLP
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 ] 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 ] 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 ] 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 ] Uwe Nestmann , Prakash Panangaden Preface. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2002, v:68, n:2, pp:- [Journal ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ]