2 search results - page 1 / 1 » On Miquel's Five-Circle Theorem |
105
Voted
GIAE
2004
Springer
15 years 10 months ago
2004
Springer
150
Voted
ENTCS
2007
15 years 5 months ago
2007
Formal sequentialization is introduced as a rewriting process for the reduction of parallelism and internal communication statements of distributed imperative programs. It constru...