Sciweavers

2 search results - page 1 / 1
» On Miquel's Five-Circle Theorem
Sort
View
GIAE
2004
Springer
129views Mathematics» more  GIAE 2004»
15 years 3 months ago
On Miquel's Five-Circle Theorem
Hongbo Li, Ronghua Xu, Ning Zhang
ENTCS
2007
137views more  ENTCS 2007»
14 years 10 months ago
Formal Sequentialization of Distributed Systems via Program Rewriting
Formal sequentialization is introduced as a rewriting process for the reduction of parallelism and internal communication statements of distributed imperative programs. It constru...
Miquel Bertran, Francesc-Xavier Babot, August Clim...