Journals in DBLP
Roberto Souto Maior de Barros On the Formal Specification and Derivation of Relational Database Applications. [Citation Graph (0, 0)][DBLP ] Journal ] André Santos Efficient Compilation of Functional Languages by Program Transformation. [Citation Graph (0, 0)][DBLP ] Journal ] Philip S. Mulry Monads in Semantics. [Citation Graph (0, 0)][DBLP ] Journal ] Paulo Blauth Menezes , Amílcar Sernadas , José Félix Costa Nonsequential Automata Semantics for a Concurrent, Object-Based Language. [Citation Graph (0, 0)][DBLP ] Journal ] Paulo Blauth Menezes Diagonal Compositionality of Partial Petri Nets. [Citation Graph (0, 0)][DBLP ] Journal ] Gary T. Leavens , Don Pigozzi Class-Based and Algebraic Models of Objects. [Citation Graph (0, 0)][DBLP ] Journal ] Leila Ribeiro Korff , Martin Korff True Concurrency = Interleaving Concurrency + Weak Conflict. [Citation Graph (0, 0)][DBLP ] Journal ] Leila Ribeiro Korff Compatibility Between Syntax and Semantics of Graph Grammars. [Citation Graph (0, 0)][DBLP ] Journal ] Samuel N. Kamin Research on Domain-specific Embedded Languages and Program Generators. [Citation Graph (0, 0)][DBLP ] Journal ] Michael Huth The Interval Domain: A Matchmaker for aCTL and aPCTL. [Citation Graph (0, 0)][DBLP ] Journal ] Christopher Colby , Lalita Jategaonkar , Radha Jagadeesan , Konstantin Läufer , Carlos Puchol The Semantics of Triveni: A Process-Algebraic API for Threads + Events. [Citation Graph (0, 0)][DBLP ] Journal ] Rance Cleaveland , Michael W. Mislove , Philip S. Mulry Preface. [Citation Graph (0, 0)][DBLP ] Journal ] Sergio E. R. de Carvalho , Toacy Cavalcante de Oliveira An Incremental Model for Concurrent Objects. [Citation Graph (0, 0)][DBLP ] Journal ] Sergio E. R. de Carvalho , Sylvia de O. Cruz , Toacy Cavalcante de Oliveira Second Generation Object-Oriented Development. [Citation Graph (0, 0)][DBLP ] Journal ] Murilo S. de Camargo , Roberto Milton Scheffel Formal Specification, Verification and Simulation of Time-Dependent Systems: a Timed Process Algebra Approach. [Citation Graph (0, 0)][DBLP ] Journal ] Carlos Camarão , Lucília Figueiredo A Type System for Context-dependent Overloading. [Citation Graph (0, 0)][DBLP ] Journal ] Carlos Camarão , Lucília Figueiredo Towards Higher-Order Types. [Citation Graph (0, 0)][DBLP ] Journal ] Paulo Borba Systematic Development of Concurrent Object-Oriented Programs. [Citation Graph (0, 0)][DBLP ] Journal ] Carolyn L. Talcott Reasoning about Programs With Effects. [Citation Graph (0, 0)][DBLP ] Journal ] 