@Inproceedings{EPTCS71.2, author = {Beauquier, Maxime and Sch\"urmann, Carsten}, year = {2011}, title = {A Bigraph Relational Model}, editor = {Geuvers, Herman and Nadathur, Gopalan}, booktitle = {{\rm Proceedings Sixth International Workshop on} Logical Frameworks and Meta-languages: Theory and Practice, {\rm Nijmegen, The Netherlands, August 26, 2011}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {71}, publisher = {Open Publishing Association}, pages = {14-28}, doi = {10.4204/EPTCS.71.2}, }