A blocking model for reactive objects

DOI10.1007/BF01214919zbMath0852.68012OpenAlexW2020980441MaRDI QIDQ1918937

Cecily Bailes, Roger Duke, Graeme Smith

Publication date: 23 July 1996

Published in: Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf01214919

zbMATH Keywords

compatibility requirements

Mathematics Subject Classification ID

Theory of programming languages (68N15)

Related Items (1)

A blocking model for reactive objects

Uses Software

• Eiffel
• Z

Cites Work

• A blocking model for reactive objects
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: A blocking model for reactive objects