Login / Signup
Julian Fell
Publication Activity (10 Years)
Years Active: 2016-2016
Publications (10 Years): 1
Top Topics
Data Model
Algebraic Expressions
Top Venues
Arch. Formal Proofs
</>
Publications
</>
Julian Fell
,
Ian J. Hayes
,
Andrius Velykis
Concurrent Refinement Algebra and Rely Quotients.
Arch. Formal Proofs
2016 (2016)