Personensuche
X
?
The Logic of Software. A Tasting Menu of Formal Methods; Lecture Notes in Computer Science ,
4
Reasoning About Active Objects: A Sound and Complete Assert..:
, In:
?
6
Software Engineering and Formal Methods: 18th International..
Theoretical Computer Science and General Issues, 12310
?
Software Engineering and Formal Methods; Lecture Notes in Computer Science ,
7
From SOS to Asynchronously Communicating Actors:
, In:
?
Proceedings of the 35th Annual ACM Symposium on Applied Computing ,
8
On the nature of cooperative scheduling in active objects:
, In:
?
Fundamental Approaches to Software Engineering; Lecture Notes in Computer Science ,
9
Implementing SOS with Active Objects: A Case Study of a Mul..:
, In:
?
10
It's All About Coordination
Essays to Celebrate the Lifelong Scientific Achievements of...
Lecture Notes in Computer Science ; 10865;Programming and Software Engineering ; 10865;SpringerLink, Bücher;Springer eBook Collection, Computer Science
?
Formal Aspects of Component Software; Lecture Notes in Computer Science ,
12