18 citations · 18 across the 1 of their papers we have counts for
2 papers
cs.PL2012★ 18 cited
Relaxed Operational Semantics of Concurrent Programming Languages
Gérard Boudol, Gustavo Petri, Bernard Serpette
We propose a novel, operational framework to formally describe the semantics of concurrent programs running within the context of a relaxed memory model. Our framework features a "…
cs.PL2005
Reactive concurrent programming revisited
Roberto Amadio, Gerard Boudol, Ilaria Castellani +1
In this note we revisit the so-called reactive programming style, which evolves from the synchronous programming model of the Esterel language by weakening the assumption that the…