Volume 28, 1999

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

• 
  Gheorghe Stefanescu: Preface. 1-2
• 
  Joseph A. Goguen, Grigore Rosu: A protocol for distributed cooperative work. 3
• 
  Dan Hirsch, Ugo Montanari: Consistent transformations for software architecture styles of distributed systems. 4
• 
  Padmanabhan Krishnan: Distributed timed automata. 5-21
• 
  Rémi Morin: Hierarchy of asynchronous automata. 22-39
• 
  Wojciech Penczek, Stanislaw Ambroszkiewicz: Model checking of causal knowledge formulas. 40-58
• 
  Luigia Petre, Kaisa Sere, Marina A. Waldén: A topological approach to distributed computing. 59-80
• 
  Thomas Stauner, Christoph Grimm: Prototyping of hybrid systems - from HyCharts to Hybrid Data-Flow Graphs. 81-100
• 
  Eneia Todoran: Metric semantics for synchronous and asynchronous communication: a continuation-based approach. 101-127