2 citations · 3 across the 2 of their papers we have counts for
1 paper · 1 filter
Jan Bergstra, Inge Bethke, Mark Burgess
We present a process algebra based approach to formalize the interactions of computing devices such as the representation of policies and the resolution of conflicts. As an example…