SOFSEM
2009
Springer
14 years 1 months ago
2009
Springer
SOFSEM
2009
Springer
14 years 1 months ago
2009
Springer
Petri nets are an effective formalism to model discrete event systems, and several variants have been defined to explicitly include real time in the model. We consider two fundam...
SOFSEM
2009
Springer
14 years 1 months ago
2009
Springer
SOFSEM
2009
Springer
14 years 1 months ago
2009
Springer
Informationen zum TheorieTag und Abstracts zu den Beitr¨agen finden Sie unter http://www.uni-ulm.de/in/theo/tt56.html.
SOFSEM
2009
Springer
14 years 1 months ago
2009
Springer
This paper considers online compression algorithms that use at most polylogarithmic space (plogon). These algorithms correspond to compressors in the data stream model. We study th...
SOFSEM
2009
Springer
14 years 1 months ago
2009
Springer
SOFSEM
2009
Springer
14 years 1 months ago
2009
Springer
We introduce the first process algebra with non-blocking reading actions for modelling concurrent asynchronous systems. We study the impact this new kind of actions has on fairnes...
SOFSEM
2009
Springer
14 years 1 months ago
2009
Springer
We propose a new type of canonical decision diagrams, which allows a more efficient symbolic state-space generation for general asynchronous systems by allowing on-the-fly extensi...
SOFSEM
2009
Springer
14 years 1 months ago
2009
Springer
SOFSEM
2009
Springer
14 years 1 months ago
2009
Springer