Login / Signup
An Innovative Approach for Achieving Composability in Concurrent Systems using Multi-Version Object Based STMs.
Sandeep S. Kulkarni
Sweta Kumari
Sathya Peri
Archit Somani
Published in:
CoRR (2017)
Keyphrases
</>
concurrent systems
temporal logic
distributed systems
process algebra
petri net
model checking
formal specification
transition systems
data sets
website
open source
real world
machine learning
artificial intelligence
video sequences