Electronic Notes in Theoretical Computer Science, Volume 28

Volume 28, 1999

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