Theoretical Computer Science

30

click to vote

SOFSEM
2009
Springer

116views Theoretical Computer Science» more SOFSEM 2009»

A Machine Checked Soundness Proof for an Intermediate Verification Language

14 years 9 months ago

Download www.ksi.mff.cuni.cz

Frédéric Vogels, Bart Jacobs 0002, F...

claim paper

Read More »

46

click to vote

SOFSEM
2009
Springer

86views Theoretical Computer Science» more SOFSEM 2009»

Symbolic Reachability Analysis of Integer Timed Petri Nets

14 years 9 months ago

Download www.cs.ucr.edu

Petri nets are an eﬀective formalism to model discrete event systems, and several variants have been deﬁned to explicitly include real time in the model. We consider two fundam...

Min Wan, Gianfranco Ciardo

claim paper

Read More »

22

click to vote

SOFSEM
2009
Springer

114views Theoretical Computer Science» more SOFSEM 2009»

A Framework for Mutant Genetic Generation for WS-BPEL

14 years 9 months ago

Download www.ksi.mff.cuni.cz

Juan José Domínguez-Jiménez, ...

claim paper

Read More »

22

click to vote

SOFSEM
2009
Springer

112views Theoretical Computer Science» more SOFSEM 2009»

On Some SAT-Variants over Linear Formulas

14 years 9 months ago

Download www.uni-ulm.de

Informationen zum TheorieTag und Abstracts zu den Beitr¨agen ﬁnden Sie unter http://www.uni-ulm.de/in/theo/tt56.html.

Stefan Porschen, Tatjana Schmidt

claim paper

Read More »

37

click to vote

SOFSEM
2009
Springer

94views Theoretical Computer Science» more SOFSEM 2009»

Polylog Space Compression Is Incomparable with Lempel-Ziv and Pushdown Compression

14 years 9 months ago

Download webdiis.unizar.es

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...

Elvira Mayordomo, Philippe Moser

claim paper

Read More »

14

click to vote

SOFSEM
2009
Springer

106views Theoretical Computer Science» more SOFSEM 2009»

Group Input Machine

14 years 9 months ago

Download www.sofsem.cz

Ruslans Tarasovs, Rusins Freivalds

claim paper

Read More »

27

click to vote

SOFSEM
2009
Springer

94views Theoretical Computer Science» more SOFSEM 2009»

Time and Fairness in a Process Algebra with Non-blocking Reading

14 years 9 months ago

Download www.sti.uniurb.it

We introduce the ﬁrst process algebra with non-blocking reading actions for modelling concurrent asynchronous systems. We study the impact this new kind of actions has on fairnes...

Flavio Corradini, Maria Rita Di Berardini, Walter ...

claim paper

Read More »

27

click to vote

SOFSEM
2009
Springer

86views Theoretical Computer Science» more SOFSEM 2009»

Symbolic State-Space Generation of Asynchronous Systems Using Extensible Decision Diagrams

14 years 9 months ago

Download www.cs.ucr.edu

We propose a new type of canonical decision diagrams, which allows a more eﬃcient symbolic state-space generation for general asynchronous systems by allowing on-the-ﬂy extensi...

Min Wan, Gianfranco Ciardo

claim paper

Read More »

9

click to vote

SOFSEM
2009
Springer

89views Theoretical Computer Science» more SOFSEM 2009»

On the Unification of Process Semantics: Observational Semantics

14 years 9 months ago

Download www.sofsem.cz

David de Frutos-Escrig, Carlos Gregorio-Rodr&iacut...

claim paper