Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Giuseppe Scollo

Specification Styles in Distributed Systems Design and Verification

Theoretical Computer Science

Computer Science

Theoretical Computer Science

English

State Transition Dynamics

Advances in Web Services Research

English

Compactness and Löwenheim-Skolem Properties in Categories of Pre-Institutions

Banach Center Publications

English