Entailment-based actions for coordination

DOI10.1016/S0304-3975(97)00152-7MaRDI QIDQ1127518zbMATH OpenOpenAlexFDO

Authors Luís Monteiro, António Porto

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)

Recommendations

• Coordinating action systems
• A general theory of action languages
• Freedom and enforcement in action. A study in formal action theory
• Revision and action

Cites work

• Generative communication in Linda
• scientific article; zbMATH DE number 555217 (Why is no real title available?)
• scientific article; zbMATH DE number 821282 (Why is no real title available?)
• Logic Programming with Focusing Proofs in Linear Logic
• Rewriting logic as a semantic framework for concurrency: a progress report
• The gamma model and its discipline of programming
• Truly concurrent constraint programming

Cited in

(2)

• Programming simultaneous actions using common knowledge
• Suspension terms as a means for meta-coordination in the \({\mu}Log\) coordination framework

Describes a project that uses

Uses Software

• Linda

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1127518)