-
1Academic Journal
مصطلحات موضوعية: Substitutions, Similarity relations, Weak unification, Weak parallel composition, Weak anti-unification, Weak parallel factorization, Fuzzy logic programming
وصف الملف: application/pdf
Relation: PID2019-104735RB-C42 (SAFER); Julián-Iranzo, P., Moreno, G. y Riaza, J. A. (2023). Some properties of substitutions in the framework of similarity relations. Fuzzy Sets and Systems, 465, 108510.; https://hdl.handle.net/10578/36462
الاتاحة: https://hdl.handle.net/10578/36462
-
2Academic Journal
المؤلفون: Karthika, Kumarasamy
مصطلحات موضوعية: Critical graph, Domination number, Graph operation, Parallel composition graph, Parallel critical graph
وصف الملف: application/pdf
Relation: TWMS Journal of Applied and Engineering Mathematics; Makale - Uluslararası Hakemli Dergi - Başka Kurum Yazarı; Karthika, K. (2023). Parallel critical graphs. TWMS Journal of Applied and Engineering Mathematics, 13(2), 557-567.; https://hdl.handle.net/11729/5482; http://jaem.isikun.edu.tr/web/index.php/archive/119-vol13no2/989; 13; 557; 567
-
3Academic Journal
المؤلفون: Aceto, Luca, Castiglioni, Valentina, Ingólfsdóttir, Anna, Luttik, Bas
المساهمون: Luca Aceto and Valentina Castiglioni and Anna Ingólfsdóttir and Bas Luttik
مصطلحات موضوعية: Equational basis, Weak semantics, CCS, Parallel composition
وصف الملف: application/pdf
Relation: Is Part Of LIPIcs, Volume 243, 33rd International Conference on Concurrency Theory (CONCUR 2022); https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CONCUR.2022.6
-
4Academic Journal
المؤلفون: Cornelis A. Middelburg
المصدر: Scientific Annals of Computer Science, Vol XXX, Iss 2, Pp 205-243 (2020)
مصطلحات موضوعية: process algebra, probabilistic choice, parallel composition, arbitrary interleaving, strategic interleaving., Electronic computers. Computer science, QA75.5-76.95
وصف الملف: electronic resource
-
5Academic Journal
المصدر: Aceto , L , Castiglioni , V , Fokkink , W , Ingólfsdóttir , A & Luttik , B 2022 , ' Are Two Binary Operators Necessary to Obtain a Finite Axiomatisation of Parallel Composition? ' , ACM Transactions on Computational Logic , vol. 23 , no. 4 , 22 , pp. 1-56 . https://doi.org/10.1145/3529535
مصطلحات موضوعية: bisimulation, CCS, Equational logic, non-finitely based algebras, parallel composition
وصف الملف: application/pdf
الاتاحة: https://research.vu.nl/en/publications/f21e83f6-a343-4eda-9a5b-7214f30f117d
https://doi.org/10.1145/3529535
https://hdl.handle.net/1871.1/f21e83f6-a343-4eda-9a5b-7214f30f117d
https://research.vu.nl/ws/files/218584244/Are_Two_Binary_Operators_Necessary_to_Obtain_a_Finite_Axiomatisation_of_Parallel_Composition.pdf
http://www.scopus.com/inward/record.url?scp=85148083340&partnerID=8YFLogxK
http://www.scopus.com/inward/citedby.url?scp=85148083340&partnerID=8YFLogxK -
6Academic Journal
المؤلفون: Aceto, Luca, Castiglioni, Valentina, Ingólfsdóttir, Anna, Luttik, Bas, Pedersen, Mathias Ruggaard
المصدر: Aceto , L , Castiglioni , V , Ingólfsdóttir , A , Luttik , B & Pedersen , M R 2022 , ' On the Axiomatisability of Parallel Composition ' , Logical Methods in Computer Science , vol. 18 , no. 1 , 15 . https://doi.org/10.46298/LMCS-18(1:15)2022
مصطلحات موضوعية: Axiomatisation, Linear time-branching time spectrum, Parallel composition
وصف الملف: application/pdf
-
7Academic Journal
المساهمون: Luca Aceto and Valentina Castiglioni and Wan Fokkink and Anna Ingólfsdóttir and Bas Luttik
مصطلحات موضوعية: Equational logic, CCS, bisimulation, parallel composition, non-finitely based algebras
وصف الملف: application/pdf
Relation: Is Part Of LIPIcs, Volume 183, 29th EACSL Annual Conference on Computer Science Logic (CSL 2021); https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CSL.2021.8
-
8Academic Journal
المؤلفون: Aceto, Luca, Castiglioni, Valentina, Ingólfsdóttir, Anna, Luttik, Bas, Pedersen, Mathias Ruggaard
المساهمون: Luca Aceto and Valentina Castiglioni and Anna Ingólfsdóttir and Bas Luttik and Mathias Ruggaard Pedersen
مصطلحات موضوعية: Axiomatisation, Parallel composition, Linear time-branching time spectrum
وصف الملف: application/pdf
Relation: Is Part Of LIPIcs, Volume 171, 31st International Conference on Concurrency Theory (CONCUR 2020); https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CONCUR.2020.18
-
9Academic Journal
المؤلفون: Boudou, Joseph, Herzig, Andreas, Troquard, Nicolas
المساهمون: Logique, Interaction, Langue et Calcul (IRIT-LILaC), Institut de recherche en informatique de Toulouse (IRIT), Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT)-Université de Toulouse (UT)-Université Toulouse - Jean Jaurès (UT2J), Université de Toulouse (UT)-Université Toulouse III - Paul Sabatier (UT3), Université de Toulouse (UT)-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université de Toulouse (UT)-Toulouse Mind & Brain Institut (TMBI), Université Toulouse - Jean Jaurès (UT2J), Université de Toulouse (UT)-Université de Toulouse (UT)-Université Toulouse III - Paul Sabatier (UT3), Université de Toulouse (UT)-Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT), Centre National de la Recherche Scientifique (CNRS), Free University of Bozen-Bolzano
المصدر: ISSN: 2352-2208 ; Journal of Logical and Algebraic Methods in Programming ; https://hal.science/hal-03210604 ; Journal of Logical and Algebraic Methods in Programming, 2021, pp.100683. ⟨10.1016/j.jlamp.2021.100683⟩ ; https://www.sciencedirect.com/science/article/pii/S2352220821000468?via%3Dihub.
مصطلحات موضوعية: Dynamic logic, separation logic, propositional assignments, parallel composition, concurrency, [MATH.MATH-LO]Mathematics [math]/Logic [math.LO], [INFO.INFO-DM]Computer Science [cs]/Discrete Mathematics [cs.DM], [INFO.INFO-SC]Computer Science [cs]/Symbolic Computation [cs.SC], [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI]
Relation: hal-03210604; https://hal.science/hal-03210604; https://hal.science/hal-03210604/document; https://hal.science/hal-03210604/file/x_dlpa4para.pdf
-
10Conference
المؤلفون: Boudou, Joseph, Herzig, Andreas, Troquard, Nicolas
المساهمون: Logique, Interaction, Langue et Calcul (IRIT-LILaC), Institut de recherche en informatique de Toulouse (IRIT), Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT)-Université de Toulouse (UT)-Université Toulouse - Jean Jaurès (UT2J), Université de Toulouse (UT)-Université Toulouse III - Paul Sabatier (UT3), Université de Toulouse (UT)-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université de Toulouse (UT)-Toulouse Mind & Brain Institut (TMBI), Université Toulouse - Jean Jaurès (UT2J), Université de Toulouse (UT)-Université de Toulouse (UT)-Université Toulouse III - Paul Sabatier (UT3), Université de Toulouse (UT)-Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT), Centre National de la Recherche Scientifique (CNRS), Free University of Bozen-Bolzano
المصدر: DALI 2019: Dynamic Logic. New Trends and Applications ; International Workshop on Dynamic Logic, in World Congress on Formal Methods (DALI 2019) ; https://hal.science/hal-02942300 ; International Workshop on Dynamic Logic, in World Congress on Formal Methods (DALI 2019), Oct 2019, Porto, Portugal. pp.155-170, ⟨10.1007/978-3-030-38808-9_10⟩
مصطلحات موضوعية: Dynamic logic, Separation logic, Propositional assignments, Parallel composition, [INFO.INFO-IR]Computer Science [cs]/Information Retrieval [cs.IR], [SPI.OTHER]Engineering Sciences [physics]/Other
Time: Porto, Portugal
Relation: hal-02942300; https://hal.science/hal-02942300; https://hal.science/hal-02942300/document; https://hal.science/hal-02942300/file/boudou_26298.pdf; OATAO: 26298
-
11Academic Journal
المؤلفون: de Putter, Sander, Lang, Frédéric, Wijs, Anton
المساهمون: Software Engineering and Technology, Technical University of Eindhoven, Construction of verified concurrent systems (CONVECS), Inria Grenoble - Rhône-Alpes, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire d'Informatique de Grenoble (LIG), Centre National de la Recherche Scientifique (CNRS)-Université Grenoble Alpes (UGA)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP), Université Grenoble Alpes (UGA)-Centre National de la Recherche Scientifique (CNRS)-Université Grenoble Alpes (UGA)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP), Université Grenoble Alpes (UGA)
المصدر: ISSN: 0167-6423 ; Science of Computer Programming ; https://inria.hal.science/hal-02890800 ; Science of Computer Programming, 2020, 196, pp.102493. ⟨10.1016/j.scico.2020.102493⟩.
مصطلحات موضوعية: Divergence-preserving branching bisimilarity, congruence, parallel composition, synchronisation, compositional model checking, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]
-
12Academic Journal
المؤلفون: M. L. Gromov, N. V. Shabaldina
المصدر: Моделирование и анализ информационных систем, Vol 23, Iss 6, Pp 715-728 (2016)
مصطلحات موضوعية: timed finite state machines, cascade parallel composition, balm-ii, Information technology, T58.5-58.64
وصف الملف: electronic resource
-
13Academic Journal
المؤلفون: Alduhaiby, Omar, Groote, Jan Friso
المصدر: Alduhaiby , O & Groote , J F 2019 , Distribution of behaviour into parallel communicating subsystems . in Combined 26th International Workshop on Expressiveness in Concurrency and 16th Workshop on Structural Operational Semantics . Electronic Proceedings in Theoretical Computer Science, EPTCS , vol. 300 , pp. 54-68 , EXPRESS/SOS 2019 , Amsterdam , Netherlands , 26/08/19 . https://doi.org/10.4204/EPTCS.300.4
مصطلحات موضوعية: Branching Bisimilarity, Labelled Transition Systems, Decomposition, Parallel Composition
وصف الملف: application/pdf
الاتاحة: https://research.tue.nl/en/publications/26c46e8b-0614-4c2b-8cd1-f6c53e1e2232
https://doi.org/10.4204/EPTCS.300.4
https://pure.tue.nl/ws/files/133916948/1905.12963_1_.pdf
http://www.scopus.com/inward/record.url?scp=85072173044&partnerID=8YFLogxK
http://arxiv.org/abs/1905.12963
https://journals/corr/abs-1908-08213 -
14Academic Journal
المؤلفون: Tommaso Bolognesi
المصدر: Entropy; Volume 21; Issue 8; Pages: 805
مصطلحات موضوعية: boolean net, process algebra, parallel composition operator, integrated information
وصف الملف: application/pdf
Relation: Information Theory, Probability and Statistics; https://dx.doi.org/10.3390/e21080805
الاتاحة: https://doi.org/10.3390/e21080805
-
15
المؤلفون: Vaz, Cátia, Ferreira, Carla
المساهمون: RCIPL
مصطلحات موضوعية: Service composition, Correctness mapping, Operational semantic, Parallel composition, Label transition system
وصف الملف: application/pdf
Relation: VAZ, Cátia; FERREIRA, Carla – Towards compensation correctness in interactive systems. In WS-FM 2009: Web Services and Formal Methods (6th International Workshop, WS-FM 2009). Bolonha, Italy: Springer, 2009. Lecture Notes in Computer Science. ISBN 978-3-642-14458-5. Vol. 6194, pp. 161-177; 978-3-642-14458-5
الاتاحة: http://hdl.handle.net/10400.21/13342
-
16
المؤلفون: Lanese, Ivan, Vaz, Cátia, Ferreira, Carla
المساهمون: RCIPL
مصطلحات موضوعية: Operational semantic, Expressive power, Parallel composition, Label transition system, Static recovery
وصف الملف: application/pdf
Relation: LANESE, Ivan; VAZ, Cátia; FERREIRA, Carla – On the expressive power of primitives for compensation handling. In ESOP 2010: Programming Languages and Systems (19th European Symposium on Programming (ESOP 2010), Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010). Paphos, Cyprus: Springer, 2010. ISBN: 978-3-642-11957-6. Vol. 6012, pp. 366-386; 978-3-642-11957-6
الاتاحة: http://hdl.handle.net/10400.21/13330
-
17Academic Journal
المؤلفون: Marko Gulić, Boris Vrdoljak, Marina Ptiček
المصدر: Information; Volume 9; Issue 6; Pages: 138
مصطلحات موضوعية: ontology matching, weighted aggregation, parallel composition, basic matchers, genetic algorithm
وصف الملف: application/pdf
Relation: Information Systems; https://dx.doi.org/10.3390/info9060138
الاتاحة: https://doi.org/10.3390/info9060138
-
18Academic Journal
المساهمون: Javier Lopez, Jianying Zhou, Miguel Soriano
المصدر: Hess , A V , Mödersheim , S A & Brucker , A D 2018 , Stateful Protocol Composition . in J L , J Z & M S (eds) , ESORICS 2018: Computer Security . Springer , Lecture Notes in Computer Science , vol. 11098 , pp. 427-446 , 23rd European Symposium on Research in Computer Security , Barcelona , Spain , 03/09/2018 . https://doi.org/10.1007/978-3-319-99073-6_21
مصطلحات موضوعية: Data security, Protocols, Formal logic, security of data, theorem proving, compositionality conditions, compositionality paradigm, sequential composition, proof correctness guarantee, shared databases, Isabelle/HOL, parallel compositionality result, stateful protocol composition, shared secrets, stateful parallel composition
وصف الملف: application/pdf
Relation: https://orbit.dtu.dk/en/publications/9a98dcda-2860-4c52-af33-4bf7bf36c681; urn:ISBN:978-3-319-99072-9
-
19Academic Journal
المؤلفون: V. A. Bashkin, N. Yu. Panfilova
المصدر: Моделирование и анализ информационных систем, Vol 21, Iss 6, Pp 18-30 (2014)
مصطلحات موضوعية: workflow, resource, soundness, parallel composition, deadlock, verification, Information technology, T58.5-58.64
وصف الملف: electronic resource
-
20Conference
المؤلفون: Shi, Zhiguo, Hu, Kaihang, Tu, Jun, Wang, Zhiliang, Wei, Junming
المصدر: Proceedings of the World Congress on Intelligent Control and Automation (WCICA)
مصطلحات موضوعية: Keywords: collaboration, Decomposability, Foreign countries, Mission planning, Multi-robot collaboration, Multi-robot systems, Multirobots, Natural projections, Parallel composition, Sufficient conditions, Task allocation, Task decomposition, Task planning, Compute collaboration, decomposability condition, Multi-robot
جغرافية الموضوع: Beijing
Relation: World Congress on Intelligent Control and Automation (WCICA 2012); http://hdl.handle.net/1885/72053