14 citations · 48 across the 26 of their papers we have counts for
Showing 2013Show all
2 papers · 1 filter
cs.LO2013★ 4 cited
A Polynomial Translation of pi-calculus FCPs to Safe Petri Nets
Victor Khomenko, Roland Meyer, Reiner Hüchting
We develop a polynomial translation from finite control pi-calculus processes to safe low-level Petri nets. To our knowledge, this is the first such translation. It is natural in t…
cs.LO2013★ 1 cited
A Theory of Partitioned Global Address Spaces
Georgel Calin, Egor Derevenetc, Rupak Majumdar +1
Partitioned global address space (PGAS) is a parallel programming model for the development of applications on clusters. It provides a global address space partitioned among the cl…