KIT | KIT-Bibliothek | Impressum | Datenschutz

A confluent calculus for concurrent constraint programming with guarded choice

Marriott, Kim; Odersky, Martin


Volltext §
DOI: 10.5445/IR/368596
Cover der Publikation
Zugehörige Institution(en) am KIT Institut für Programmstrukturen und Datenorganisation (IPD)
Publikationstyp Buchaufsatz
Publikationsjahr 1995
Sprache Englisch
Identifikator ISBN: 3-540-60299-2
urn:nbn:de:swb:90-AAA3685964
KITopen-ID: 368596
Erschienen in Principles and practice of constraint programming - CP '95. Ed.: U. Montanari
Verlag Springer-Verlag
Serie Lecture notes in computer science ; 976
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page