Volume 14, 1998

US - Brazil Joint Workshops on the Formal Foundations of Software Systems
Rio de Janeiro, May 5 - 9, 1997 and New Orleans, November 13 - 16, 1997

• 
  Rance Cleaveland, Michael W. Mislove, Philip S. Mulry: Preface. 1-2
• 
  Roberto Souto Maior de Barros: On the Formal Specification and Derivation of Relational Database Applications. 3-29
• 
  Paulo Borba: Systematic Development of Concurrent Object-Oriented Programs. 30-37
• 
  Carlos Camarão, Lucília Figueiredo: Towards Higher-Order Types. 38-51
• 
  Carlos Camarão, Lucília Figueiredo: A Type System for Context-dependent Overloading. 52-61
• 
  Murilo S. de Camargo, Roberto Milton Scheffel: Formal Specification, Verification and Simulation of Time-Dependent Systems: a Timed Process Algebra Approach. 62-85
• 
  Sergio E. R. de Carvalho, Toacy Cavalcante de Oliveira: An Incremental Model for Concurrent Objects. 86-93
• 
  Sergio E. R. de Carvalho, Sylvia de O. Cruz, Toacy Cavalcante de Oliveira: Second Generation Object-Oriented Development. 94-106
• 
  Christopher Colby, Lalita Jategaonkar, Radha Jagadeesan, Konstantin Läufer, Carlos Puchol: The Semantics of Triveni: A Process-Algebraic API for Threads + Events. 107-133
• 
  Michael Huth: The Interval Domain: A Matchmaker for aCTL and aPCTL. 134-148
• 
  Samuel N. Kamin: Research on Domain-specific Embedded Languages and Program Generators. 149-168
• 
  Leila Ribeiro Korff: Compatibility Between Syntax and Semantics of Graph Grammars. 169-203
• 
  Leila Ribeiro Korff, Martin Korff: True Concurrency = Interleaving Concurrency + Weak Conflict. 204-213
• 
  Gary T. Leavens, Don Pigozzi: Class-Based and Algebraic Models of Objects. 214-244
• 
  Paulo Blauth Menezes, Amílcar Sernadas, José Félix Costa: Nonsequential Automata Semantics for a Concurrent, Object-Based Language. 245-273
• 
  Paulo Blauth Menezes: Diagonal Compositionality of Partial Petri Nets. 274
• 
  Philip S. Mulry: Monads in Semantics. 275-286
• 
  André Santos: Efficient Compilation of Functional Languages by Program Transformation. 287-300
• 
  Carolyn L. Talcott: Reasoning about Programs With Effects. 301-314