|
Journals in DBLP
- Richard Buckland, Michael Johnson, Dominic Verity
On the Specification of Higher Dimensional Automata. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2002, v:68, n:1, pp:- [Journal]
- Marco Kick
Rule Formats for Timed Processes. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2002, v:68, n:1, pp:- [Journal]
- Alexander Kurz
Preface. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2002, v:68, n:1, pp:- [Journal]
- Jan Rothe, Dragan Masulovic
Towards Weak Bisimulation For Coalgebras. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2002, v:68, n:1, pp:- [Journal]
- Ralf Schweimeier
A categorical framework for typing CCS-style process communication. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2002, v:68, n:1, pp:- [Journal]
- Krzysztof Worytkiewicz
Concrete Process Categories. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2002, v:68, n:1, pp:- [Journal]
|