Electronic Notes in Theoretical Computer Science, Volume 14

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

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