Specification and verification of declarative open interaction models a logic-based approach - Montali, Marco; SpringerLink (Online service) (Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010)
Keywords: Computer logic; Management information systems; Declarative programming languages; Information technology; Computational intelligence; Computer Science; Information Systems Applications (incl.Internet); Logics and Meanings of Programs; Software Engineering; Business Information Systems; Computer Appl. in Administrative Data Processing