default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDUS-Brazil Joint Workshops on the Formal Foundations of Software Systems 1997: Rio de Janeiro, Brazil / New Orleans, LA, USA
- Rance Cleaveland, Michael W. Mislove, Philip S. Mulry:
US-Brazil Joint Workshops on the Formal Foundations of Software Systems, Rio de Janeiro, Brazil, May 5-9, 1997 & New Orleans, LA, USA, November 13-16, 1997. Electronic Notes in Theoretical Computer Science 14, Elsevier 1998 - 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é L. M. Santos:
Efficient Compilation of Functional Languages by Program Transformation. 287-300 - Carolyn L. Talcott:
Reasoning about Programs With Effects. 301-314
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-13 23:55 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
