Modeling Concurrent systems specified in a Temporal Concurrent Constraint language-I

DOI10.1016/S1571-0661(04)00157-4zbMath1263.68118OpenAlexW2038778870MaRDI QIDQ4923526

Alberto Policriti, Alicia Villanueva, Moreno Falaschi

Publication date: 24 May 2013

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s1571-0661(04)00157-4

zbMATH Keywords

model checkingreactive systemstimed concurrent constraint programming

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (5)

Abstract Diagnosis for tccp using a Linear Temporal Logic ⋮ Decidability of infinite-state timed CCP processes and first-order LTL ⋮ Non-determinism and Probabilities in Timed Concurrent Constraint Programming ⋮ A semantic framework for the abstract model checking of tccp programs ⋮ Models and emerging trends of concurrent constraint programming

Cites Work

• Timed default concurrent constraint programming
• Automatic verification of finite-state concurrent systems using temporal logic specifications
• Unnamed Item
• Unnamed Item

This page was built for publication: Modeling Concurrent systems specified in a Temporal Concurrent Constraint language-I