Falk Bartels

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

Ask others: ACM DL/Guide -

	2004
j5		Falk Bartels, Ana Sokolova, Erik P. de Vink: A hierarchy of probabilistic system types. Theor. Comput. Sci. 327(1-2): 3-22 (2004)
	2003
j4		Falk Bartels, Ana Sokolova, Erik P. de Vink: A hierarchy of probabilistic system types. Electr. Notes Theor. Comput. Sci. 82(1): 57-75 (2003)
j3		Falk Bartels: Generalised Coinduction. Mathematical Structures in Computer Science 13(2): 321-348 (2003)
	2002
j2		Falk Bartels: GSOS for Probabilistic Transition Systems. Electr. Notes Theor. Comput. Sci. 65(1): 29-53 (2002)
	2001
j1		Falk Bartels: Generalised Coinduction. Electr. Notes Theor. Comput. Sci. 44(1): 67-87 (2001)

Coauthor Index

1	Ana Sokolova	[j5] [j4]
2	Erik P. de Vink	[j5] [j4]

Last update Wed May 22 00:37:38 2013 CET by the DBLP Team —

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