Publication:4251120

zbMath0928.68005MaRDI QIDQ4251120

Naoki Kobayashi, Akinori Yonezawa

Publication date: 17 June 1999

zbMATH Keywords

distributed objects

Mathematics Subject Classification ID

68M10: Network design and communication in computer systems

03B20: Subsystems of classical logic (including intuitionistic logic)

Related Items

On linear logic planning and concurrency