Coordination in the ImpUNITY framework

DOI10.1016/S0167-6423(97)00025-7MaRDI QIDQ1818367zbMATH OpenFDO

Authors H. Goeman, R. T. Udink, Joost N. Kok, K. Sere

Publication date 15 February 2000

Published in Science of Computer Programming (Search for Journal in Brave)

zbMATH Keywords

program transformationsrefinement calculuscoordination languagesunityprogram specifications

Mathematics Subject Classification ID

Theory of programming languages (68N15) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• A refinement calculus for tuple spaces
• Quantitative information in the tuple space coordination model
• Distributed programming with logic tuple spaces
• scientific article; zbMATH DE number 2087415

Cited in

(3)

• Coordinating action systems
• scientific article; zbMATH DE number 2087414 (Why is no real title available?)
• scientific article; zbMATH DE number 2087415 (Why is no real title available?)

Describes a project that uses

Uses Software

• ImpUNITY

This page was built for publication: Coordination in the ImpUNITY framework

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