## Theoretical Computer ScienceThe journal Theoretical Computer Science, founded in 1975, is published by Elsevier Science Publishers. Its contents are mathematical and abstract in spirit, but it derives its motivation from practical and everyday computation. Its aim is to understand the nature of computation and, as a consequence of this understanding, provide more efficient methodologies. All kinds of papers, introducing or studying mathematical, logical and formal concepts and methods are welcome, provided that their motivation is clearly drawn from the field of computing. Papers published in The other section, "Logic, semantics and theory of programming", is devoted to formal methods to check properties of programs of implement formally described languages; it contains all papers dealing with semantics of sequential and parallel programming languages. All formal methods treating these problems are published in this section, including rewriting techniques, abstract data types, automatic theorem proving, calculi such as SCP or CCS, Petri nets, new logic calculi and developments in categorical methods. Prof. Giorgio Ausiello, Dipartemento di Infermatica e Sistemistica, Università di Roma "La Sapienza", Via Salaria 113, 00198, Rome, Italy. Fax: +39 06 85300849 E-mail: This e-mail address is being protected from spambots. You need JavaScript enabled to view it
Prof. Don Sannella, School of Informatics, James Clerk Maxwell Building, King's Buildings, Mayfield Road, Edinburgh EH9 3JZ, United Kingdom. Fax: +44 131 667 7209 Email: This e-mail address is being protected from spambots. You need JavaScript enabled to view it |