-
1
-
2
Contract Aware Components, 10 years after
Veröffentlicht in Electronic proceedings in theoretical computer science
VolltextArtikel -
3
-
4
-
5
Contract Aware Components, 10 years after
Veröffentlicht in Electronic proceedings in theoretical computer science
VolltextArtikel -
6
-
7
-
8
Automatic management of sessions in shared spaces
Veröffentlicht in The Journal of supercomputing
VolltextArtikel -
9
-
10
-
11
-
12
Debugging tool for distributed Estelle programs
Veröffentlicht in Computer communications
VolltextArtikel -
13
-
14
-
15
-
16
-
17
Kevoree Modeling Framework (KMF): Efficient modeling techniques for runtime use
Veröffentlicht in arXiv.org
VolltextArtikel -
18
-
19
-
20
Detecting atomic sequences of predicates in distributed computations
Veröffentlicht in SIGPLAN notices
VolltextArtikel