in FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES in LECTURE NOTES IN COMPUTER SCIENCE, ISSN: 0302-9743
Volume: 1784, Pages: 267-282 (16)
Conference
3Rd International Conference on Foundations of Software Science and Computation Structures (Fossacs 2000), Date: MAR 25-APR 02, 2000, Location: BERLIN, GERMANY, Sponsors: Inst. Commun. Softw. Technol. TU Berlin;The European Association for Programming Languages and Systems;The European Association for Theoretical Computer Science;The European Association for Software Science and Technology;"High-Level Sci. Conf." Compon. Eur. Comm. Framework Programme