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.

A more detailed account of concurrency semantics is given here: Concurrency (computer science).

References

1. Semantics (computer science)
2. Denotational semantics
3. Concurrency (computer science)
4. Operational semantics
5. Actor model
6. Concurrency control
7. Concurrent computing
8. Go (programming language)
9. Programming language
10. Laboratory for Foundations of Computer Science
11. Denotational semantics of the Actor model
12. Cognitive semantics
13. Samson Abramsky
14. Atomic semantics
15. Isolation (database systems)
16. Join Java
17. Lexicology
18. Communicating sequential processes
19. Modal logic
20. Logic programming