Concurrency semantics

In computer science, concurrency semantics is a way to give meaning to concurrent systems in a mathematically rigorous way. Concurrency semantics is often based on mathematical theories of concurrency such as various process calculi, the actor model, or Petri nets.


This article is issued from Wikipedia - version of the Thursday, January 10, 2013. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.