FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2066746166> ?p ?o ?g. }

• W2066746166 endingPage "177" @default.
• W2066746166 startingPage "161" @default.
• W2066746166 abstract "Concurrent Constraint Programming (ccp) is a model for concurrency where agents interact with each other by telling and asking constraints (i.e., formulas in logic) into a shared store of partial information. The ntcc calculus extends ccp with the notion of discrete time-units for the specification of reactive systems. Moreover, ntcc features constructors for non-deterministic choices and asynchronous behavior, thus allowing for (1) synchronization of processes via constraint entailment during a time-unit and (2) synchronization of processes along time-intervals. In this paper we develop the techniques needed for the automatic verification of ntcc programs based on symbolic model checking. We show that the internal transition relation, modeling the behavior of processes during a time-unit (1 above), can be symbolically represented by formulas in a suitable fragment of linear time temporal logic. Moreover, by using standard techniques as difference decision diagrams, we provide a compact representation of these constraints. Then, relying on a fixpoint characterization of the timed constructs, we obtain a symbolic model of the observable transition (2 above). We prove that our construction is correct with respect to the operational semantics. Finally, we introduce a prototypical tool implementing our method." @default.
• W2066746166 created "2016-06-24" @default.
• W2066746166 creator A5013709966 @default.
• W2066746166 creator A5027273299 @default.
• W2066746166 creator A5047180960 @default.
• W2066746166 date "2015-04-01" @default.
• W2066746166 modified "2023-10-17" @default.
• W2066746166 title "A Symbolic Model for Timed Concurrent Constraint Programming" @default.
• W2066746166 cites W1506588809 @default.
• W2066746166 cites W1573354578 @default.
• W2066746166 cites W1751719170 @default.
• W2066746166 cites W1965024948 @default.
• W2066746166 cites W1974828145 @default.
• W2066746166 cites W1981281472 @default.
• W2066746166 cites W2020916002 @default.
• W2066746166 cites W2031915967 @default.
• W2066746166 cites W2034282674 @default.
• W2066746166 cites W2041090148 @default.
• W2066746166 cites W2061438988 @default.
• W2066746166 cites W2067441543 @default.
• W2066746166 cites W2069768096 @default.
• W2066746166 cites W2080267935 @default.
• W2066746166 cites W2080593426 @default.
• W2066746166 cites W2093916942 @default.
• W2066746166 cites W2119170644 @default.
• W2066746166 cites W2157152227 @default.
• W2066746166 cites W2164297069 @default.
• W2066746166 cites W2174129300 @default.
• W2066746166 cites W3135320517 @default.
• W2066746166 cites W2142423074 @default.
• W2066746166 cites W2471151559 @default.
• W2066746166 doi "https://doi.org/10.1016/j.entcs.2015.04.010" @default.
• W2066746166 hasPublicationYear "2015" @default.
• W2066746166 type Work @default.
• W2066746166 sameAs 2066746166 @default.
• W2066746166 citedByCount "1" @default.
• W2066746166 countsByYear W20667461662015 @default.
• W2066746166 crossrefType "journal-article" @default.
• W2066746166 hasAuthorship W2066746166A5013709966 @default.
• W2066746166 hasAuthorship W2066746166A5027273299 @default.
• W2066746166 hasAuthorship W2066746166A5047180960 @default.
• W2066746166 hasBestOaLocation W20667461661 @default.
• W2066746166 hasConcept C110251889 @default.
• W2066746166 hasConcept C126255220 @default.
• W2066746166 hasConcept C127162648 @default.
• W2066746166 hasConcept C137631369 @default.
• W2066746166 hasConcept C151319957 @default.
• W2066746166 hasConcept C154945302 @default.
• W2066746166 hasConcept C156325763 @default.
• W2066746166 hasConcept C173404611 @default.
• W2066746166 hasConcept C176783269 @default.
• W2066746166 hasConcept C184337299 @default.
• W2066746166 hasConcept C193702766 @default.
• W2066746166 hasConcept C199360897 @default.
• W2066746166 hasConcept C204306468 @default.
• W2066746166 hasConcept C2524010 @default.
• W2066746166 hasConcept C2776036281 @default.
• W2066746166 hasConcept C2778562939 @default.
• W2066746166 hasConcept C28077239 @default.
• W2066746166 hasConcept C31258907 @default.
• W2066746166 hasConcept C33923547 @default.
• W2066746166 hasConcept C41008148 @default.
• W2066746166 hasConcept C44616089 @default.
• W2066746166 hasConcept C49937458 @default.
• W2066746166 hasConcept C80444323 @default.
• W2066746166 hasConceptScore W2066746166C110251889 @default.
• W2066746166 hasConceptScore W2066746166C126255220 @default.
• W2066746166 hasConceptScore W2066746166C127162648 @default.
• W2066746166 hasConceptScore W2066746166C137631369 @default.
• W2066746166 hasConceptScore W2066746166C151319957 @default.
• W2066746166 hasConceptScore W2066746166C154945302 @default.
• W2066746166 hasConceptScore W2066746166C156325763 @default.
• W2066746166 hasConceptScore W2066746166C173404611 @default.
• W2066746166 hasConceptScore W2066746166C176783269 @default.
• W2066746166 hasConceptScore W2066746166C184337299 @default.
• W2066746166 hasConceptScore W2066746166C193702766 @default.
• W2066746166 hasConceptScore W2066746166C199360897 @default.
• W2066746166 hasConceptScore W2066746166C204306468 @default.
• W2066746166 hasConceptScore W2066746166C2524010 @default.
• W2066746166 hasConceptScore W2066746166C2776036281 @default.
• W2066746166 hasConceptScore W2066746166C2778562939 @default.
• W2066746166 hasConceptScore W2066746166C28077239 @default.
• W2066746166 hasConceptScore W2066746166C31258907 @default.
• W2066746166 hasConceptScore W2066746166C33923547 @default.
• W2066746166 hasConceptScore W2066746166C41008148 @default.
• W2066746166 hasConceptScore W2066746166C44616089 @default.
• W2066746166 hasConceptScore W2066746166C49937458 @default.
• W2066746166 hasConceptScore W2066746166C80444323 @default.
• W2066746166 hasLocation W20667461661 @default.
• W2066746166 hasLocation W20667461662 @default.
• W2066746166 hasLocation W20667461663 @default.
• W2066746166 hasLocation W20667461664 @default.
• W2066746166 hasLocation W20667461665 @default.
• W2066746166 hasLocation W20667461666 @default.
• W2066746166 hasLocation W20667461667 @default.
• W2066746166 hasLocation W20667461668 @default.
• W2066746166 hasLocation W20667461669 @default.
• W2066746166 hasOpenAccess W2066746166 @default.

• next