Interpreted systems semantics for process algebra with identity annotations

More Info
expand_more