Abstract interpretation of temporal concurrent constraint programs (Q4592982)
From MaRDI portal
This is the item page for this Wikibase entity, intended for internal use and editing purposes.
Please use this page instead for the normal view: Abstract interpretation of temporal concurrent constraint programs
scientific article; zbMATH DE number 6804547
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Abstract interpretation of temporal concurrent constraint programs |
scientific article; zbMATH DE number 6804547 |
Statements
Abstract interpretation of temporal concurrent constraint programs (English)
0 references
9 November 2017
0 references
timed concurrent constraint programming
0 references
process calculi
0 references
abstract interpretation
0 references
denotational semantics
0 references
reactive systems
0 references
0 references
0 references
0.8545288443565369
0 references
0.8411253094673157
0 references
0.8393604755401611
0 references
0.8381413221359253
0 references
