Julian Fell

According to our database, Julian Fell authored at least 1 paper in 2016.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of five.

2016

Concurrent Refinement Algebra and Rely Quotients.

Julian Fell, Ian J. Hayes, Andrius Velykis

Arch. Formal Proofs, 2016