1. M. Baldamus, Semantics and logic of higher-order processes: Characterizing late context bisimulation, PhD thesis, Berlin University of Technology, 1998.
2. M. Baldamus, T. Frauenstein, Congruence proofs for weak bisimulation equivalences on higher–order process calculi, Technical Report, Berlin University of Technology, 1995.
3. Evaluating the tradeoffs of mobile code design paradigms in network management applications;Baldi,1998
4. Reactive systems, barbed semantics, and the mobile ambients;Bonchi,2009
5. Communication and mobility control in boxed ambients;Bugliesi;Inform. and Comput.,2005