scientific article; zbMATH DE number 1332633
From MaRDI portal
Publication:4259957
zbMath0924.68045MaRDI QIDQ4259957
Roberto Giacobazzi, Enea Zaffanello, Giorgio Levi
Publication date: 8 September 1999
Full work available at URL: http://danae.uni-muenster.de/lehre/kuchen/JFLP/articles/1997/A97-06/A97-06.html
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (7)
A program analysis framework for \textit{tccp} based on abstract interpretation ⋮ A confluent calculus for concurrent constraint programming ⋮ Abstract interpretation of temporal concurrent constraint programs ⋮ A symbolic model for timed concurrent constraint programming ⋮ Abstract Analysis of Universal Properties for tccp ⋮ A semantic framework for the abstract model checking of tccp programs ⋮ Models and emerging trends of concurrent constraint programming
This page was built for publication:
