Hans-Dieter Ehrich, Carlos Caleiro, AmÃlcar Sernadas, Grit Denker. Logics for Specifying Concurrent Information Systems. In Jan Chomicki, Gunter Saake, editors, Logics for Databases and Information Systems (the book grow out of the Dagstuhl Seminar 9529: Role of Logics in Information Systems, 1995). pages 167-198, Kluwer, 1998. [doi]
Abstract is missing.