Logic Programming

DOI10.1007/b94619zbMath1204.68139OpenAlexW2889864133MaRDI QIDQ5191495

Frank D. Valencia

Publication date: 6 August 2009

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

Full work available at URL: https://doi.org/10.1007/b94619

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Temporal logic (03B44)

Related Items (2)

Timed soft concurrent constraint programs: An interleaved and a parallel approach ⋮ Decidability of infinite-state timed CCP processes and first-order LTL

This page was built for publication: Logic Programming