|
Journals in DBLP
- Joseph A. Goguen, Grigore Rosu
A protocol for distributed cooperative work. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 1999, v:28, n:, pp:- [Journal]
- Dan Hirsch, Ugo Montanari
Consistent transformations for software architecture styles of distributed systems. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 1999, v:28, n:, pp:- [Journal]
- Padmanabhan Krishnan
Distributed timed automata. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 1999, v:28, n:, pp:- [Journal]
- Rémi Morin
Hierarchy of asynchronous automata. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 1999, v:28, n:, pp:- [Journal]
- Wojciech Penczek, Stanislaw Ambroszkiewicz
Model checking of causal knowledge formulas. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 1999, v:28, n:, pp:- [Journal]
- Luigia Petre, Kaisa Sere, Marina A. Waldén
A topological approach to distributed computing. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 1999, v:28, n:, pp:- [Journal]
- Thomas Stauner, Christoph Grimm
Prototyping of hybrid systems - from HyCharts to Hybrid Data-Flow Graphs. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 1999, v:28, n:, pp:- [Journal]
- Gheorghe Stefanescu
Preface. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 1999, v:28, n:, pp:- [Journal]
- Eneia Todoran
Metric semantics for synchronous and asynchronous communication: a continuation-based approach. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 1999, v:28, n:, pp:- [Journal]
|