Technical info

• About F-logic
• About HiLog
• About Transaction Logic
• FLORA-2 system
• Related work

Acknowledgements