"Observability for Pair Pattern Calculi."

Antonio Bucciarelli, Delia Kesner, Simona Ronchi Della Rocca (2015)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics