Task FF[2]: Integration and Tool Support

This task is concerned with the integration of process algebras, the temporal logics appearing in the associated analysis tools, and the logics of FF[1] into the DOC TI P framework. This requires new approaches to heterogeneity that go beyond the current institutional foundation of DOCTIP, specifically support for heterogeneous modal logics and a suitable abstraction layer for process algebras.

All Tickets

Ticket Priority Summary Owner
No tickets found

Last modified 8 years ago Last modified on 25.02.2011 10:17:03