Shared Variables

Known as: APL Shared Variables, Shared variable 
Shared Variables are a feature of the programming language APL which allows APL programs running on mainframe computers to communicate with other… (More)
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2013
2013
CSP# (Communicating Sequential Programs) is a modelling language designed for specifying concurrent systems by integrating CSP… (More)
Is this relevant?
2001
2001
Scenario-based specifications offer an intuitive and visual way of describing design requirements of distributed software systems… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
Is this relevant?
1998
1998
A naming protocol assigns unique names (keys) to every process out of a set of communicating processes. We construct a randomized… (More)
Is this relevant?
Highly Cited
1997
Highly Cited
1997
Compositional proof systems for shared variable concurrent programs can be devised by including the interference information in… (More)
Is this relevant?
1995
1995
Although users may want to employ shared variables when they program distributed simulation applications, almost none of the… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
1994
1994
Implementations of inter-process communication and synchronization in distributed systems usually rely on the existence of unique… (More)
Is this relevant?
Highly Cited
1993
Highly Cited
1993
We give a new denotational semantics for a shared variable pamllel progmmming language and prove full abstraction: the semantics… (More)
  • figure 1
  • figure 3
  • figure 4
Is this relevant?
1993
1993
Although users may want to employ shared variables when they program distributed simulation applications, almost none of the… (More)
  • figure 1
  • figure 3
Is this relevant?
Highly Cited
1988
Highly Cited
1988
In this paper we consider an optimization problem that arises in the execution of parallel programs on shared-memory multiple… (More)
  • figure 1
  • figure 3
  • figure 4
  • figure 5
  • figure 7
Is this relevant?
1978
1978
The problem of mutual exclusion among N asynchronous, parallel processes using only shared binary variables for communication is… (More)
Is this relevant?