Lars Jenner

According to our database, Lars Jenner authored at least 4 papers between 1996 and 2002.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2002

Comparing the worst-case efficiency of asynchronous systems with PAFAS.

Flavio Corradini, Walter Vogler, Lars Jenner

Acta Informatica, 2002

2000

Axiomatizing a Fragment of PAFAS.

Walter Vogler, Lars Jenner

Proceedings of the International Workshop on Models for Time-Critical Systems, 2000

1999

Comparing the Efficiency of Asynchronous Systems.

Lars Jenner, Walter Vogler

Proceedings of the Formal Methods for Real-Time and Probabilistic Systems, 1999

1996

Fast Asynchronous Systems in Dense Time.

Lars Jenner, Walter Vogler

Proceedings of the Automata, Languages and Programming, 23rd International Colloquium, 1996