A logic for a coordination model with multiple spaces

Authors:
P. Ciancarini;M. Mazza;L. Pazzaglia
Affiliations:
-;-;-
Venue:
Science of Computer Programming
Year:
1998

Citing 0
Cited 3

Using a coordination language to specify and analyze systems containing mobile components

ACM Transactions on Software Engineering and Methodology (TOSEM)
Logic Programming Languages for the Internet

Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part I
Composing Specifications for Coordination

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

Quantified Score

Hi-index	0.00

Visualization

Abstract