| |
| 2003 | ||
|---|---|---|
| 2 | EE | Ole Høgh Jensen, Robin Milner: Bigraphs and transitions. POPL 2003: 38-49 |
| 1993 | ||
| 1 | Ole Høgh Jensen, Jarl Tuxen Lang, Christian Jeppesen, Kim Guldstrand Larsen: Model Construction for Implicit Specifications in Model Logic. CONCUR 1993: 247-261 | |
| 1 | Christian Jeppesen | [1] |
| 2 | Jarl Tuxen Lang | [1] |
| 3 | Kim Guldstrand Larsen | [1] |
| 4 | Robin Milner | [2] |