Skip to search formSkip to main contentSkip to account menu

Concurrency semantics

In computer science, concurrency semantics is a way to give meaning to concurrent systems in a mathematically rigorous way. Concurrency semantics is… 
Wikipedia (opens in a new tab)

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2016
Highly Cited
2016
Despite much research on concurrent programming languages, especially for Java and C/C++, we still do not have a satisfactory… 
Highly Cited
2015
Highly Cited
2015
Despite decades of research, we do not have a satisfactory concurrency semantics for any general-purpose programming language… 
2008
2008
  • Jean Deruelle
  • The Second International Conference on Next…
  • 2008
  • Corpus ID: 13479993
JSLEE is a more complex specification than SIP Servlets, and it has been know as heavyweight and with a steep learning curve… 
2008
2008
Highly Cited
2007
Highly Cited
2007
In this paper various semantics in the linear time { branching time spectrum are presented in a uniform, model-independent way… 
Highly Cited
2004
Highly Cited
2004
Highly Cited
1996
Highly Cited
1996
In comparative concurrency semantics, one usually distinguishes between linear time and branching time semantic equivalences… 
Highly Cited
1996
Highly Cited
1996
  • K. Jensen
  • Applications and Theory of Petri Nets
  • 1996
  • Corpus ID: 890846
The development of Coloured Petri Nets (CP-nets or CPN) has been driven by the desire to develop a modelling language - at the… 
Highly Cited
1995
Highly Cited
1995
1989
1989
  • J. Bakker
  • IFIP Congress
  • 1989
  • Corpus ID: 43460015
Based on our experience in the design of semantics for several families of parallel languages, we present an expository account…