Concurrency semantics

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

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2017
2017
We present a denotational semantics designed in continuation-passing style (CPS) for an abstract language providing operators for… (More)
Is this relevant?
2016
2016
Despite much research on concurrent programming languages, especially for Java and C/C++, we still do not have a satisfactory… (More)
Is this relevant?
2015
2015
Despite decades of research, we do not have a satisfactory concurrency semantics for any general-purpose programming language… (More)
Is this relevant?
2011
2011
Independence between two sets of random variables is a well-known relation in probability theory. Its origins trace back to… (More)
  • figure 2
  • figure 3
  • figure 5
  • figure 6
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… (More)
Is this relevant?
Highly Cited
2004
Highly Cited
2004
In game semantics, one expresses the higher-order value passing mechanisms of theλ-calculus as sequences of atomic actions… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
1999
Highly Cited
1999
This paper studies the semantics of hierarchical finite state machines (FMS’s) that are composed using various concurrency models… (More)
  • figure 1
  • figure 2
  • figure 4
  • figure 5
  • figure 6
Is this relevant?
1998
1998
One of the central objectives of the LOTOS restandardisation activity is to deene an enhanced LOTOS language which supports real… (More)
Is this relevant?
Highly Cited
1996
Highly Cited
1996
In comparative concurrency semantics, one usually distinguishes between linear time and branching time semantic equivalences… (More)
  • figure 1
  • figure 2
  • figure 3
  • table I
  • figure 4
Is this relevant?
1987
1987
Wcr define for a number OS concurrent imperative languages both operational and denotational semantic models as fixed points of… (More)
Is this relevant?