Login / Signup

From Concurrent Programs to Simulating Sequential Programs: Correctness of a Transformation.

Allan BlanchardFrédéric LoulergueNikolai Kosmatov
Published in: VPT@ETAPS (2017)
Keyphrases
  • concurrent programs
  • concurrent programming
  • process algebra
  • web applications
  • concurrent processes
  • asynchronous circuits
  • petri net