Decidability of infinite-state timed CCP processes and first-order LTL

The ntcc process calculus is a timed concurrent constraint programming (ccp) model equipped with a first-order linear-temporal logic (LTL) for expressing process specifications. A typical behavioral observation in ccp is the strongest postcondition ( sp). The ntcc sp denotes the set of all infinite...

Celý popis

Uloženo v:

Podrobná bibliografie
Vydáno v:	Theoretical computer science Ročník 330; číslo 3; s. 577 - 607
Hlavní autor:	Valencia, Frank D.
Médium:	Journal Article Konferenční příspěvek
Jazyk:	angličtina
Vydáno:	Amsterdam Elsevier B.V 09.02.2005 Elsevier
Témata:	Algorithmics. Computability. Computer arithmetics Applied sciences Computer science; control theory; systems Decidability Exact sciences and technology First-order LTL General logic Infinite-state systems Logic and foundations Mathematical logic, foundations, set theory Mathematics Process calculi Programming theory Sciences and techniques of general use Temporal logic Theoretical computing Timed concurrent constraint programming Timed concurrent constraint programming First-order LTL Decidability Temporal logic Infinite-state systems Process calculi Concurrent constraint programming Linear logic Computer theory First order logic Concurrency Verification Infinite system Timed system Satisfiability Process calculus
ISSN:	0304-3975, 1879-2294
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!

Buďte první, kdo okomentuje tento záznam!