… and relational queries. The 2LT project is aimed at providing a formal basis for coupled …. In this paper, we provide an overview of the challenges met by the 2LT project …
ENTCS, 200(3):3-23, 2008. [doi]… …
FM 2006: 284-299 [doi]… …
PEPM 2009: 179-188 [doi]… …
PADL 2007: 290-304 [doi]… …
PEPM 2007: 11-20 [doi]… …
ENTCS, 174(1):17-34, 2007. [doi]