المؤلفون: Castro Iglesias, Antonio César

مصطلحات موضوعية: Transition systems, Process algebra, Timed automata, Probabilistic automata, Model checking, Uppaal model checker

وصف الملف: application/pdf

الاتاحة: http://hdl.handle.net/10773/42757

المؤلفون: Ballenghien, Benoît, Wolff, Burkhart

المساهمون: Benoît Ballenghien and Burkhart Wolff

مصطلحات موضوعية: Process-Algebra, Semantics, Concurrency, Computational Models, Theorem Proving, Isabelle/HOL

وصف الملف: application/pdf

Relation: Is Part Of LIPIcs, Volume 309, 15th International Conference on Interactive Theorem Proving (ITP 2024); https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ITP.2024.7

الاتاحة: https://doi.org/10.4230/LIPIcs.ITP.2024.7
https://nbn-resolving.org/urn:nbn:de:0030-drops-207355
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ITP.2024.7

المؤلفون: Clemente, Lorenzo

المساهمون: Lorenzo Clemente

مصطلحات موضوعية: weighted automata, combinatorial enumeration, shuffle, algebraic differential equations, process algebra, basic parallel processes, species of structures

وصف الملف: application/pdf

Relation: Is Part Of LIPIcs, Volume 311, 35th International Conference on Concurrency Theory (CONCUR 2024); https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CONCUR.2024.18

الاتاحة: https://doi.org/10.4230/LIPIcs.CONCUR.2024.18
https://nbn-resolving.org/urn:nbn:de:0030-drops-207903
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CONCUR.2024.18

المؤلفون: Junsup Song, Dimitris Karagiannis, Moonkun Lee

المصدر: Sensors, Vol 24, Iss 12, p 3881 (2024)

مصطلحات موضوعية: formal method, process algebra, dTP-Calculus, probabilistic equivalences, smart IoT systems, smart city, Chemical technology, TP1-1185

وصف الملف: electronic resource

Relation: https://www.mdpi.com/1424-8220/24/12/3881; https://doaj.org/toc/1424-8220

URL الوصول: https://doaj.org/article/7c3f651e26454876887b0496c873d1bd

المؤلفون: William Sulis

المصدر: Mathematics, Vol 12, Iss 13, p 1988 (2024)

مصطلحات موضوعية: process algebra, generativity, transience, becoming, contextuality, locality, Mathematics, QA1-939

وصف الملف: electronic resource

Relation: https://www.mdpi.com/2227-7390/12/13/1988; https://doaj.org/toc/2227-7390

URL الوصول: https://doaj.org/article/54cc10ca1ead4c70834b1e942cb2889a

المؤلفون: Junsup Song, Sunghyun Lee, Dimitris Karagiannis, Moonkun Lee

المصدر: Sensors, Vol 24, Iss 3, p 767 (2024)

مصطلحات موضوعية: smart IoT, digital twin, formal method, process algebra, dTP-Calculus, probability, Chemical technology, TP1-1185

Relation: https://www.mdpi.com/1424-8220/24/3/767; https://doaj.org/toc/1424-8220; https://doaj.org/article/6c74849ac57d46c1ab5f075d15068872

الاتاحة: https://doi.org/10.3390/s24030767
https://doaj.org/article/6c74849ac57d46c1ab5f075d15068872

المؤلفون: Huailin Li, Qinsen Liu, Mengnan Liu, Bangyong Sun, Bin Du

المصدر: IEEE Access, Vol 11, Pp 42473-42484 (2023)

مصطلحات موضوعية: Reconfigurable manufacturing system, robust control, process algebra, printing process, ARW model, Electrical engineering. Electronics. Nuclear engineering, TK1-9971

وصف الملف: electronic resource

Relation: https://ieeexplore.ieee.org/document/10100720/; https://doaj.org/toc/2169-3536

URL الوصول: https://doaj.org/article/0a0cab1fbd8341288ecac0576e3b69b5

المؤلفون: Henry Zhu, Junyong Zhao, Nik Sultana

المصدر: International Journal of Networking and Computing. 2024, 14(1):40

المؤلفون: Gaucher, Philippe

المساهمون: Institut de Recherche en Informatique Fondamentale (IRIF (UMR_8243)), Centre National de la Recherche Scientifique (CNRS)-Université Paris Cité (UPCité)

المصدر: https://hal.science/hal-04118042 ; 2024.

مصطلحات موضوعية: precubical set, directed path, presheaf, Reedy category, Lawvere metric space, process algebra, [MATH.MATH-CT]Mathematics [math]/Category Theory [math.CT], [MATH.MATH-AT]Mathematics [math]/Algebraic Topology [math.AT]

Relation: hal-04118042; https://hal.science/hal-04118042; https://hal.science/hal-04118042v3/document; https://hal.science/hal-04118042v3/file/ThickCategoryCubes.pdf

الاتاحة: https://hal.science/hal-04118042
https://hal.science/hal-04118042v3/document
https://hal.science/hal-04118042v3/file/ThickCategoryCubes.pdf

المؤلفون: Tarasyuk, Igor, V

المساهمون: A.P. Ershov Institute of Informatics Systems SB RAS

المصدر: https://hal.science/hal-02573419 ; 2024.

مصطلحات موضوعية: stochastic process algebra, stochastic Petri net, Petri box calculus, discrete time, stochastic multiaction, deterministic multiaction, transition system, operational semantics, stochastic transition, deterministic transition, dtsd-box, denotational semantics, Markov chain, performance evaluation, reduction, stochastic bisimulation, quotient, shared memory system, MSC 18C10, 60J10, 60J20, 60K15, 68Q55, 68Q60, 68Q85, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]

Relation: hal-02573419; https://hal.science/hal-02573419; https://hal.science/hal-02573419v5/document; https://hal.science/hal-02573419v5/file/dtsdpbchal4rv.pdf

الاتاحة: https://hal.science/hal-02573419
https://hal.science/hal-02573419v5/document
https://hal.science/hal-02573419v5/file/dtsdpbchal4rv.pdf

المؤلفون: Das, Susmoy, Sharma, Arpit

المساهمون: Das, Susmoy

مصطلحات موضوعية: Markov chain, Verification, Logic, Stochastic Model checking, Embedding, Process algebra

Relation: https://doi.org/10.5281/zenodo.8166484; https://doi.org/10.5281/zenodo.8166485; oai:zenodo.org:8166485

الاتاحة: https://doi.org/10.5281/zenodo.8166485

المؤلفون: Das, Susmoy, Sharma, Arpit

المساهمون: Das, Susmoy

مصطلحات موضوعية: Markov chain, Verification, Logic, Probabilistic Model checking, Embedding, Process algebra

Relation: https://doi.org/10.5281/zenodo.7813996; https://doi.org/10.5281/zenodo.7813997; oai:zenodo.org:7813997

الاتاحة: https://doi.org/10.5281/zenodo.7813997

المؤلفون: Dongkui Liang, Limin Shen, Zhen Chen, Chuan Ma, Jiayin Feng

المصدر: IEEE Access, Vol 10, Pp 108668-108683 (2022)

مصطلحات موضوعية: Android malware detection, behavior formalization, process Algebra, process equivalence, simulation mechanism, Electrical engineering. Electronics. Nuclear engineering, TK1-9971

وصف الملف: electronic resource

Relation: https://ieeexplore.ieee.org/document/9904741/; https://doaj.org/toc/2169-3536

URL الوصول: https://doaj.org/article/ecde2e6819124adcab4ed009332c702c

المؤلفون: Mestel, David

المساهمون: Roscoe, Bill

مصطلحات موضوعية: 005.8, Process algebra, Automata theory, Foundations of computer security, Discrete mathematics

URL الوصول: https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.770565

المؤلفون: Laveaux, Maurice, Willemse, Tim A.C.

المصدر: Laveaux , M & Willemse , T A C 2023 , ' Decomposing monolithic processes in a process algebra with multi-actions ' , Journal of Logical and Algebraic Methods in Programming , vol. 132 , 100858 . https://doi.org/10.1016/j.jlamp.2023.100858

مصطلحات موضوعية: Bisimulation, Decomposition, Monolithic processes, Process algebra

وصف الملف: application/pdf

الاتاحة: https://research.tue.nl/en/publications/4dbcd3c2-800d-45db-aed0-7c5d868222b5
https://doi.org/10.1016/j.jlamp.2023.100858
https://pure.tue.nl/ws/files/321507861/1-s2.0-S2352220823000123-main.pdf
http://www.scopus.com/inward/record.url?scp=85147983712&partnerID=8YFLogxK

المؤلفون: William Sulis

المصدر: Entropy; Volume 25; Issue 5; Pages: 803

مصطلحات موضوعية: time, duration, object, process, process algebra, being, becoming, generativity, transience, contextuality, locality, combinatorial games, non-Kolmogorov probability

وصف الملف: application/pdf

Relation: Quantum Information; https://dx.doi.org/10.3390/e25050803

الاتاحة: https://doi.org/10.3390/e25050803

المؤلفون: Benjamin Aziz

المصدر: Electronics; Volume 12; Issue 3; Pages: 630

مصطلحات موضوعية: data analysis, data anomalies, formal specifications, IoT systems, process algebra

وصف الملف: application/pdf

Relation: Industrial Electronics; https://dx.doi.org/10.3390/electronics12030630

الاتاحة: https://doi.org/10.3390/electronics12030630

المؤلفون: Bao, Li, Hao, Le

المصدر: Electronics Science Technology and Application; Vol 10, No 2 (In publishing) ; 2424-8460 ; 2251-2608

مصطلحات موضوعية: Web Service, Service Composition, Service Interaction, Process algebra

وصف الملف: application/pdf

Relation: https://esta.usp-pl.com/index.php/esta/article/view/350/281; https://esta.usp-pl.com/index.php/esta/article/view/350

الاتاحة: https://esta.usp-pl.com/index.php/esta/article/view/350
https://doi.org/10.18686/esta.v10i2.350

المؤلفون: William Sulis

المصدر: Quantum Reports, Vol 3, Iss 4, Pp 592-614 (2021)

مصطلحات موضوعية: process, process algebra, contextuality, neurodynamics, collective intelligence, social insects, Physics, QC1-999

وصف الملف: electronic resource

Relation: https://www.mdpi.com/2624-960X/3/4/38; https://doaj.org/toc/2624-960X

URL الوصول: https://doaj.org/article/02ce63c8a2d5462cae259588429e8259

المؤلفون: Caltais, Georgiana, Hojjat, Hossein, Mousavi, Mohammad Reza, Tunç, Hünkar Can

المصدر: BOUYER, Patricia, Hrsg., Lutz SCHRÖDER, Hrsg. Foundations of Software Science and Computation Structures : 25th International Conference, FOSSACS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings. Cham: Springer International Publishing, 2022, S. 184-204. Lecture Notes in Computer Science. 13242. ISSN 0302-9743. eISSN 1611-3349. ISBN 978-3-030-99252-1. Verfügbar unter: doi:10.1007/978-3-030-99253-8_10

مصطلحات موضوعية: Software Defined Networks, Dynamic Updates, Dynamic Network Reconfiguration, NetKAT, Process Algebra, Equational Reasoning, ddc:004

وصف الملف: application/pdf

الاتاحة: http://nbn-resolving.de/urn:nbn:de:bsz:352-2-vvxz9k3lo09w4
https://doi.org/10.1007/978-3-030-99253-8_10