Charles Explorer logo
🇬🇧

Static Analysis of Component Systems Using Behavior Protocols

Publication at Faculty of Mathematics and Physics |
2003

Abstract

In this paper, we present the consent operator.