Journals in DBLP

Electr. Notes Theor. Comput. Sci.
1998, volume: 18, number:

1. Olaf Burkart
   Queues as Processes. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 1998, v:18, n:, pp:- [Journal]
   
2. Ulrich Ultes-Nitsche
   Towards the Construction of an Abstract State-Space from a Partial-Order Representation of the Concrete One. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 1998, v:18, n:, pp:- [Journal]
   
3. Igor V. Tarasyuk
   Place bisimulation equivalences for design of concurrent and sequential systems. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 1998, v:18, n:, pp:- [Journal]
   
4. Jitka Stríbrná
   Hardness results for weak bisimilarity of simple process algebras. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 1998, v:18, n:, pp:- [Journal]
   
5. Pawel Paczkowski
   Towards characterizing bisimilarity of value-passing processes with context-free control. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 1998, v:18, n:, pp:- [Journal]
   
6. Rocco De Nicola, Anna Labella
   Tree Morphisms and Bisimulations. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 1998, v:18, n:, pp:- [Journal]
   
7. Markus Müller-Olm
   Derivation of Characteristic Formulae. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 1998, v:18, n:, pp:- [Journal]
   
8. Faron Moller
   A Taxonomy of Infinite State Processes. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 1998, v:18, n:, pp:- [Journal]
   
9. Richard Mayr
   Strict Lower Bounds for Model Checking BPA. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 1998, v:18, n:, pp:- [Journal]
   
10. Andrea Maggiolo-Schettini, Simone Tini
    Projectable Semantics for Statecharts. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1998, v:18, n:, pp:- [Journal]
    
11. Johan Lilius
    Efficient State Space Search for Time Petri Nets. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1998, v:18, n:, pp:- [Journal]
    
12. Olga Kushnarenko, Sophie Pinchinat
    Intensional Approaches for Symbolic Methods. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1998, v:18, n:, pp:- [Journal]
    
13. Gabriel Juhás
    The essence of Petri nets and transition systems through Abelian groups. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1998, v:18, n:, pp:- [Journal]
    
14. Petr Jancar, Mojmír Kretínský
    Preface. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1998, v:18, n:, pp:- [Journal]
    
15. Daniel Hirschkoff
    Automatically Proving Up-to Bisimulation. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1998, v:18, n:, pp:- [Journal]
    
16. Stefan Haar
    Branching Processes of general S/T-Systems and their properties. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1998, v:18, n:, pp:- [Journal]
    
17. Gabriel Ciobanu, Mihai Rotaru
    Faithful pi-nets - A graphical representation of the asynchronous pi-calculus . [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1998, v:18, n:, pp:- [Journal]
    
18. Irina Virbitskaite
    On Semantics of Concurrency and Nondeterminism: Bisimulations and Temporal Logics. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1998, v:18, n:, pp:- [Journal]