Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Higher-Order Linearisability
Map detail
Higher-Order Linearisability4 visible / 4 total nodes / 3 links

Drag to move · Scroll or pinch to zoom · Select a node for details

AuthorshipAuthorshipTopic signalHigher-Order LinearisabilityWHigher-Order Linearisabilitypreprint / 2016Andrzej S. MurawskiAAndrzej S. MurawskiResearcherNikos TzevelekosANikos TzevelekosResearcherProgramming LanguagesTProgramming Languages1239 works
Paper3 links

Higher-Order Linearisability

preprint / 2016