Logics for specifying concurrent information systems

A component-based Petri net model for specifying and validating cooperative information systems

Data & Knowledge Engineering

A database approach to quality of service specification in video databases

ACM SIGMOD Record

Compositional Checking of Communication among Observers

FASE '01 Proceedings of the 4th International Conference on Fundamental Approaches to Software Engineering

Towards an Object Petri Nets Model for Specifying and Validating Distributed Information Systems

CAiSE '99 Proceedings of the 11th International Conference on Advanced Information Systems Engineering

Increasing Reusability in Information Systems Development by Applying Generic Methods

CAiSE '01 Proceedings of the 13th International Conference on Advanced Information Systems Engineering

Consistency Management in Runtime Evolving Concurrent Information Systems: A CO-NETS-Based Approach

FoMLaDO/DEMM 2000 Selected papers from the 9th International Workshop on Foundations of Models and Languages for Data and Objects, Database Schema Evolution and Meta-Modeling

Specifying Distributed and Dynamically Evolving Information Systems Using an Extended CO-Nets Approach

Selected papers from the Eight International Workshop on Foundations of Models and Languages for Data and Objects, Transactions and Database Dynamics

Composing Specifications for Coordination

COORDINATION '99 Proceedings of the Third International Conference on Coordination Languages and Models

A Logical Approach to Quality of Service Specification in Video Databases

Multimedia Tools and Applications

Modelling concurrent interactions

Theoretical Computer Science - Algebraic methodology and software technology

Generalization of some properties of relations in the context of functional temporal×modal logic

International Journal of Computer Mathematics - Recent Advances in Computational and Applied Mathematics in Science and Engineering

Historical and computational aspects of paraconsistency in view of the logic foundation of databases

Proceedings of the 2nd international conference on Semantics in databases

MAT logic: a temporal×modal logic with non-deterministic operators to deal with interactive systems in communication technologies

IBERAMIA-SBIA'06 Proceedings of the 2nd international joint conference, and Proceedings of the 10th Ibero-American Conference on AI 18th Brazilian conference on Advances in Artificial Intelligence

On obligations

ESORICS'05 Proceedings of the 10th European conference on Research in Computer Security