Coordination in the ImpUNITY framework

DOI10.1016/S0167-6423(97)00025-7zbMath0943.68114MaRDI QIDQ1818367

R. T. Udink, H. J. M. Goeman, Kaisa Sere, Joost N. Kok

Publication date: 15 February 2000

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

zbMATH Keywords

refinement calculusprogram transformationscoordination languagesunityprogram specifications

Mathematics Subject Classification ID

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

Related Items (1)

Coordinating action systems

Uses Software

• ImpUNITY

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