3 citations · 5 across the 5 of their papers we have counts for
Showing 2017Show all
2 papers · 1 filter
cs.LO2017
Learning to Prove Safety over Parameterised Concurrent Systems (Full Version)
Yu-Fang Chen, Chih-Duo Hong, Anthony W. Lin +1
We revisit the classic problem of proving safety over parameterised concurrent systems, i.e., an infinite family of finite-state concurrent systems that are represented by some fin…
cs.DC2017
An Executable Sequential Specification for Spark Aggregation
Yu-Fang Chen, Chih-Duo Hong, Ondřej Lengál +3
Spark is a new promising platform for scalable data-parallel computation. It provides several high-level application programming interfaces (APIs) to perform parallel data aggregat…