Electronic Notes in Theoretical Computer Science, Volume 28

> Home > Journals > Electronic Notes in Theoretical Computer Science

Volume 28, 1999

WDS'99 Workshop on Distributed Systems
A satellite workshop to FCT'99, Iassy (RO), 2-3 September 1999

- view
- export record
  dblp key:
  - journals/entcs/Stefanescu99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/Stefanescu99
Gheorghe Stefanescu:
Preface. 1-2
- view
- export record
  dblp key:
  - journals/entcs/GoguenR99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/GoguenR99
Joseph A. Goguen, Grigore Rosu:
A protocol for distributed cooperative work. 3
- view
- export record
  dblp key:
  - journals/entcs/HirschM99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/HirschM99
Dan Hirsch, Ugo Montanari:
Consistent transformations for software architecture styles of distributed systems. 4
- view
- export record
  dblp key:
  - journals/entcs/Krishnan99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/Krishnan99
Padmanabhan Krishnan:
Distributed timed automata. 5-21
- view
- export record
  dblp key:
  - journals/entcs/Morin99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/Morin99
Rémi Morin:
Hierarchy of asynchronous automata. 22-39
- view
- export record
  dblp key:
  - journals/entcs/PenczekA99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/PenczekA99
Wojciech Penczek, Stanislaw Ambroszkiewicz:
Model checking of causal knowledge formulas. 40-58
- view
- export record
  dblp key:
  - journals/entcs/PetreSW99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/PetreSW99
Luigia Petre, Kaisa Sere, Marina Waldén:
A topological approach to distributed computing. 59-80
- view
- export record
  dblp key:
  - journals/entcs/StaunerG99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/StaunerG99
Thomas Stauner, Christoph Grimm:
Prototyping of hybrid systems - from HyCharts to Hybrid Data-Flow Graphs. 81-100
- view
- export record
  dblp key:
  - journals/entcs/Todoran99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/Todoran99
Eneia Todoran:
Metric semantics for synchronous and asynchronous communication: a continuation-based approach. 101-127

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.