منابع مشابه
Practical Magick with C, PDL, and PDL: : PP - a guide to compiled add-ons for PDL
Preface This guide is intended to knit together, and extend, the existing PP and C documentation on PDL internals. It draws heavily from prior work by the authors of the code. Special thanks go to Christian Soeller, and Tuomas Lukka, who together with Glazebrook conceived and implemented PDL and PP; and to Chris Marshall, who has led the PDL development team through several groundbreaking relea...
متن کاملPDL‖and its relation to PDL
In this report we examine results pertaining to Karl Abrahamson’s PDL‖, namely PDL with an interleaving operator, ‖, with respect to an agent programming point of view. We first establish its usefulness in such contexts, before defining a syntax and semantics for the logic, looking at its relation to the regular expression shuffle operator and to PDL itself. We also look at the practical implic...
متن کاملSynthesis of Novel Peptide Dendrimers PDL-GB2 and PDL-G2
Peptide dendrimers are a novel type of macromolecules with precise structure, which can be used as drug target vector and controlled-release carrier. So it is valuable to study. In this paper, novel peptide dendrimers PDL-GB2 and PDL-G2 were prepared according to divergent procedure with four-orientation molecule as the core and L-lysine as the branch unit. And the structures were identified by...
متن کاملProving the Decidability of the Pdl×pdl Product Logic
The propositional dynamic logic (PDL) is an adequate tool to write down programs. In a previous article we used PDL to formulate cryptographic protocols as parallel programs. In these protocols at least two agents/individuals exchange messages, so we needed to use product logic to formulate the parallel actions. Ágnes Kurucz proved that S5×S5×S5 — which is the simplest triple product logic — is...
متن کاملCraig Interpolation of PDL
It seems to be an open question whether Propositional Dynamic Logic (PDL) has Craig Interpolation. In fact, it even seems to be an open question if this is an open question: Multiple proofs have been claimed to be found but all of them also have been claimed to be wrong, both more or less publicly. This report tries to clarify the situation by discussing the proof by Daniel Leivant [11] from 19...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Computer and System Sciences
سال: 1985
ISSN: 0022-0000
DOI: 10.1016/0022-0000(85)90012-1