-
121
-
122
-
123
-
124
Implementing Data−Independence: Symbolic Operational Semantics for CSP_M
Published 2002Conference item -
125
-
126
-
127
-
128
-
129
-
130
-
131
-
132
-
133
Accepting Information with a Pinch of Salt: Handling Untrusted Information Sources
Published 2011Conference item -
134
-
135
-
136
-
137
Accepting Information with a Pinch of Salt: Handling Untrusted Information Sources
Published 2012Conference item -
138
-
139
-
140