scientific article; zbMATH DE number 2084776

MaRDI QIDQ4735934zbMATH OpenFDO

Authors Frank D. Valencia

Publication date 9 August 2004

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2239/22390786.htm

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Recommendations

• Logic Programming
• Lectures on Concurrency and Petri Nets
• scientific article; zbMATH DE number 1809625
• scientific article; zbMATH DE number 2084713
• A timed concurrent constraint language.

Cited in

(16)

• Divergence detection for CCSL specification via clock causality chain
• Decidability of infinite-state timed CCP processes and first-order LTL
• A timed concurrent constraint language.
• On time actors
• Temporal object-oriented programming
• A framework for timed concurrent constraint programming with external functions
• scientific article; zbMATH DE number 1497788 (Why is no real title available?)
• Modeling concurrent systems specified in a temporal concurrent constraint language. I
• An introduction to time-constrained automata
• Logic Programming
• A symbolic model for timed concurrent constraint programming
• TCC, with history
• Lectures on Concurrency and Petri Nets
• Time: it is only logical!
• Timed default concurrent constraint programming
• TimeC: A time constraint language for ILP processor compilation

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4735934)