Personensuche
X
?
Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 3 ,
6
CSSTs: A Dynamic Data Structure for Partial Orders in Concu..:
, In:
?
Lecture Notes in Computer Science; Foundations of Software Science and Computation Structures ,
8
DyNetKAT: An Algebra of Dynamic Networks:
, In:
?
Proceedings of the 27th ACM International Conference on Architectural Support for Programming Languages and Operating Systems ,
9
A tree clock data structure for causal orderings in concurr..:
, In:
?
Theoretical Aspects of Software Engineering; Lecture Notes in Computer Science ,
10