Sciweavers

Share
60 search results - page 1 / 12
» The expressive power of the shuffle product
Sort
View
IANDC
2010
132views more  IANDC 2010»
10 years 9 months ago
The expressive power of the shuffle product
There is an increasing interest in the shuffle product on formal languages, mainly because it is a standard tool for modeling process algebras. It still remains a mysterious opera...
Jean Berstel, Luc Boasson, Olivier Carton, Jean-Er...
GW
1999
Springer
138views Biometrics» more  GW 1999»
11 years 4 months ago
The Expressive Power of Gestures: Capturing Scent in a Spatial Shape
Our engagement with consumer products diminishes gradually over the last decades, which causes considerable usability problems. To dissolve these problems, the designer's emph...
Caroline Hummels, Kees Overbeeke
TCS
2008
10 years 10 months ago
Extension of Brzozowski's derivation calculus of rational expressions to series over the free partially commutative monoids
We introduce an extension of the derivatives of rational expressions to expressions denoting formal power series over partially commuting variables. The expressions are purely non...
Jean Berstel, Christophe Reutenauer
LOGCOM
2000
93views more  LOGCOM 2000»
10 years 11 months ago
The product of converse PDL and polymodal K
The product of two modal logics L1 and L2 is the modal logic determined by the class of frames of the form FG such that F and G validate L1 and L2, respectively. This paper proves...
Frank Wolter
CORR
2007
Springer
147views Education» more  CORR 2007»
10 years 11 months ago
Model Checking Synchronized Products of Infinite Transition Systems
Formal veriļ¬cation using the model checking paradigm has to deal with two aspects: The system models are structured, often as products of components, and the speciļ¬cation logic...
Stefan Wöhrle, Wolfgang Thomas
books