WDS '99. Workshop on distributed systems. A satellite workshop to FCT '99, Iassy, Romania, September 2--3, 1999 (Q1574783)

The articles of this volume will be reviewed individually. Indexed articles: \textit{Krishnan, Padmanabhan}, Distributed timed automata, 17 p., electronic only [Zbl 0966.68012] \textit{Morin, Rémi}, Hierarchy of asynchronous automata, 18 p., electronic only [Zbl 0966.68095] \textit{Hirsch, Dan; Montanari, Ugo}, Consistent transformations for software architecture styles of distributed systems, 18 p., electronic only [Zbl 0966.68015] \textit{Penczek, Wojciech; Ambroszkiewicz, Stanisław}, Model checking of causal knowledge formulas, 19 p., electronic only [Zbl 0966.68014] \textit{Stauner, Thomas; Grimm, Christoph}, Prototyping of hybrid systems -- from HyCharts to hybrid data-flow graphs, 20 p., electronic only [Zbl 0966.68116] \textit{Petre, Luigia; Sere, Kaisa; Waldén, Marina}, A topological approach to distributed computing, 22 p., electronic only [Zbl 0966.68011] \textit{Goguen, Joseph; Roşu, Grigore}, A protocol for distributed cooperative work, 23 p., electronic only [Zbl 0966.68010] \textit{Todoran, Eneia}, Metric semantics for synchronous and asynchronous communication: A continuation-based approach, 27 p., electronic only [Zbl 0966.68110]