Sciweavers

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