Abstract Analysis of Universal Properties for tccp
DOI10.1007/978-3-319-27436-2_10zbMATH Open1362.68044OpenAlexW2401785086MaRDI QIDQ5743591FDOQ5743591
Authors: María del Mar Gallardo, Laura Titolo, A. Villanueva, Marco Comini 
Publication date: 5 February 2016
Published in: Logic-Based Program Synthesis and Transformation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-319-27436-2_10
Recommendations
- Property \((T)\) for noncommutative universal lattices
- Universal lattices and property \(\tau\)
- scientific article; zbMATH DE number 679836
- Asymptotic Abelianness, weak mixing, and property T
- The properties of generalized \(T\)-derivations
- On strict \(T\)-power invariant implications: properties and intersections
- On certain classes of TC semigroups
- \(T\)-theory: An overview
- Construction and properties of the \(t\)-invariant
- scientific article; zbMATH DE number 1304317
Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)
Cites Work
- Truly concurrent constraint programming
- Precise widening operators for convex polyhedra
- A timed concurrent constraint language.
- Abstract diagnosis for timed concurrent constraint programs
- Title not available (Why is that?)
- Abstract interpretation of temporal concurrent constraint programs
- Automatic verification of timed concurrent constraint programs
- A semantic framework for the abstract model checking of tccp programs
Cited In (4)
This page was built for publication: Abstract Analysis of Universal Properties for tccp
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5743591)
