Mixed programming metaphors in a shared dataspace model of concurrency

A simple language called Swarm is used as a vehicle for the investigation of the shared dataspace approach to concurrent computation. An important feature of Swarm is its ability to bring a variety of programming paradigms under a single, unified model. In a series of related examples Swarm's c...

Celý popis

Uloženo v:
Podrobná bibliografie
Vydáno v:IEEE transactions on software engineering Ročník 16; číslo 12; s. 1361 - 1373
Hlavní autoři: Roman, G.-C., Cunningham, H.C.
Médium: Journal Article
Jazyk:angličtina
Vydáno: New York, NY IEEE 01.12.1990
Institute of Electrical and Electronics Engineers
IEEE Computer Society
Témata:
Algorithms
Applied sciences
Communication
Computer languages
Computer programming
Computer science
Computer science; control theory; systems
Concurrent computing
Cooperation
Data structures
Dynamic programming
Exact sciences and technology
Information science
Labeling
Language
Logic programming
Message passing
Paradigms
Parallel processing
Programming languages
Protocols
Software
Technology management
Vehicle dynamics
Distributed processing
Models
Parallel programming
Programming language
Concurrency
ISSN:0098-5589, 1939-3520
On-line přístup:Získat plný text
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
Abstract A simple language called Swarm is used as a vehicle for the investigation of the shared dataspace approach to concurrent computation. An important feature of Swarm is its ability to bring a variety of programming paradigms under a single, unified model. In a series of related examples Swarm's capacity to express shared-variable, message-passing, and rule-based computations; to specify synchronous and asynchronous processing modes; and to accommodate highly dynamic program and data structure is explored. Several illustrations make use of a programming construct unique to Swarm, the synchrony relation and explain how this feature can be used to construct dynamically structured, partially synchronous computations. An overview of the Swarm programming notation, an examination of Swarm programming strategies via a series of related example programs, and a discussion of the distinctive features of the shared dataspace model are given. A formal operational model for Swarm is presented.< >
AbstractList A simple language called Swarm is used as a vehicle for the investigation of the shared dataspace approach to concurrent computation. An important feature of Swarm is its ability to bring a variety of programming paradigms under a single, unified model. In a series of related examples Swarm's capacity to express shared-variable, message-passing, and rule-based computations; to specify synchronous and asynchronous processing modes; and to accommodate highly dynamic program and data structure is explored. Several illustrations make use of a programming construct unique to Swarm, the synchrony relation and explain how this feature can be used to construct dynamically structured, partially synchronous computations. An overview of the Swarm programming notation, an examination of Swarm programming strategies via a series of related example programs, and a discussion of the distinctive features of the shared dataspace model are given. A formal operational model for Swarm is presented.< >
The tern shared dataspace refers to the general class of models and languages in which the principal means of communication is a common, content-addressable data structure called a dataspace. Swarm is a simple language we have used as a vehicle for the investigation of the shared dataspace approach to concurrent computation. The paper has three parts: an overview of the Swarm programming notation, an examination of Swarm programming strategies via a series of related example programs, and a discussion of the distinctive features of the shared dataspace model.
The term "shared dataspace" refers to the general class of models and languages in which the chief means of communication is a common, content-addressable data structure called a dataspace. Swarm is a simple language that has been used as a vehicle for the study of the shared dataspace approach to concurrent computation. It is the first shared dataspace language to have an associated assertional-style proof system. An important feature of Swarm is its ability to bring in a variety of programming paradigms under a single, unified model. A series of related examples illustrates Swarm's capacity to: 1. express shared-variable, message-passing, and rule-based computations, 2. specify synchronous and asynchronous processing modes, and 3. accommodate highly dynamic program and data structures. Several illustrations make use of a programming construct unique to Swarm - the synchrony relation - and explain how this feature can be used to construct dynamically structured, partially synchronous computations.
A simple language called SWARM is used as a vehicle for the investigation of the shared dataspace approach to concurrent computation. SWARM has the ability to bring a variety of programming paradigms under a single unified model. In a series of related examples SWARM's capacity to express shared- variable, message-passing, and rule-based computations; to specify synchronous and asynchronous processing modes; and to accommodate highly dynamic program and data structures is explored. Several illustrations make use of a programming construct unique to SWARM, the synchrony relation, and explain how this feature can be used to construct dynamically structured, partially synchronous computations. An overview the SWARM programming notation, an examination of SWARM programming strategies via a series of related example programs, and a discussion of the distinctive features of the shared dataspace model are given. A formal operational model for SWARM is presented. (I.E.)
Author Roman, G.-C.
Cunningham, H.C.
Author_xml – sequence: 1
  givenname: G.-C.
  surname: Roman
  fullname: Roman, G.-C.
  organization: Dept. of Comput. Sci., Washington Univ., Saint Louis, MO, USA
– sequence: 2
  givenname: H.C.
  surname: Cunningham
  fullname: Cunningham, H.C.
BackLink http://pascal-francis.inist.fr/vibad/index.php?action=getRecordDetail&idt=19399646$$DView record in Pascal Francis
BookMark eNqN0U1LJDEQBuAgIzjqwl69NYLipcd8dJLOUWR1FxQv7jnUJtUzke5kTHpg_ffb44iH8bKnHOqpl0rVMZnFFJGQ74wuGKPmWvCF4k0jD8icGWFqITmdkTmlpq2lbM0ROS7lhVIqtZZzcvcY_qKv1jktMwxDiMtqwBHWq5RLFWIFVVlBnoSHEcoaHFZD8thXqatcim6TM0b3dkoOO-gLfvt4T8jvux_Ptz_rh6f7X7c3D7UTRo01atqiZlQyZNS3XnqKqP9wp5B5ppqG6061UndeUdXohplWKCe5BvDcKylOyOUudxr4dYNltEMoDvseIqZNsVxqqZVo_wsKrreJ53vwJW1ynD5hmZkWxmjDJnTxgaA46LsM0YVi1zkMkN_sdtFGNWpyi51zOZWSsbMujDCGFMcMobeM2u2RrOD2_UhTw9Vew2fmV3q2owERP9mu9g8w8Zid
CODEN IESEDJ
CitedBy_id crossref_primary_10_1145_152388_152393
crossref_primary_10_1109_32_277573
crossref_primary_10_1145_201024_201026
crossref_primary_10_1109_71_242155
crossref_primary_10_1006_ijhc_2002_1007
crossref_primary_10_1016_S0167_6423_97_00011_7
crossref_primary_10_1016_S0167_6423_98_00021_5
crossref_primary_10_1016_S0950_7051_99_00003_9
crossref_primary_10_1016_1045_926X_92_90014_D
crossref_primary_10_1109_32_464547
crossref_primary_10_1007_BF03037345
crossref_primary_10_1109_32_221138
Cites_doi 10.1145/359576.359585
10.1109/ICCL.1988.13046
10.1145/62083.62108
10.1007/978-1-4612-4886-6
10.1109/DCS.1988.12526
10.1109/TSE.1975.6312840
10.1145/5956.5958
10.1109/2.42012
10.1109/HICSS.1988.11863
10.1109/ICSE.1988.93710
10.1145/214451.214456
10.1109/ICDCS.1990.89278
10.1145/7902.7903
10.1145/359104.359108
10.1145/62084.62113
10.1145/42392.42399
10.7551/mitpress/1086.001.0001
10.1007/BF01786227
10.1109/MC.1986.1663305
10.1016/0020-0190(80)90021-6
10.1145/322248.322259
10.1109/71.80163
10.1145/357139.357142
10.1145/63334.63337
ContentType Journal Article
Copyright 1991 INIST-CNRS
Copyright Institute of Electrical and Electronics Engineers, Inc. (IEEE) Dec 1990
Copyright_xml – notice: 1991 INIST-CNRS
– notice: Copyright Institute of Electrical and Electronics Engineers, Inc. (IEEE) Dec 1990
DBID AAYXX
CITATION
IQODW
3V.
7WY
7WZ
7X7
7XB
87Z
88E
88F
88I
88K
8AL
8FE
8FG
8FI
8FJ
8FK
8FL
8G5
ABJCF
ABUWG
AFKRA
ARAPS
AZQEC
BENPR
BEZIV
BGLVJ
CCPQU
DWQXO
FRNLG
FYUFA
F~G
GHDGH
GNUQQ
GUQSH
HCIFZ
JQ2
K60
K6~
K7-
K9.
L.-
L6V
M0C
M0N
M0S
M1P
M1Q
M2O
M2P
M2T
M7S
MBDVC
P5Z
P62
PHGZM
PHGZT
PJZUB
PKEHL
PPXIY
PQBIZ
PQBZA
PQEST
PQGLB
PQQKQ
PQUKI
PRINS
PTHSS
Q9U
7SC
8FD
L7M
L~C
L~D
H8D
DOI 10.1109/32.62445
DatabaseName CrossRef
Pascal-Francis
ProQuest Central (Corporate)
ABI/INFORM Collection
ABI/INFORM Global (PDF only)
Health & Medical Collection
ProQuest Central (purchase pre-March 2016)
ABI/INFORM Collection
Medical Database (Alumni Edition)
Military Database (Alumni Edition)
Science Database (Alumni Edition)
Telecommunications (Alumni Edition)
Computing Database (Alumni Edition)
ProQuest SciTech Collection
ProQuest Technology Collection
Hospital Premium Collection
Hospital Premium Collection (Alumni Edition)
ProQuest Central (Alumni) (purchase pre-March 2016)
ABI/INFORM Collection (Alumni Edition)
Research Library (Alumni Edition)
Materials Science & Engineering Collection
ProQuest Central (Alumni)
ProQuest Central UK/Ireland
Advanced Technologies & Computer Science Collection
ProQuest Central Essentials
ProQuest Central
Business Premium Collection
Technology Collection
ProQuest One Community College
ProQuest Central Korea
Business Premium Collection (Alumni)
Health Research Premium Collection
ABI/INFORM Global (Corporate)
Health Research Premium Collection (Alumni)
ProQuest Central Student
Research Library Prep
SciTech Premium Collection
ProQuest Computer Science Collection
ProQuest Business Collection (Alumni Edition)
ProQuest Business Collection
Computer Science Database
ProQuest Health & Medical Complete (Alumni)
ABI/INFORM Professional Advanced
ProQuest Engineering Collection
ABI/INFORM Global
Computing Database
Health & Medical Collection (Alumni Edition)
PML(ProQuest Medical Library)
Military Database
Research Library
Science Database
Telecommunications Database
Engineering Database
Research Library (Corporate)
Advanced Technologies & Aerospace Database
ProQuest Advanced Technologies & Aerospace Collection
ProQuest Central Premium
ProQuest One Academic
ProQuest Health & Medical Research Collection
ProQuest One Academic Middle East (New)
ProQuest One Health & Nursing
ProQuest One Business
ProQuest One Business (Alumni)
ProQuest One Academic Eastern Edition (DO NOT USE)
ProQuest One Applied & Life Sciences
ProQuest One Academic (retired)
ProQuest One Academic UKI Edition
ProQuest Central China
Engineering Collection
ProQuest Central Basic
Computer and Information Systems Abstracts
Technology Research Database
Advanced Technologies Database with Aerospace
Computer and Information Systems Abstracts – Academic
Computer and Information Systems Abstracts Professional
Aerospace Database
DatabaseTitle CrossRef
ProQuest Business Collection (Alumni Edition)
Research Library Prep
Computer Science Database
ProQuest Central Student
ProQuest Advanced Technologies & Aerospace Collection
ProQuest Central Essentials
ProQuest Computer Science Collection
SciTech Premium Collection
ProQuest Military Collection
ProQuest Central China
ABI/INFORM Complete
ProQuest Telecommunications
ProQuest One Applied & Life Sciences
Health Research Premium Collection
Health & Medical Research Collection
ProQuest Central (New)
ProQuest Medical Library (Alumni)
Engineering Collection
Advanced Technologies & Aerospace Collection
Business Premium Collection
ABI/INFORM Global
Engineering Database
ProQuest Science Journals (Alumni Edition)
ProQuest One Academic Eastern Edition
ProQuest Hospital Collection
ProQuest Technology Collection
Health Research Premium Collection (Alumni)
ProQuest Telecommunications (Alumni Edition)
ProQuest Business Collection
ProQuest Hospital Collection (Alumni)
ProQuest Health & Medical Complete
ProQuest One Academic UKI Edition
ProQuest One Academic
ProQuest One Academic (New)
ABI/INFORM Global (Corporate)
ProQuest One Business
Technology Collection
ProQuest One Academic Middle East (New)
ProQuest Health & Medical Complete (Alumni)
ProQuest Central (Alumni Edition)
ProQuest One Community College
ProQuest One Health & Nursing
Research Library (Alumni Edition)
ProQuest Central
ABI/INFORM Professional Advanced
ProQuest Health & Medical Research Collection
ProQuest Engineering Collection
Health and Medicine Complete (Alumni Edition)
ProQuest Central Korea
ProQuest Research Library
ABI/INFORM Complete (Alumni Edition)
ProQuest Computing
ABI/INFORM Global (Alumni Edition)
ProQuest Central Basic
ProQuest Science Journals
ProQuest Computing (Alumni Edition)
ProQuest Military Collection (Alumni Edition)
ProQuest SciTech Collection
Advanced Technologies & Aerospace Database
ProQuest Medical Library
Materials Science & Engineering Collection
ProQuest One Business (Alumni)
ProQuest Central (Alumni)
Business Premium Collection (Alumni)
Computer and Information Systems Abstracts
Technology Research Database
Computer and Information Systems Abstracts – Academic
Advanced Technologies Database with Aerospace
Computer and Information Systems Abstracts Professional
Aerospace Database
DatabaseTitleList
Computer and Information Systems Abstracts
ProQuest Business Collection (Alumni Edition)
Technology Research Database
Database_xml – sequence: 1
  dbid: BENPR
  name: ProQuest Central
  url: https://www.proquest.com/central
  sourceTypes: Aggregation Database
DeliveryMethod fulltext_linktorsrc
Discipline Computer Science
Applied Sciences
EISSN 1939-3520
EndPage 1373
ExternalDocumentID 1142866
19399646
10_1109_32_62445
62445
GroupedDBID --Z
-DZ
-~X
.4S
.DC
0R~
29I
3EH
4.4
5GY
5VS
6IK
7WY
7X7
85S
88E
88I
8FE
8FG
8FI
8FJ
8FL
8G5
8R4
8R5
97E
9M8
AAJGR
AARMG
AASAJ
AAWTH
ABAZT
ABFSI
ABJCF
ABPPZ
ABQJQ
ABUWG
ABVLG
ACGFO
ACGOD
ACIWK
ACNCT
ADBBV
AENEX
AETIX
AFKRA
AGQYO
AGSQL
AHBIQ
AI.
AIBXA
AKJIK
AKQYR
ALLEH
ALMA_UNASSIGNED_HOLDINGS
ARAPS
ARCSS
ASUFR
ATWAV
AZQEC
BEFXN
BENPR
BEZIV
BFFAM
BGLVJ
BGNUA
BKEBE
BKOMP
BPEOZ
BPHCQ
BVXVI
CCPQU
CS3
DU5
DWQXO
E.L
EBS
EDO
EJD
FRNLG
FYUFA
GNUQQ
GROUPED_ABI_INFORM_RESEARCH
GUQSH
HCIFZ
HMCUK
HZ~
H~9
I-F
IBMZZ
ICLAB
IEDLZ
IFIPE
IFJZH
IPLJI
ITG
ITH
JAVBF
K60
K6V
K6~
K7-
L6V
LAI
M0C
M1P
M1Q
M2O
M2P
M43
M7S
MS~
O9-
OCL
OHT
P2P
P62
PHGZM
PHGZT
PJZUB
PPXIY
PQBIZ
PQBZA
PQGLB
PQQKQ
PROAC
PSQYO
PTHSS
PUEGO
Q2X
RIA
RIE
RNI
RNS
RXW
RZB
S10
TAE
TN5
TWZ
UHB
UKHRP
UPT
UQL
VH1
WH7
XOL
YYP
YZZ
ZCG
AAYXX
AFFHD
CITATION
ALIPV
IQODW
RIG
3V.
7XB
88K
8AL
8FK
JQ2
K9.
L.-
M0N
M2T
MBDVC
PKEHL
PQEST
PQUKI
PRINS
Q9U
7SC
8FD
L7M
L~C
L~D
H8D
ID FETCH-LOGICAL-c396t-e708e71051e10d8d5d0ee7b2c6e1d164427f6857fd60647419836c527aad2d653
IEDL.DBID M1Q
ISICitedReferencesCount 22
ISICitedReferencesURI http://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=Summon&SrcAuth=ProQuest&DestLinkType=CitingArticles&DestApp=WOS_CPL&KeyUT=10.1109/32.62445&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D
ISSN 0098-5589
IngestDate Thu Oct 02 11:32:20 EDT 2025
Sat Sep 27 20:29:17 EDT 2025
Mon Oct 06 16:53:27 EDT 2025
Mon Jul 21 09:15:24 EDT 2025
Sat Nov 29 02:38:29 EST 2025
Tue Nov 18 22:35:37 EST 2025
Wed Aug 27 02:47:44 EDT 2025
IsDoiOpenAccess false
IsOpenAccess true
IsPeerReviewed true
IsScholarly true
Issue 12
Keywords Distributed processing
Models
Parallel programming
Programming language
Concurrency
Language English
License https://ieeexplore.ieee.org/Xplorehelp/downloads/license-information/IEEE.html
CC BY 4.0
LinkModel DirectLink
MergedId FETCHMERGED-LOGICAL-c396t-e708e71051e10d8d5d0ee7b2c6e1d164427f6857fd60647419836c527aad2d653
Notes ObjectType-Article-1
SourceType-Scholarly Journals-1
content type line 14
ObjectType-Article-2
ObjectType-Feature-1
content type line 23
OpenAccessLink https://doi.org/10.7936/k75719bs
PQID 195581041
PQPubID 23500
PageCount 13
ParticipantIDs ieee_primary_62445
proquest_journals_195581041
proquest_miscellaneous_25757638
crossref_citationtrail_10_1109_32_62445
pascalfrancis_primary_19399646
crossref_primary_10_1109_32_62445
proquest_miscellaneous_25753275
PublicationCentury 1900
PublicationDate 1990-12-01
PublicationDateYYYYMMDD 1990-12-01
PublicationDate_xml – month: 12
  year: 1990
  text: 1990-12-01
  day: 01
PublicationDecade 1990
PublicationPlace New York, NY
PublicationPlace_xml – name: New York, NY
– name: New York
PublicationTitle IEEE transactions on software engineering
PublicationTitleAbbrev TSE
PublicationYear 1990
Publisher IEEE
Institute of Electrical and Electronics Engineers
IEEE Computer Society
Publisher_xml – name: IEEE
– name: Institute of Electrical and Electronics Engineers
– name: IEEE Computer Society
References ref13
ref15
ref31
ref30
dijkstra (ref14) 1976
roman (ref29) 1989
ref11
brownston (ref6) 1985
ref2
ref17
ref16
ref19
ref18
lelann (ref22) 1977
cunningham (ref12) 1989
ref23
ref26
ref25
ref20
agha (ref1) 1986
ref24a
chandy (ref10) 1988
ref24b
ref28
ref27
ref8
ref7
lehmann (ref21) 1981; 115
ref9
ref4
(ref3) 1983
ref5
References_xml – volume: 115
  start-page: 264
  year: 1981
  ident: ref21
  publication-title: ICALP '81 Automata Languages and Programming
– year: 1988
  ident: ref10
  publication-title: Parallel Program Design A Foundation
– year: 1985
  ident: ref6
  publication-title: Programming Expert Systems in OPS5 An Introduction to Rule-Based Programming
– ident: ref18
  doi: 10.1145/359576.359585
– ident: ref4
  doi: 10.1109/ICCL.1988.13046
– start-page: 270
  year: 1989
  ident: ref29
  article-title: A shared dataspace model of concurrency?Language and programming implications
  publication-title: Proc 9th Int Conf Distributed Computing Systems
– ident: ref24a
  doi: 10.1145/62083.62108
– ident: ref16
  doi: 10.1007/978-1-4612-4886-6
– ident: ref31
  doi: 10.1109/DCS.1988.12526
– ident: ref5
  doi: 10.1109/TSE.1975.6312840
– ident: ref9
  doi: 10.1145/5956.5958
– ident: ref28
  doi: 10.1109/2.42012
– ident: ref19
  doi: 10.1109/HICSS.1988.11863
– year: 1989
  ident: ref12
  publication-title: The shared dataspace approach to concurrent computation The Swarm programming model notation and logic
– ident: ref27
  doi: 10.1109/ICSE.1988.93710
– ident: ref8
  doi: 10.1145/214451.214456
– ident: ref30
  doi: 10.1109/ICDCS.1990.89278
– ident: ref17
  doi: 10.1145/7902.7903
– ident: ref11
  doi: 10.1145/359104.359108
– ident: ref24b
  doi: 10.1145/62084.62113
– ident: ref23
  doi: 10.1145/42392.42399
– start-page: 155
  year: 1977
  ident: ref22
  publication-title: Information Processing 77
– year: 1986
  ident: ref1
  publication-title: Actors A Model of Concurrent Computation in Distributed Systems
  doi: 10.7551/mitpress/1086.001.0001
– year: 1976
  ident: ref14
  publication-title: A Discipline of Programming
– ident: ref20
  doi: 10.1007/BF01786227
– ident: ref2
  doi: 10.1109/MC.1986.1663305
– ident: ref15
  doi: 10.1016/0020-0190(80)90021-6
– ident: ref26
  doi: 10.1145/322248.322259
– ident: ref13
  doi: 10.1109/71.80163
– ident: ref25
  doi: 10.1145/357139.357142
– year: 1983
  ident: ref3
  publication-title: Reference Manual for the Ada Programming Language
– ident: ref7
  doi: 10.1145/63334.63337
SSID ssj0005775
Score 1.4921201
Snippet A simple language called Swarm is used as a vehicle for the investigation of the shared dataspace approach to concurrent computation. An important feature of...
The term "shared dataspace" refers to the general class of models and languages in which the chief means of communication is a common, content-addressable data...
The tern shared dataspace refers to the general class of models and languages in which the principal means of communication is a common, content-addressable...
A simple language called SWARM is used as a vehicle for the investigation of the shared dataspace approach to concurrent computation. SWARM has the ability to...
SourceID proquest
pascalfrancis
crossref
ieee
SourceType Aggregation Database
Index Database
Enrichment Source
Publisher
StartPage 1361
SubjectTerms Algorithms
Applied sciences
Communication
Computer languages
Computer programming
Computer science
Computer science; control theory; systems
Concurrent computing
Cooperation
Data structures
Dynamic programming
Exact sciences and technology
Information science
Labeling
Language
Logic programming
Message passing
Paradigms
Parallel processing
Programming languages
Protocols
Software
Technology management
Vehicle dynamics
SummonAdditionalLinks – databaseName: IEEE Electronic Library (IEL)
  dbid: RIE
  link: http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwlV1LS8QwEA4qHrz4FtdnBMFTNX3kdRRx8aJ4UPBWsskUF7Rdtrui_95Jml0RRfBWmimEmWQezZf5CDnFFLmyoAcJ6JwlhZE8MRgpEsnlIDOFKQpWBbIJeXennp70fWyTE-7CAEAAn8G5fwxn-a6xU_-r7EJgLOKLZFFK0d3U-gJzSMln3TE5Vzq2mU2Zvsiz8_Ddt8ATmFQ8DtK0qIqq47D44Y5DjOmv_Wd262Q1ZpL0sjP9BlmAepOszVgaaNy0W6R_O3wHRyMQ6xVDFX2FiRk9N-OWDmtqaPvsUejUg0XRv1iggR6HNhXFYtmGBk72Y5s89q8frm6SyJ6Q2FyLSQKSKcD8gaeQMqccdwwADWAFpA6LpCKTlVBcVk74C6dFqlUuLM-kMS5zguc7ZKluatglFGUt4yY1LLNYDzJl-MBaW4FwUnOV9sjZTLWlja3FPcPFSxlKDKbLPCuDenrkZC456tpp_CKz4ZU7H48vj77Z6utrjSmWKESP7M-MV8Zt2OIgLgYsOHGGx_NR3D_-UMTU0EzbEl0WzzPJ_5ZAL6z2fpvXPllJMaB3AJcDsjQZT-GQLNu3ybAdH4VF-gmL5eXV
  priority: 102
  providerName: IEEE
Title Mixed programming metaphors in a shared dataspace model of concurrency
URI https://ieeexplore.ieee.org/document/62445
https://www.proquest.com/docview/195581041
https://www.proquest.com/docview/25753275
https://www.proquest.com/docview/25757638
Volume 16
WOSCitedRecordID wos10.1109/32.62445&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D
hasFullText 1
inHoldings 1
isFullTextHit
isPrint
journalDatabaseRights – providerCode: PRVIEE
  databaseName: IEEE Electronic Library (IEL)
  customDbUrl:
  eissn: 1939-3520
  dateEnd: 99991231
  omitProxy: false
  ssIdentifier: ssj0005775
  issn: 0098-5589
  databaseCode: RIE
  dateStart: 19750101
  isFulltext: true
  titleUrlDefault: https://ieeexplore.ieee.org/
  providerName: IEEE
– providerCode: PRVPQU
  databaseName: ABI/INFORM Collection
  customDbUrl:
  eissn: 1939-3520
  dateEnd: 20120331
  omitProxy: false
  ssIdentifier: ssj0005775
  issn: 0098-5589
  databaseCode: 7WY
  dateStart: 19870101
  isFulltext: true
  titleUrlDefault: https://www.proquest.com/abicomplete
  providerName: ProQuest
– providerCode: PRVPQU
  databaseName: ABI/INFORM Global
  customDbUrl:
  eissn: 1939-3520
  dateEnd: 20120331
  omitProxy: false
  ssIdentifier: ssj0005775
  issn: 0098-5589
  databaseCode: M0C
  dateStart: 19870101
  isFulltext: true
  titleUrlDefault: https://search.proquest.com/abiglobal
  providerName: ProQuest
– providerCode: PRVPQU
  databaseName: Advanced Technologies & Aerospace Database
  customDbUrl:
  eissn: 1939-3520
  dateEnd: 20120331
  omitProxy: false
  ssIdentifier: ssj0005775
  issn: 0098-5589
  databaseCode: P5Z
  dateStart: 19870101
  isFulltext: true
  titleUrlDefault: https://search.proquest.com/hightechjournals
  providerName: ProQuest
– providerCode: PRVPQU
  databaseName: Computer Science Database
  customDbUrl:
  eissn: 1939-3520
  dateEnd: 20120331
  omitProxy: false
  ssIdentifier: ssj0005775
  issn: 0098-5589
  databaseCode: K7-
  dateStart: 19870101
  isFulltext: true
  titleUrlDefault: http://search.proquest.com/compscijour
  providerName: ProQuest
– providerCode: PRVPQU
  databaseName: Engineering Database
  customDbUrl:
  eissn: 1939-3520
  dateEnd: 20120331
  omitProxy: false
  ssIdentifier: ssj0005775
  issn: 0098-5589
  databaseCode: M7S
  dateStart: 19870101
  isFulltext: true
  titleUrlDefault: http://search.proquest.com
  providerName: ProQuest
– providerCode: PRVPQU
  databaseName: Health & Medical Collection
  customDbUrl:
  eissn: 1939-3520
  dateEnd: 20120331
  omitProxy: false
  ssIdentifier: ssj0005775
  issn: 0098-5589
  databaseCode: 7X7
  dateStart: 19870101
  isFulltext: true
  titleUrlDefault: https://search.proquest.com/healthcomplete
  providerName: ProQuest
– providerCode: PRVPQU
  databaseName: Military Database
  customDbUrl:
  eissn: 1939-3520
  dateEnd: 20120331
  omitProxy: false
  ssIdentifier: ssj0005775
  issn: 0098-5589
  databaseCode: M1Q
  dateStart: 19870101
  isFulltext: true
  titleUrlDefault: https://search.proquest.com/military
  providerName: ProQuest
– providerCode: PRVPQU
  databaseName: ProQuest Central
  customDbUrl:
  eissn: 1939-3520
  dateEnd: 20120331
  omitProxy: false
  ssIdentifier: ssj0005775
  issn: 0098-5589
  databaseCode: BENPR
  dateStart: 19870101
  isFulltext: true
  titleUrlDefault: https://www.proquest.com/central
  providerName: ProQuest
– providerCode: PRVPQU
  databaseName: Research Library
  customDbUrl:
  eissn: 1939-3520
  dateEnd: 20120331
  omitProxy: false
  ssIdentifier: ssj0005775
  issn: 0098-5589
  databaseCode: M2O
  dateStart: 19870101
  isFulltext: true
  titleUrlDefault: https://search.proquest.com/pqrl
  providerName: ProQuest
– providerCode: PRVPQU
  databaseName: Science Database
  customDbUrl:
  eissn: 1939-3520
  dateEnd: 20120331
  omitProxy: false
  ssIdentifier: ssj0005775
  issn: 0098-5589
  databaseCode: M2P
  dateStart: 19870101
  isFulltext: true
  titleUrlDefault: https://search.proquest.com/sciencejournals
  providerName: ProQuest
link http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwpV1Lb9QwELZoy4ELpTzEthCMhMQp1E5iOz6hdukKCe0SoIiFS-S1HbFSSbabFNF_37HjbFWBeuEyUuKxEnnsedjj-RB6BS5ypa1cxFamJM6UYLECSxELJhaJylSWkcqDTYjZLJ_PZRFyc9qQVjnoRK-oTaPdHvkhlYzlEDvQt6vz2IFGucPVgKCxhXbAT5audP6UfrrO8BCCDSUzobMMtWcpkYdp8oaDYWM3rJGHV3HJkaqF8al6YIu_dLQ3PJPd__zlB-h-8DjxUT9F9tAdWz9EuwOaAw6L-xGaTJd_rMFFn7D1C0wantpOrX426xYva6ywK-4MHO9Up0APaYsdkNoZbio8bmrtCz3py8fo6-TkdPw-DigLsU4l72IrSG7Bz2DUUmJywwyxFgSluaUGgqksERXPmagMdxdTMyrzlGuWCKVMYjhLn6DtuqntU4SBVxOmqCKJhriR5IottNaV5UZIGIoRej2MdqlDCXKHhHFW-lCEyDJNSi-XEXq54Vz1ZTf-wbPnBLZpDy-jG-K77i3BFeMZH6GDQVhlWK5tuZHUCL3YtMI6c4cnqrbNRVuCamNpItjtHKCt8_1bv3CA7lHwAPqMmGdou1tf2Oforv7dLdt1hLbEt--OzkWEdo5PZsVnePogYqBTMo78BHc0-ehp4empo-IL0IL9iPwdxisVYgHE
linkProvider ProQuest
linkToHtml http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMw1V1NT9wwEB0hWqm9QOmHulDAlVr15OI4sR0fKlRBV6BlVxyoxC312o66EiTLJrTlR_U_dpyPRagVNw69xhMlscfveeLxPIB3uETOrddT6nXMaGKUoAaZgiqhptwkJklY3ohNqMkkPT_Xpyvwuz8LE9Iqe0xsgNqVNvwj34u0ECnGDtH-_IoG0aiwudoraLReMfI3PzFiqz4dH-Lwvud8-OXs4Ih2ogLUxlrW1CuWeqRVEfmIudQJx7zH97LSRw5jh4SrXKZC5U6Gc5gJBuWxtIIrYxx3MohEIOI_SuJUhWk1UvQ2o0Qp0ZfoxJfVXa3biOm9mH-USKTiDvs1ci4hGdNUOB55K6TxFyc0RDdc_8-66BmsdStq8rmdAhuw4ovnsN6rVZAOvF7AcDz75R05bRPSLpGyydjXZv69XFRkVhBDQvFqtDg0tUGctZ4EobgLUubkoCxsU8jK3ryErw_yNa9gtSgL_xoI2lomTGQYtxgXs9SIqbU299IpjV0_gA_96Ga2K7EelD4usibUYjqLedb4wQDeLi3nbVmRf9hsBAdZtncXd-64y-3dGpeaMpED2OqdI-vgqMqWnjGA3WUr4kjYHDKFL6-rDKFbxFyJ-y2QjdLNe5-wC0-OzsYn2cnxZLQFTyNc7bTZP29gtV5c-214bH_Us2qx00weAt8e2hX_AAqtUQY
openUrl ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=Mixed+programming+metaphors+in+a+shared+dataspace+model+of+concurrency&rft.jtitle=IEEE+transactions+on+software+engineering&rft.au=Roman%2C+G.-C.&rft.au=Cunningham%2C+H.C.&rft.date=1990-12-01&rft.issn=0098-5589&rft.volume=16&rft.issue=12&rft.spage=1361&rft.epage=1373&rft_id=info:doi/10.1109%2F32.62445&rft.externalDBID=n%2Fa&rft.externalDocID=10_1109_32_62445
thumbnail_l http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=0098-5589&client=summon
thumbnail_m http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=0098-5589&client=summon
thumbnail_s http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=0098-5589&client=summon