Långbacka, T

name

• Långbacka, T

Authored works

• An interactive environment supporting the development of formally correct programs
• Refining reactive systems in HOL using action system[s]
• Specification and implementation of a simple message passing system using TLA
• TkWinHOL : a tool for doing window inference in HOL

Works contributed to

• A monitoring system for a transputer-based multiprocessor
• Developing a customisable programming environment for message passing based systems
• Millipede - a programming environment providing visual support for parallel programming

Works about Långbacka, T