Ole Høgh Jensen

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C

Ask others: ACM DL/Guide -

	2003
c2		Ole Høgh Jensen, Robin Milner: Bigraphs and transitions. POPL 2003: 38-49
	1993
c1		Ole Høgh Jensen, Jarl Tuxen Lang, Christian Jeppesen, Kim Guldstrand Larsen: Model Construction for Implicit Specifications in Model Logic. CONCUR 1993: 247-261

Coauthor Index

1	Christian Jeppesen	[c1]
2	Jarl Tuxen Lang	[c1]
3	Kim Guldstrand Larsen (Kim G. Larsen)	[c1]
4	Robin Milner	[c2]

Last update Sun May 26 10:13:20 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page