Jan Schwinghammer (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

10 Manfred Schmidt-Schauß, Joachim Niehren, Jan Schwinghammer, David Sabel: Adequacy of Compositional Translations for Observational Semantics. IFIP TCS 2008: 521-535

8 Joachim Niehren, David Sabel, Manfred Schmidt-Schauß, Jan Schwinghammer: Observational Semantics for a Concurrent Lambda Calculus with Reference Cells and Futures. Electr. Notes Theor. Comput. Sci. 173: 313-337 (2007)

5 Joachim Niehren, Jan Schwinghammer, Gert Smolka: A concurrent lambda calculus with futures. Theor. Comput. Sci. 364(3): 338-356 (2006)

3 Joachim Niehren, Jan Schwinghammer, Gert Smolka: A Concurrent Lambda Calculus with Futures. FroCos 2005: 248-263

Selection of 4 from 14 records - Jan Schwinghammer has 11 coauthors

10		Manfred Schmidt-Schauß, Joachim Niehren, Jan Schwinghammer, David Sabel: Adequacy of Compositional Translations for Observational Semantics. IFIP TCS 2008: 521-535
8		Joachim Niehren, David Sabel, Manfred Schmidt-Schauß, Jan Schwinghammer: Observational Semantics for a Concurrent Lambda Calculus with Reference Cells and Futures. Electr. Notes Theor. Comput. Sci. 173: 313-337 (2007)
5		Joachim Niehren, Jan Schwinghammer, Gert Smolka: A concurrent lambda calculus with futures. Theor. Comput. Sci. 364(3): 338-356 (2006)
3		Joachim Niehren, Jan Schwinghammer, Gert Smolka: A Concurrent Lambda Calculus with Futures. FroCos 2005: 248-263