Parallelism, concurrency and distribution in constraint handling rules: A survey

Constraint Handling Rules (CHR) is both an effective concurrent declarative programming language and a versatile computational logic formalism. In CHR, guarded reactive rules rewrite a multi-set of constraints. Concurrency is inherent, since rules can be applied to the constraints in parallel. In th...

Celý popis

Uloženo v:
Podrobná bibliografie
Vydáno v:Theory and practice of logic programming Ročník 18; číslo 5-6; s. 759 - 805
Hlavní autor: FRÜHWIRTH, THOM
Médium: Journal Article
Jazyk:angličtina
Vydáno: Cambridge, UK Cambridge University Press 01.09.2018
Témata:
Coding
Concurrency
Declarative programming
Downloading
Formalism
Petri nets
Programming languages
Semantics
Software
Survey Article
declarative programming
rewriting
constraint handling rules
parallelism
concurrent constraint programming
semantics
distribution
concurrency models
concurrency
ISSN:1471-0684, 1475-3081
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 Constraint Handling Rules (CHR) is both an effective concurrent declarative programming language and a versatile computational logic formalism. In CHR, guarded reactive rules rewrite a multi-set of constraints. Concurrency is inherent, since rules can be applied to the constraints in parallel. In this comprehensive survey, we give an overview of the concurrent, parallel as well as distributed CHR semantics, standard and more exotic, that have been proposed over the years at various levels of refinement. These semantics range from the abstract to the concrete. They are related by formal soundness results. Their correctness is proven as a correspondence between parallel and sequential computations. On the more practical side, we present common concise example CHR programs that have been widely used in experiments and benchmarks. We review parallel and distributed CHR implementations in software as well as hardware. The experimental results obtained show a parallel speed-up for unmodified sequential CHR programs. The software implementations are available online for free download and we give the web links. Due to its high level of abstraction, the CHR formalism can also be used to implement and analyse models for concurrency. To this end, the Software Transaction Model, the Actor Model, Colored Petri Nets and the Join-Calculus have been faithfully encoded in CHR. Finally, we identify and discuss commonalities of the approaches surveyed and indicate what problems are left open for future research.
AbstractList Constraint Handling Rules (CHR) is both an effective concurrent declarative programming language and a versatile computational logic formalism. In CHR, guarded reactive rules rewrite a multi-set of constraints. Concurrency is inherent, since rules can be applied to the constraints in parallel. In this comprehensive survey, we give an overview of the concurrent, parallel as well as distributed CHR semantics, standard and more exotic, that have been proposed over the years at various levels of refinement. These semantics range from the abstract to the concrete. They are related by formal soundness results. Their correctness is proven as a correspondence between parallel and sequential computations. On the more practical side, we present common concise example CHR programs that have been widely used in experiments and benchmarks. We review parallel and distributed CHR implementations in software as well as hardware. The experimental results obtained show a parallel speed-up for unmodified sequential CHR programs. The software implementations are available online for free download and we give the web links. Due to its high level of abstraction, the CHR formalism can also be used to implement and analyse models for concurrency. To this end, the Software Transaction Model, the Actor Model, Colored Petri Nets and the Join-Calculus have been faithfully encoded in CHR. Finally, we identify and discuss commonalities of the approaches surveyed and indicate what problems are left open for future research.
Author FRÜHWIRTH, THOM
Author_xml – sequence: 1
  givenname: THOM
  surname: FRÜHWIRTH
  fullname: FRÜHWIRTH, THOM
  email: thom.fruehwirth@uni-ulm.de
  organization: Institute of Software Engineering and Programming Languages, Ulm University 89069 Ulm, Germany (e-mail: thom.fruehwirth@uni-ulm.de)
BookMark eNp1UEtLAzEQDlLBtvoDvAW8uppJ9pH1VoovKFhQz0s2O6kp22xNdoX-e1Nb8CDOZYbvNfBNyMh1Dgm5BHYDDIrbV0gLYLlMQbI4hTwh4whliWASRj83JHv-jExCWDMGueDpmCyXyqu2xdaGzTXVndOD9-j0jirX0MaG3tt66G3nqHV7PgLKup5-RL61bkX90GK4ozMaBv-Fu3NyalQb8OK4p-T94f5t_pQsXh6f57NFogXwPmlMCilHzTNjtM4EqlznOWjOGm0YCl1wkKrIUWSm4EVaSykRTVmWEjNZo5iSq0Pu1nefA4a-WneDd_FlxVlZipyVkEYVHFTadyF4NNXW243yuwpYtS-u-lNc9IijR21qb5sV_kb_7_oGzvVyFw
Cites_doi 10.1007/978-3-540-25938-1_17
10.1007/978-3-540-48085-3_4
10.1007/11562931_11
10.1007/978-3-540-68265-3_20
10.1007/11506676_9
10.1007/978-3-540-89982-2_44
10.1145/48014.61051
10.1145/1345206.1345233
10.1007/978-3-540-69611-7_11
10.1145/1462166.1462169
10.1017/S147106841000030X
10.1145/1248648.1248653
10.1007/978-3-319-21542-6_2
10.1007/978-3-540-89982-2_72
10.1007/3-540-49481-2_4
10.1145/2370776.2370798
10.1017/S147106841000044X
10.1145/62.2160
10.1109/TKDE.2009.208
10.1017/CBO9780511609886
10.7551/mitpress/1086.001.0001
10.1017/S1471068405002413
10.1007/978-3-540-27775-0_7
10.1023/A:1009842826135
10.1145/1389449.1389453
10.1007/s004460050028
10.1142/S0218194007003197
10.1145/2505879.2505892
ContentType Journal Article
Copyright Copyright © Cambridge University Press 2018
Copyright_xml – notice: Copyright © Cambridge University Press 2018
DBID AAYXX
CITATION
3V.
7SC
7XB
8AL
8FD
8FE
8FG
8FK
ABUWG
AFKRA
ARAPS
AZQEC
BENPR
BGLVJ
CCPQU
DWQXO
GNUQQ
HCIFZ
JQ2
K7-
L7M
L~C
L~D
M0N
P5Z
P62
PHGZM
PHGZT
PKEHL
PQEST
PQGLB
PQQKQ
PQUKI
PRINS
Q9U
DOI 10.1017/S1471068418000078
DatabaseName CrossRef
ProQuest Central (Corporate)
Computer and Information Systems Abstracts
ProQuest Central (purchase pre-March 2016)
Computing Database (Alumni Edition)
Technology Research Database
ProQuest SciTech Collection
ProQuest Technology Collection
ProQuest Central (Alumni) (purchase pre-March 2016)
ProQuest Central (Alumni)
ProQuest Central UK/Ireland
Advanced Technologies & Computer Science Collection
ProQuest Central Essentials
ProQuest Central
ProQuest Technology Collection
ProQuest One Community College
ProQuest Central Korea
ProQuest Central Student
SciTech Premium Collection
ProQuest Computer Science Collection
Computer Science Database
Advanced Technologies Database with Aerospace
Computer and Information Systems Abstracts – Academic
Computer and Information Systems Abstracts Professional
Computing Database
Advanced Technologies & Aerospace Database
ProQuest Advanced Technologies & Aerospace Collection
ProQuest Central Premium
ProQuest One Academic (New)
ProQuest One Academic Middle East (New)
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
ProQuest Central Basic
DatabaseTitle CrossRef
Computer Science Database
ProQuest Central Student
Technology Collection
Technology Research Database
Computer and Information Systems Abstracts – Academic
ProQuest One Academic Middle East (New)
ProQuest Advanced Technologies & Aerospace Collection
ProQuest Central Essentials
ProQuest Computer Science Collection
Computer and Information Systems Abstracts
ProQuest Central (Alumni Edition)
SciTech Premium Collection
ProQuest One Community College
ProQuest Central China
ProQuest Central
ProQuest One Applied & Life Sciences
ProQuest Central Korea
ProQuest Central (New)
Advanced Technologies Database with Aerospace
Advanced Technologies & Aerospace Collection
ProQuest Computing
ProQuest Central Basic
ProQuest Computing (Alumni Edition)
ProQuest One Academic Eastern Edition
ProQuest Technology Collection
ProQuest SciTech Collection
Computer and Information Systems Abstracts Professional
Advanced Technologies & Aerospace Database
ProQuest One Academic UKI Edition
ProQuest One Academic
ProQuest Central (Alumni)
ProQuest One Academic (New)
DatabaseTitleList CrossRef
Computer Science 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
DocumentTitleAlternate Parallelism, concurrency and distribution in CHR
T. Frühwirth
EISSN 1475-3081
EndPage 805
ExternalDocumentID 10_1017_S1471068418000078
GroupedDBID -E.
.FH
09C
09E
0E1
0R~
123
29Q
3V.
4.4
5VS
74X
74Y
7~V
8FE
8FG
8R4
8R5
AAAZR
AABES
AABWE
AACJH
AAEED
AAFUK
AAGFV
AAKTX
AANRG
AARAB
AASVR
AAUKB
AAYOK
ABBXD
ABITZ
ABJNI
ABKKG
ABMWE
ABMYL
ABQTM
ABQWD
ABROB
ABTCQ
ABUWG
ABZCX
ACBMC
ACCHT
ACGFS
ACIMK
ACNCT
ACQFJ
ACREK
ACUIJ
ACUYZ
ACWGA
ACYZP
ACZBM
ACZUX
ACZWT
ADCGK
ADDNB
ADFEC
ADGEJ
ADKIL
ADOCW
ADOVH
ADVJH
AEBAK
AEHGV
AEMTW
AENEX
AENGE
AEYYC
AFFUJ
AFKQG
AFKRA
AFKSM
AFLOS
AFLVW
AFUTZ
AGABE
AGBYD
AGJUD
AGOOT
AHQXX
AHRGI
AIGNW
AIHIV
AIOIP
AISIE
AJ7
AJCYY
AJPFC
AJQAS
ALMA_UNASSIGNED_HOLDINGS
ALVPG
ALWZO
AQJOH
ARABE
ARAPS
ATUCA
AUXHV
AZQEC
BBLKV
BENPR
BGHMG
BGLVJ
BLZWO
BMAJL
BPHCQ
C0O
CAG
CBIIA
CCPQU
CCQAD
CCTKK
CFAFE
CHEAL
CJCSC
COF
CS3
DC4
DOHLZ
DU5
DWQXO
EBS
EJD
GNUQQ
HCIFZ
HG-
HST
HZ~
I.6
IH6
IOEEP
IPYYG
IS6
I~P
J36
J38
J3A
J9A
JHPGK
JQKCU
K6V
K7-
KCGVB
KFECR
L98
LW7
M-V
M0N
NIKVX
O9-
OK1
OYBOY
P2P
P62
PQQKQ
PROAC
PYCCK
Q2X
RAMDC
RCA
ROL
RR0
S6-
S6U
SAAAG
T9M
UT1
WFFJZ
WQ3
WXU
WXY
WYP
ZYDXJ
AAYXX
ABGDZ
ABVKB
ABVZP
ABXHF
ACAJB
ACDLN
AFFHD
AFZFC
AKMAY
CITATION
PHGZM
PHGZT
PQGLB
7SC
7XB
8AL
8FD
8FK
JQ2
L7M
L~C
L~D
PKEHL
PQEST
PQUKI
PRINS
Q9U
ID FETCH-LOGICAL-c312t-df4142ec25ffcc53ea6c661c20dcf0e3c7218a76e35f7274b888eef9998e58be3
IEDL.DBID K7-
ISICitedReferencesCount 1
ISICitedReferencesURI http://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=Summon&SrcAuth=ProQuest&DestLinkType=CitingArticles&DestApp=WOS_CPL&KeyUT=000443682000003&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D
ISSN 1471-0684
IngestDate Fri Jul 25 22:34:12 EDT 2025
Sat Nov 29 04:58:36 EST 2025
Wed Mar 13 05:51:56 EDT 2024
IsDoiOpenAccess false
IsOpenAccess true
IsPeerReviewed true
IsScholarly true
Issue 5-6
Keywords declarative programming
rewriting
constraint handling rules
parallelism
concurrent constraint programming
semantics
distribution
concurrency models
concurrency
Language English
License https://www.cambridge.org/core/terms
LinkModel DirectLink
MergedId FETCHMERGED-LOGICAL-c312t-df4142ec25ffcc53ea6c661c20dcf0e3c7218a76e35f7274b888eef9998e58be3
Notes ObjectType-Article-1
SourceType-Scholarly Journals-1
ObjectType-Feature-2
content type line 14
OpenAccessLink https://www.cambridge.org/core/services/aop-cambridge-core/content/view/08565F9277BCA4509166D7B844C75251/S1471068418000078a.pdf/div-class-title-parallelism-concurrency-and-distribution-in-constraint-handling-rules-a-survey-div.pdf
PQID 2099360914
PQPubID 43613
PageCount 47
ParticipantIDs proquest_journals_2099360914
crossref_primary_10_1017_S1471068418000078
cambridge_journals_10_1017_S1471068418000078
PublicationCentury 2000
PublicationDate 20180900
2018-09-00
20180901
PublicationDateYYYYMMDD 2018-09-01
PublicationDate_xml – month: 09
  year: 2018
  text: 20180900
PublicationDecade 2010
PublicationPlace Cambridge, UK
PublicationPlace_xml – name: Cambridge, UK
– name: Cambridge
PublicationTitle Theory and practice of logic programming
PublicationTitleAlternate Theory and Practice of Logic Programming
PublicationYear 2018
Publisher Cambridge University Press
Publisher_xml – name: Cambridge University Press
References Jensen (S1471068418000078_ref24) 1987
S1471068418000078_ref8
S1471068418000078_ref6
S1471068418000078_ref4
S1471068418000078_ref30
S1471068418000078_ref2
S1471068418000078_ref3
S1471068418000078_ref32
S1471068418000078_ref31
S1471068418000078_ref1
S1471068418000078_ref34
S1471068418000078_ref33
S1471068418000078_ref36
S1471068418000078_ref38
S1471068418000078_ref37
S1471068418000078_ref39
Frühwirth (S1471068418000078_ref19) 2011
Agha (S1471068418000078_ref5) 1986
S1471068418000078_ref41
S1471068418000078_ref40
S1471068418000078_ref43
S1471068418000078_ref45
S1471068418000078_ref44
S1471068418000078_ref47
S1471068418000078_ref46
S1471068418000078_ref49
S1471068418000078_ref48
Frühwirth (S1471068418000078_ref14) 2006
Fournet (S1471068418000078_ref11) 2002
Sneyers (S1471068418000078_ref42) 2010; 10
Lam (S1471068418000078_ref25) 2018
S1471068418000078_ref50
S1471068418000078_ref51
S1471068418000078_ref10
S1471068418000078_ref12
S1471068418000078_ref13
S1471068418000078_ref16
S1471068418000078_ref15
S1471068418000078_ref18
S1471068418000078_ref17
Cervesato (S1471068418000078_ref9) 2016
Betz (S1471068418000078_ref7) 2014
Gabbrielli (S1471068418000078_ref20) 2013; 15
S1471068418000078_ref21
S1471068418000078_ref23
S1471068418000078_ref22
S1471068418000078_ref27
Sarna-Starosta (S1471068418000078_ref35) 2008
S1471068418000078_ref26
S1471068418000078_ref29
S1471068418000078_ref28
References_xml – ident: S1471068418000078_ref3
  doi: 10.1007/978-3-540-25938-1_17
– ident: S1471068418000078_ref2
  doi: 10.1007/978-3-540-48085-3_4
– ident: S1471068418000078_ref12
  doi: 10.1007/11562931_11
– ident: S1471068418000078_ref46
  doi: 10.1007/978-3-540-68265-3_20
– start-page: 113
  volume-title: Choreographic Compilation of Decentralized Comprehension Patterns
  year: 2016
  ident: S1471068418000078_ref9
– ident: S1471068418000078_ref44
– ident: S1471068418000078_ref13
  doi: 10.1007/11506676_9
– volume-title: Constraint-Based Analysis of Security Properties
  year: 2008
  ident: S1471068418000078_ref35
– ident: S1471068418000078_ref48
– ident: S1471068418000078_ref38
  doi: 10.1007/978-3-540-89982-2_44
– volume-title: Constraint Handling Rules: Compilation, Execution, and Analysis
  year: 2011
  ident: S1471068418000078_ref19
– ident: S1471068418000078_ref21
  doi: 10.1145/48014.61051
– ident: S1471068418000078_ref29
– ident: S1471068418000078_ref31
– ident: S1471068418000078_ref22
  doi: 10.1145/1345206.1345233
– start-page: 248
  volume-title: Coloured Petri Nets
  year: 1987
  ident: S1471068418000078_ref24
– ident: S1471068418000078_ref36
  doi: 10.1007/978-3-540-69611-7_11
– ident: S1471068418000078_ref41
  doi: 10.1145/1462166.1462169
– ident: S1471068418000078_ref8
  doi: 10.1017/S147106841000030X
– ident: S1471068418000078_ref27
  doi: 10.1145/1248648.1248653
– ident: S1471068418000078_ref43
– start-page: 49
  volume-title: CHR '06
  year: 2006
  ident: S1471068418000078_ref14
– ident: S1471068418000078_ref16
  doi: 10.1007/978-3-319-21542-6_2
– volume: 10
  start-page: 1
  year: 2010
  ident: S1471068418000078_ref42
  article-title: As time goes by: Constraint Handling Rules – A survey of CHR research between 1998 and 2007
  publication-title: TPLP
– ident: S1471068418000078_ref40
  doi: 10.1007/978-3-540-89982-2_72
– ident: S1471068418000078_ref1
  doi: 10.1007/3-540-49481-2_4
– ident: S1471068418000078_ref49
  doi: 10.1145/2370776.2370798
– ident: S1471068418000078_ref28
  doi: 10.1017/S147106841000044X
– ident: S1471068418000078_ref47
  doi: 10.1145/62.2160
– ident: S1471068418000078_ref32
– volume-title: A Unified Analytical Foundation for Constraint Handling Rules
  year: 2014
  ident: S1471068418000078_ref7
– ident: S1471068418000078_ref6
– ident: S1471068418000078_ref50
  doi: 10.1109/TKDE.2009.208
– ident: S1471068418000078_ref17
– ident: S1471068418000078_ref15
  doi: 10.1017/CBO9780511609886
– volume-title: Actors: A Model of Concurrent Computation in Distributed Systems
  year: 1986
  ident: S1471068418000078_ref5
  doi: 10.7551/mitpress/1086.001.0001
– start-page: 268
  volume-title: The Join Calculus: A Language for Distributed Mobile Programming
  year: 2002
  ident: S1471068418000078_ref11
– ident: S1471068418000078_ref23
  doi: 10.1017/S1471068405002413
– ident: S1471068418000078_ref10
  doi: 10.1007/978-3-540-27775-0_7
– ident: S1471068418000078_ref4
  doi: 10.1023/A:1009842826135
– ident: S1471068418000078_ref33
– ident: S1471068418000078_ref45
  doi: 10.1145/1389449.1389453
– ident: S1471068418000078_ref39
  doi: 10.1007/s004460050028
– ident: S1471068418000078_ref18
– start-page: 121
  volume-title: Constraint Handling Rules: Compilation, Execution, and Analysis
  year: 2018
  ident: S1471068418000078_ref25
– ident: S1471068418000078_ref51
– ident: S1471068418000078_ref30
– ident: S1471068418000078_ref34
– ident: S1471068418000078_ref37
  doi: 10.1142/S0218194007003197
– ident: S1471068418000078_ref26
  doi: 10.1145/2505879.2505892
– volume: 15
  start-page: 1
  year: 2013
  ident: S1471068418000078_ref20
  article-title: Unfolding for CHR programs
  publication-title: Theory and Practice of Logic Programming
SSID ssj0016324
Score 2.1351926
SecondaryResourceType review_article
Snippet Constraint Handling Rules (CHR) is both an effective concurrent declarative programming language and a versatile computational logic formalism. In CHR, guarded...
SourceID proquest
crossref
cambridge
SourceType Aggregation Database
Index Database
Publisher
StartPage 759
SubjectTerms Coding
Concurrency
Declarative programming
Downloading
Formalism
Petri nets
Programming languages
Semantics
Software
Survey Article
Title Parallelism, concurrency and distribution in constraint handling rules: A survey
URI https://www.cambridge.org/core/product/identifier/S1471068418000078/type/journal_article
https://www.proquest.com/docview/2099360914
Volume 18
WOSCitedRecordID wos000443682000003&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: PRVPQU
  databaseName: Advanced Technologies & Aerospace Database
  customDbUrl:
  eissn: 1475-3081
  dateEnd: 20241207
  omitProxy: false
  ssIdentifier: ssj0016324
  issn: 1471-0684
  databaseCode: P5Z
  dateStart: 20010101
  isFulltext: true
  titleUrlDefault: https://search.proquest.com/hightechjournals
  providerName: ProQuest
– providerCode: PRVPQU
  databaseName: Computer Science Database
  customDbUrl:
  eissn: 1475-3081
  dateEnd: 20241207
  omitProxy: false
  ssIdentifier: ssj0016324
  issn: 1471-0684
  databaseCode: K7-
  dateStart: 20010101
  isFulltext: true
  titleUrlDefault: http://search.proquest.com/compscijour
  providerName: ProQuest
– providerCode: PRVPQU
  databaseName: ProQuest Central
  customDbUrl:
  eissn: 1475-3081
  dateEnd: 20241207
  omitProxy: false
  ssIdentifier: ssj0016324
  issn: 1471-0684
  databaseCode: BENPR
  dateStart: 20010101
  isFulltext: true
  titleUrlDefault: https://www.proquest.com/central
  providerName: ProQuest
link http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwpV3NS8MwFA-6efDi_MTpHDl4khX7kbaZF5myIQijiMLwMtLXBAazm2032H9vkqabQ9jFSw9JKKXv5X3kvfx-CN2yGHjCRGixILTV0Y1rMU6Z5XsMSCJE1wdbk02EwyEdjbqROXDLTVtlZRO1oU5moM7I79UVTy-Q3o08zr8txRqlqquGQmMf1R3XdZSev4bWuoqgoMj17aJQdfdQUlU1FWS0GlRjDtXVPPobW2HbR22baO13Bo3_fvExOjIRJ-6VKnKC9nh6ihoVmwM2m_sMRRHLFLHKdJJ_dbBMk0FDN8EKszTBiQLYNdxYeJKq-VzTSxRYAzVID4izxZTnD7iH80W25Ktz9DHovz-_WIZvwQLPcQsrEcQhLgfXFwLA9zgLQLpvcO0EhM09kNkiZWHAPV_IsIfEMnvmXMgQk3Kfxty7QLV0lvJLhEVXiMSPwREBI9JoMJCWkQnOREziwHabqLP-22Oza_Jx2XEWjv8Ip4nuKoGM5yUKx67FrUoem1dvhHG1e_oaHcqYiJZtZC1UK7IFv0EHsCwmedZG9af-MHpraz2Tz8j__AGLCtmr
linkProvider ProQuest
linkToHtml http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMw1V1LS8QwEB58gV58i29z0ItY7LZpmxVExAfK6rIHBW81nU5gQbva7ir7p_yNJmnrA8GbB69JCbQznS_JzHwfwLZMkFKpIkeGkWuubjxHkpBO4EvkqVLNAF0rNhG12-LurtkZgbe6F8aUVdYx0QbqtIfmjnzftHj6oUY3fvT07BjVKJNdrSU0Srdo0fBVH9mKw8tTbd8dzzs_uzm5cCpVAQf9htd3UsUb3CP0AqUQA59kiBqk0HNTVC75qM9EQkYh-YHS4M4TfUYkUnojJSgQCfl63VEY576IDFd_K3I-shaG-tx2M0WmmkjwOotqKKrNoBlrCJs9FF-5HL5j4ndIsDh3PvPfvtAsTFc7anZc_gJzMELZPMzUahWsCl4L0OnI3AjHPHSLxz2GvQwtNRUOmcxSlhoC4Ur7i3UzM19Y-Yw-s0QUGuFZPnig4oAds2KQv9BwEW7_5L2WYCzrZbQMTDWVSoMEGyqUXAdFiTryS0VSJTwJXW8F9j6sG1dRoYjLiroo_uEMK7BbO0D8VLKM_Pbwem3_z6U_jb_6-_QWTF7cXF_FV5ft1hpM6f2fKEvm1mGsnw9oAybwpd8t8k3r2wzu_9pV3gGkjDXF
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=Parallelism%2C+concurrency+and+distribution+in+constraint+handling+rules%3A+A+survey&rft.jtitle=Theory+and+practice+of+logic+programming&rft.au=FR%C3%9CHWIRTH%2C+THOM&rft.date=2018-09-01&rft.issn=1471-0684&rft.eissn=1475-3081&rft.volume=18&rft.issue=5-6&rft.spage=759&rft.epage=805&rft_id=info:doi/10.1017%2FS1471068418000078&rft.externalDBID=n%2Fa&rft.externalDocID=10_1017_S1471068418000078
thumbnail_l http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=1471-0684&client=summon
thumbnail_m http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=1471-0684&client=summon
thumbnail_s http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=1471-0684&client=summon