Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Alessandro Aldini

Component-Oriented Verification of Noninterference

Journal of Systems Architecture

English

A General Approach to Deadlock Freedom Verification for Software Architectures

Lecture Notes in Computer Science

Computer Science

Theoretical Computer Science

English