Martin Berger Kohei Honda Nobuko Yoshida Sequentiality and the pi-Calculus. 29-45 2001 TLCA http://link.springer.de/link/service/series/0558/bibs/2044/20440029.htm db/conf/tlca/tlca2001.html#BergerHY01