A timed concurrent constraint language.
type: Item
instance of: scholarly article
title: A timed concurrent constraint language.
zbMATH Open document ID: 1046.68507
published in: Information and Computation
publication date: 2003-01-14T00:00:00Z
Mathematics Subject Classification ID: 68N15
Mathematics Subject Classification ID: 68Q55
Mathematics Subject Classification ID: 68Q85
zbMATH DE Number: 1853116
zbMATH Keywords: tccp
zbMATH Keywords: maximal parallelism
author: Frank S. de Boer
author: Maurizio Gabbrielli
author: Maria Chiara Meo
describes a project that uses: LUSTRE
describes a project that uses: Oz
describes a project that uses: Esterel
MaRDI profile type: Publication
full work available at URL: inco.1999.2879
OpenAlex ID: W1981281472
cites work: Timing and causality in process algebra
cites work: Real time process algebra
cites work: The Esterel synchronous programming language: Design, semantics, implementation
cites work: Q5331549
cites work: Q4222884
cites work: From failure to success: Comparing a denotational and a declarative semantics for Horn clause logic
cites work: Q2736349
cites work: Embedding as a tool for language comparison
cites work: A process algebra of communicating shared resources with dense time and priorities
cites work: Confluence in concurrent constraint programming
cites work: Executable temporal logics
cites work: A process algebra for timed systems
cites work: Weak relative pseudo-complements of closure operators
cites work: Q4284985
cites work: Statecharts: a visual formalism for complex systems
cites work: Q3680782
cites work: Q5616133
cites work: Q3680239
cites work: The expressive power of indeterminate dataflow primitives
cites work: Q4002642
cites work: Timed default concurrent constraint programming
cites work: Q3959414
cites work: Q4364535
DOI: 10.1006/INCO.1999.2879
description: scientific article; zbMATH DE number 1853116