Implementing a Modal Logic over Data and Processes using XTL

• Authors:

• Jeremy Bryans;Carron Shankland

• Affiliations:

• -;-

• Venue:
• FORTE '01 Proceedings of the IFIP TC6/WG6.1 - 21st International Conference on Formal Techniques for Networked and Distributed Systems
• Year:
• 2001