1. Hereditary History Preserving Bisimulations or What Is the Power of the Future Perfect in Program Logics;Bednarczyk,1991
2. Reachability analysis of multithreaded software with asynchronous communication;Bouajjani,2005
3. A non-interleaving semantics for CCS based on proved transitions;Boudol;Fundam. Inform.,1988
4. Permutation of transitions: an event structure semantics for CCS and SCCS;Boudol,1989
5. A theory of processes with localities;Boudol;Form. Asp. Comput.,1994