98 citations · 385 across the 33 of their papers we have counts for
Showing 2019Show all
2 papers · 1 filter
cs.PL2019★ 1 cited
Implementing choreography extraction
Luís Cruz-Filipe, Fabrizio Montesi, Larisa Safina
Choreography extraction deals with the generation of a choreography (a global description of communication behaviour) from a set of local process behaviours. In this work, we imple…
cs.PL2019
Hypothetical answers to continuous queries over data streams
Luís Cruz-Filipe, Graça Gaspar, Isabel Nunes
Continuous queries over data streams may suffer from blocking operations and/or unbound wait, which may delay answers until some relevant input arrives through the data stream. The…