Journals in DBLP
Jean Paul Bahsoun , José Luiz Fiadeiro , Didier Galmiche Foreword. [Citation Graph (0, 0)][DBLP ] Mathematical Structures in Computer Science, 1999, v:9, n:3, pp:225-226 [Journal ] Carlos H. C. Duarte Proof-theoretic foundations for the design of actor systems. [Citation Graph (0, 0)][DBLP ] Mathematical Structures in Computer Science, 1999, v:9, n:3, pp:227-252 [Journal ] Giorgio Delzanno , Didier Galmiche , Maurizio Martelli A specification logic for concurrent object-oriented programming. [Citation Graph (0, 0)][DBLP ] Mathematical Structures in Computer Science, 1999, v:9, n:3, pp:253-286 [Journal ] Joseph A. Goguen , Grant Malcolm Hidden coinduction: behavioural correctness proofs for objects. [Citation Graph (0, 0)][DBLP ] Mathematical Structures in Computer Science, 1999, v:9, n:3, pp:287-319 [Journal ]