scientific article; zbMATH DE number 794260

zbMath0839.68020MaRDI QIDQ4847021

Nax Paul Mendler, R. A. G. Seely, Prakash Panangaden, Philip J. Scott

Publication date: 10 September 1995

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

concurrent constraint programmingCCP languagesconcurrent block-structured imperative languages

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Theory of software (68N99)

Related Items (7)

A Declarative View of Signaling Pathways ⋮ Belief, knowledge, lies and other utterances in an algebra for space and extrusion ⋮ Observational and behavioural equivalences for soft concurrent constraint programming ⋮ Unnamed Item ⋮ Abstract interpretation of temporal concurrent constraint programs ⋮ A fully abstract semantics for concurrent constraint programming ⋮ Models and emerging trends of concurrent constraint programming

This page was built for publication: