يعرض 1 - 20 نتائج من 247 نتيجة بحث عن '"parallel composition"', وقت الاستعلام: 0.78s تنقيح النتائج
  1. 1
    Academic Journal

    وصف الملف: 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

  2. 2
    Academic Journal

    المؤلفون: Karthika, Kumarasamy

    وصف الملف: 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

  3. 3
    Academic Journal

    المساهمون: 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

  4. 4
    Academic Journal
  5. 5
    Academic Journal
  6. 6
    Academic Journal

    المصدر: 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

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

  7. 7
    Academic Journal

    المساهمون: Luca Aceto and Valentina Castiglioni and Wan Fokkink and Anna Ingólfsdóttir and Bas Luttik

    وصف الملف: 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

  8. 8
    Academic Journal

    المساهمون: Luca Aceto and Valentina Castiglioni and Anna Ingólfsdóttir and Bas Luttik and Mathias Ruggaard Pedersen

    وصف الملف: 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

  9. 9
    Academic Journal

    المساهمون: 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.

  10. 10
    Conference

    المساهمون: 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⟩

    جغرافية الموضوع: Porto, Portugal

    Time: Porto, Portugal

  11. 11
    Academic Journal

    المساهمون: 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⟩.

  12. 12
    Academic Journal
  13. 13
    Academic 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

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

  14. 14
    Academic Journal

    المؤلفون: Tommaso Bolognesi

    المصدر: Entropy; Volume 21; Issue 8; Pages: 805

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

    Relation: Information Theory, Probability and Statistics; https://dx.doi.org/10.3390/e21080805

  15. 15

    المؤلفون: Vaz, Cátia, Ferreira, Carla

    المساهمون: RCIPL

    وصف الملف: 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

  16. 16

    المساهمون: RCIPL

    وصف الملف: 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

  17. 17
    Academic Journal
  18. 18
    Academic 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

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

  19. 19
    Academic Journal

    المؤلفون: V. A. Bashkin, N. Yu. Panfilova

    المصدر: Моделирование и анализ информационных систем, Vol 21, Iss 6, Pp 18-30 (2014)

    وصف الملف: electronic resource

  20. 20
    Conference