scientific article; zbMATH DE number 1304382

zbMATH Open0928.68005MaRDI QIDQ4251120

Naoki Kobayashi, Akinori Yonezawa

Publication date: 17 June 1999

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

distributed objects

Mathematics Subject Classification ID

Network design and communication in computer systems (68M10) Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items (4)

Unifying Concurrent Objects and Distributed Tasks ⋮ Linear logical relations and observational equivalences for session-based concurrency ⋮ Unnamed Item ⋮ On linear logic planning and concurrency

Recommendations

• Unnamed Item 👍 👎
• Unnamed Item 👍 👎
• Linear logical relations and observational equivalences for session-based concurrency 👍 👎
• Distributed programming with logic tuple spaces 👍 👎
• Distributed concurrent linear logic programming 👍 👎
• Linear Logical Relations for Session-Based Concurrency 👍 👎
• A specification logic for concurrent object-oriented programming 👍 👎
• Unifying Concurrent Objects and Distributed Tasks 👍 👎
• A separation logic for refining concurrent objects 👍 👎

This page was built for publication: