Sciweavers

2 search results - page 1 / 1
» On Miquel's Five-Circle Theorem
Sort
View
76
Voted
GIAE
2004
Springer
129views Mathematics» more  GIAE 2004»
15 years 5 months ago
On Miquel's Five-Circle Theorem
Hongbo Li, Ronghua Xu, Ning Zhang
ENTCS
2007
137views more  ENTCS 2007»
15 years 4 days 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...