Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

Concurrency semantics

In computer science, concurrency semantics is a way to give meaning to concurrent systems in a mathematically rigorous way. Concurrency semantics is… Expand
Wikipedia

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… Expand
Is this relevant?
Highly Cited
2015
Highly Cited
2015
Despite decades of research, we do not have a satisfactory concurrency semantics for any general-purpose programming language… Expand
Is this relevant?
2009
2009
We use Chu spaces and an algebra of them to give a denotational semantics of a subset of BPEL. The emphasis is on the scope-based… Expand
  • figure 1
  • table IV
  • table V
  • table III
Is this relevant?
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… Expand
  • figure 1
  • table 1
  • figure 3
Is this relevant?
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… Expand
Is this relevant?
2006
2006
Scenario-driven requirement specifications are widely used to capture and represent functional requirements. Use Case Maps are… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2005
2005
Concurrency Theory is a synthesis of one of the major threads of theoretical computer science research focusing on languages and… Expand
Is this relevant?
2000
2000
A process algebra of parameterized M-expressions is introduced as a syntax for a class of composable high-level Petri nets… Expand
Is this relevant?
Highly Cited
1996
Highly Cited
1996
In comparative concurrency semantics, one usually distinguishes between linear time and branching time semantic equivalences… Expand
  • figure 1
  • figure 2
  • figure 3
  • table I
  • figure 4
Is this relevant?
Highly Cited
1996
Highly Cited
1996
The development of Coloured Petri Nets (CP-nets or CPN) has been driven by the desire to develop a modelling language - at the… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?