Entailment-based actions for coordination

DOI10.1016/S0304-3975(97)00152-7zbMath0896.68024OpenAlexW1996387392MaRDI QIDQ1127518

António Porto, Luís Monteiro

Publication date: 13 August 1998

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0304-3975(97)00152-7

zbMATH Keywords

coordination languages

Mathematics Subject Classification ID

Logic programming (68N17)

Uses Software

• Linda

Cites Work

• The gamma model and its discipline of programming
• Truly concurrent constraint programming
• Logic Programming with Focusing Proofs in Linear Logic
• Generative communication in Linda
• Rewriting logic as a semantic framework for concurrency: a progress report
• Unnamed Item
• Unnamed Item

This page was built for publication: Entailment-based actions for coordination