Coordination in the ImpUNITY framework

DOI10.1016/S0167-6423(97)00025-7zbMATH Open0943.68114MaRDI QIDQ1818367FDOQ1818367

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

Publication date: 15 February 2000

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

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

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)

Cited In (3)

• Coordinating action systems
• Title not available (Why is that?)
• Title not available (Why is that?)

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)