A refinement calculus for tuple spaces

DOI10.1016/S0167-6423(98)00021-5zbMath0939.68018OpenAlexW1984110331MaRDI QIDQ1806133

Carlo Montangero, Laura Semini

Publication date: 1 November 1999

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

Full work available at URL: https://doi.org/10.1016/s0167-6423(98)00021-5

zbMATH Keywords

refinement calculuscoordination

Mathematics Subject Classification ID

Logic programming (68N17)

Related Items (1)

Fully abstract models and refinements as tools to compare agents in timed coordination languages

This page was built for publication: A refinement calculus for tuple spaces